Wissam Mallouli, Jean-Marie Orset, Ana R. Cavalli, Nora Cuppens-Boulahia, Frédéric Cuppens. A formal approach for testing security rules. In Volkmar Lotz, Bhavani M. Thuraisingham, editors, SACMAT 2007, 12th ACM Symposium on Access Control Models and Technologies, Sophia Antipolis, France, June 20-22, 2007, Proceedings. pages 127-132, ACM, 2007. [doi]
Abstract is missing.