Skip to main content

Automatic conformance checking of role−based access control policies via Alloy

David Power‚ Mark Slaymaker and Andrew Simpson

Book Title
Proceedings of Engineering Secure Software and Systems (ESSoS 2011)
Pages
15–28
Publisher
Springer−Verlag Lecture Notes in Computer Science‚ volume 6542
Year
2011