David J. Power, Mark Slaymaker, Andrew Simpson. Automatic Conformance Checking of Role-Based Access Control Policies via Alloy. In Úlfar Erlingsson, Roel Wieringa, Nicola Zannone, editors, Engineering Secure Software and Systems - Third International Symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011. Proceedings. Volume 6542 of Lecture Notes in Computer Science, pages 15-28, Springer, 2011. [doi]
@inproceedings{PowerSS11,
title = {Automatic Conformance Checking of Role-Based Access Control Policies via Alloy},
author = {David J. Power and Mark Slaymaker and Andrew Simpson},
year = {2011},
doi = {10.1007/978-3-642-19125-1_2},
url = {http://dx.doi.org/10.1007/978-3-642-19125-1_2},
tags = {rule-based, access control policies, access control, role-based access control},
researchr = {https://researchr.org/publication/PowerSS11},
cites = {0},
citedby = {0},
pages = {15-28},
booktitle = {Engineering Secure Software and Systems - Third International Symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011. Proceedings},
editor = {Úlfar Erlingsson and Roel Wieringa and Nicola Zannone},
volume = {6542},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-19124-4},
}