Amanote Research
Register
Sign In
Security Analysis of Role-Based Access Control Through Program Verification
doi 10.1109/csf.2012.28
Full Text
Open PDF
Abstract
Available in
full text
Date
June 1, 2012
Authors
Anna Lisa Ferrara
P. Madhusudan
Gennaro Parlato
Publisher
IEEE