Vac - Verifier of Administrative Role-Based Access Control Policies

Anna-Lisa Ferrara, Truc Nguyen Lam, P Madhusudan, Gennaro Parlato

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

13 Citations (Scopus)
Original languageEnglish
Title of host publicationComputer Aided Verification
PublisherSpringer
Pages184-191
Volume8559
Publication statusPublished - 2014

Publication series

NameLecture Notes in Computer Science

Cite this