Security Analysis of Role-Based Access Control through Program Verification

Anna-Lisa Ferrara, Gennaro Parlato, Madhusudan P.

Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

18 Citations (Scopus)
Original languageEnglish
Title of host publicationComputer Security Foundations Symposium - CSF 2012
PublisherIEEE Computer Society
Pages113-125
Publication statusPublished - 2012

Cite this