Dianxiang Xu, Lijo Thomas, Michael Kent, Tejeddine Mouelhi, Yves Le Traon. A model-based approach to automated testing of 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 209-218, ACM, 2012. [doi]
Abstract is missing.