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