Original language | English |
---|---|
Title of host publication | Computer Security Foundations Symposium - CSF 2012 |
Publisher | IEEE Computer Society |
Pages | 113-125 |
Publication status | Published - 2012 |
Security Analysis of Role-Based Access Control through Program Verification
Anna-Lisa Ferrara, Gennaro Parlato, Madhusudan P.
Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
23
Citations
(Scopus)