Computing counter-examples for privilege protection losses using security models

Marc-André Laverdière, Ettore Merlo

Paper (2017)

Access this document
External link
An external link is available for this item
ISBN:
9781509055012
Conference Title:
24th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2017)
Conference Location:
Klagenfurt, Austria
Conference Date(s):
2017-02-20 - 2017-02-24
Publisher:
IEEE
OAI:
oai:publications.polymtl.ca:37150
ORCID
Date Deposited:
18 Apr 2023 15:04
Last Modified:
02 Oct 2026 23:08
Cite in APA 7:
Laverdière, M.-A., & Merlo, E. (2017, February). Computing counter-examples for privilege protection losses using security models [Paper]. 24th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2017), Klagenfurt, Austria. https://doi.org/10.1109/saner.2017.7884625

Statistics

Dimensions

Repository Staff Only

View Item
View Item