Silvio Ranise, Anh Truong, Alessandro Armando. Scalable and precise automated analysis of administrative temporal role-based access control. In Sylvia L. Osborn, Mahesh V. Tripunitara, Ian Molloy, editors, 19th ACM Symposium on Access Control Models and Technologies, SACMAT '14, London, ON, Canada - June 25 - 27, 2014. pages 103-114, ACM, 2014. [doi]
Abstract is missing.