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]
Abstract is missing.