Up a level |
Mallouli, W., Orset, J.-M., Cavalli, A. R., Boulahia Cuppens, N., & Cuppens, F. (2007, June). A formal approach for testing security rules [Paper]. 12th ACM Symposium on Access control models and technologies (SACMAT 2007), Sophia, Antipolis, France. External link