<  Retour au portail Polytechnique Montréal

A formal approach for testing security rules

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

Communication écrite (2007)

Document publié alors que les auteurs ou autrices n'étaient pas affiliés à Polytechnique Montréal

Un lien externe est disponible pour ce document
URL de PolyPublie: https://publications.polymtl.ca/46782/
Nom de la conférence: 12th ACM Symposium on Access control models and technologies (SACMAT 2007)
Lieu de la conférence: Sophia, Antipolis, France
Date(s) de la conférence: 2007-06-01 - 2007-06-30
Maison d'édition: ACM
DOI: 10.1145/1266840.1266860
URL officielle: https://doi.org/10.1145/1266840.1266860
Date du dépôt: 18 avr. 2023 15:17
Dernière modification: 05 avr. 2024 11:47
Citer en APA 7: Mallouli, W., Orset, J.-M., Cavalli, A. R., Boulahia Cuppens, N., & Cuppens, F. (juin 2007). A formal approach for testing security rules [Communication écrite]. 12th ACM Symposium on Access control models and technologies (SACMAT 2007), Sophia, Antipolis, France. https://doi.org/10.1145/1266840.1266860

Statistiques

Dimensions

Actions réservées au personnel

Afficher document Afficher document