Vac - Verifier of Administrative Role-Based Access Control Policies

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

19 Citations (Scopus)

Original language	English
Title of host publication	Computer Aided Verification
Publisher	Springer
Pages	184-191
Volume	8559
Publication status	Published - 2014

Name	Lecture Notes in Computer Science

Handle.net

@inproceedings{3f6fe48e7dd0428b8ecd0c996dedfef8,

title = "Vac - Verifier of Administrative Role-Based Access Control Policies",

author = "Anna-Lisa Ferrara and Lam, \{Truc Nguyen\} and P Madhusudan and Gennaro Parlato",

year = "2014",

language = "English",

volume = "8559",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "184--191",

booktitle = "Computer Aided Verification",

address = "United States",

}