Computing counter-examples for privilege protection losses using security models

M. A. Laverdiere et Ettore Merlo

Communication écrite (2017)

Un lien externe est disponible pour ce document

Département:	Département de génie informatique et génie logiciel
URL de PolyPublie:	https://publications.polymtl.ca/37150/
Nom de la conférence:	24th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2017)
Lieu de la conférence:	Klagenfurt, Austria
Date(s) de la conférence:	2017-02-20 - 2017-02-24
Maison d'édition:	IEEE
DOI:	10.1109/saner.2017.7884625
URL officielle:	https://doi.org/10.1109/saner.2017.7884625
Date du dépôt:	18 avr. 2023 15:04
Dernière modification:	05 avr. 2024 11:30

Citer en APA 7:	Laverdiere, M. A., & Merlo, E. (février 2017). Computing counter-examples for privilege protection losses using security models [Communication écrite]. 24th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2017), Klagenfurt, Austria. https://doi.org/10.1109/saner.2017.7884625
APA 7 (HTML)ASCII CitationAtomBibTeXDOIsDublin CoreEndNote (.ENW)MARC (ISO 2709/UTF-8) (.MRC)MARC (UTF-8) (.MRK8)MARC XMLMPEG-21 DIDLMultiline CSVOAI-ORE Resource Map (Atom Format)OPENAIREOpenURL ContextObjectOpenURL ContextObject in SpanRDF+N-TriplesRDF+N3RDF+XMLReferReference Manager (.RIS)Répertoire des publications (EndNote)Simple Metadata

Statistiques

Actions réservées au personnel