Computing counter-examples for privilege protection losses using security models

Marc-André Laverdière, Ettore Merlo

Communication écrite (2017)

Accéder à ce document
Lien externe
Ce document n'est pas archivé dans PolyPublie, mais peut être consulté chez l'éditeur officiel
ISBN:
9781509055012
Adresse URL de PolyPublie:
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
OAI:
oai:publications.polymtl.ca:37150
ORCID
Date du dépôt:
18 avr. 2023 15:04
Dernière modification:
14 oct. 2026 13:27
Citer en APA 7:
Laverdière, 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

Statistiques

Dimensions

Actions réservées au personnel

Afficher document
Afficher document