A formal approach for testing security rules

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

Communication écrite (2007)

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

Accéder à ce document
Lien externe
Ce document n'est pas archivé dans PolyPublie, mais peut être consulté chez l'éditeur officiel
ISBN:
9781595937452
Adresse URL de PolyPublie:
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-20 - 2007-06-22
Maison d'édition:
ACM
OAI:
oai:publications.polymtl.ca:46782
ORCID
Date du dépôt:
18 avr. 2023 15:17
Dernière modification:
14 oct. 2026 14:00
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