Stefano Calzavara, Alvise Rabitti, Michele Bugliesi. Compositional Typed Analysis of ARBAC Policies. In Cédric Fournet, Michael W. Hicks, Luca Viganò, editors, IEEE 28th Computer Security Foundations Symposium, CSF 2015, Verona, Italy, 13-17 July, 2015. pages 33-45, IEEE, 2015. [doi]
Abstract is missing.