Silvio Ranise, Anh Tuan Truong, Luca Viganò. Automated analysis of RBAC policies with temporal constraints and static role hierarchies. In Roger L. Wainwright, Juan Manuel Corchado, Alessio Bechini, Jiman Hong, editors, Proceedings of the 30th Annual ACM Symposium on Applied Computing, Salamanca, Spain, April 13-17, 2015. pages 2177-2184, ACM, 2015. [doi]
@inproceedings{RaniseTV15,
title = {Automated analysis of RBAC policies with temporal constraints and static role hierarchies},
author = {Silvio Ranise and Anh Tuan Truong and Luca Viganò},
year = {2015},
doi = {10.1145/2695664.2695787},
url = {http://doi.acm.org/10.1145/2695664.2695787},
researchr = {https://researchr.org/publication/RaniseTV15},
cites = {0},
citedby = {0},
pages = {2177-2184},
booktitle = {Proceedings of the 30th Annual ACM Symposium on Applied Computing, Salamanca, Spain, April 13-17, 2015},
editor = {Roger L. Wainwright and Juan Manuel Corchado and Alessio Bechini and Jiman Hong},
publisher = {ACM},
isbn = {978-1-4503-3196-8},
}