Automatic conformance checking of role−based access control policies in Alloy
David Power‚ Mark Slaymaker and Andrew Simpson
Details
| 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 |
Links
Related pages
|
People |