<  Back to the Polytechnique Montréal portal

Computing counter-examples for privilege protection losses using security models

Marc-André Laverdière and Ettore Merlo

Paper (2017)

An external link is available for this item
Department: Department of Computer Engineering and Software Engineering
ISBN: 9781509055012
PolyPublie URL: https://publications.polymtl.ca/37150/
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
DOI: 10.1109/saner.2017.7884625
Official URL: https://doi.org/10.1109/saner.2017.7884625
Date Deposited: 18 Apr 2023 15:04
Last Modified: 08 Apr 2025 12:22
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