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]
@inproceedings{MallouliOCCC07,
title = {A formal approach for testing security rules},
author = {Wissam Mallouli and Jean-Marie Orset and Ana R. Cavalli and Nora Cuppens-Boulahia and Frédéric Cuppens},
year = {2007},
doi = {10.1145/1266840.1266860},
url = {http://doi.acm.org/10.1145/1266840.1266860},
tags = {rule-based, testing, rules, security, systematic-approach},
researchr = {https://researchr.org/publication/MallouliOCCC07},
cites = {0},
citedby = {0},
pages = {127-132},
booktitle = {SACMAT 2007, 12th ACM Symposium on Access Control Models and Technologies, Sophia Antipolis, France, June 20-22, 2007, Proceedings},
editor = {Volkmar Lotz and Bhavani M. Thuraisingham},
publisher = {ACM},
isbn = {978-1-59593-745-2},
}