Basit Shafiq, Jaideep Vaidya, Arif Ghafoor, Elisa Bertino. A framework for verification and optimal reconfiguration of event-driven role based access control policies. In Vijay Atluri, Jaideep Vaidya, Axel Kern, Murat Kantarcioglu, editors, 17th ACM Symposium on Access Control Models and Technologies, SACMAT '12, Newark, NJ, USA - June 20 - 22, 2012. pages 197-208, ACM, 2012. [doi]
Abstract is missing.