<  Back to the Polytechnique Montréal portal

A formal approach for testing security rules

Wissam Mallouli, Jean-Marie Orset, Ana R. Cavalli, Nora Boulahia Cuppens and Frédéric Cuppens

Paper (2007)

Document published while its authors were not affiliated with Polytechnique Montréal

An external link is available for this item
ISBN: 9781595937452
PolyPublie URL: https://publications.polymtl.ca/46782/
Conference Title: 12th ACM Symposium on Access control models and technologies (SACMAT 2007)
Conference Location: Sophia-Antipolis, France
Conference Date(s): 2007-06-20 - 2007-06-22
Publisher: ACM
DOI: 10.1145/1266840.1266860
Official URL: https://doi.org/10.1145/1266840.1266860
Date Deposited: 18 Apr 2023 15:17
Last Modified: 09 Oct 2024 10:48
Cite in APA 7: 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. https://doi.org/10.1145/1266840.1266860

Statistics

Dimensions

Repository Staff Only

View Item View Item