Sadhana Jha, Shamik Sural, Jaideep Vaidya, Vijayalakshmi Atluri. Temporal RBAC Security Analysis Using Logic Programming in the Presence of Administrative Policies. In Atul Prakash, Rudrapatna K. Shyamasundar, editors, Information Systems Security - 10th International Conference, ICISS 2014, Hyderabad, India, December 16-20, 2014, Proceedings. Volume 8880 of Lecture Notes in Computer Science, pages 129-148, Springer, 2014. [doi]
Abstract is missing.