Alessandro Armando, Silvio Ranise. Automated and Efficient Analysis of Role-Based Access Control with Attributes. In Nora Cuppens-Boulahia, Frédéric Cuppens, Joaquín García-Alfaro, editors, Data and Applications Security and Privacy XXVI - 26th Annual IFIP WG 11.3 Conference, DBSec 2012, Paris, France, July 11-13,2012. Proceedings. Volume 7371 of Lecture Notes in Computer Science, pages 25-40, Springer, 2012. [doi]
@inproceedings{ArmandoR12-0, title = {Automated and Efficient Analysis of Role-Based Access Control with Attributes}, author = {Alessandro Armando and Silvio Ranise}, year = {2012}, doi = {10.1007/978-3-642-31540-4_3}, url = {http://dx.doi.org/10.1007/978-3-642-31540-4_3}, researchr = {https://researchr.org/publication/ArmandoR12-0}, cites = {0}, citedby = {0}, pages = {25-40}, booktitle = {Data and Applications Security and Privacy XXVI - 26th Annual IFIP WG 11.3 Conference, DBSec 2012, Paris, France, July 11-13,2012. Proceedings}, editor = {Nora Cuppens-Boulahia and Frédéric Cuppens and Joaquín García-Alfaro}, volume = {7371}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-31539-8}, }