Marc-André Laverdière, Ettore Merlo. Computing counter-examples for privilege protection losses using security models. In Martin Pinzger, Gabriele Bavota, Andrian Marcus, editors, IEEE 24th International Conference on Software Analysis, Evolution and Reengineering, SANER 2017, Klagenfurt, Austria, February 20-24, 2017. pages 240-249, IEEE Computer Society, 2017. [doi]
@inproceedings{LaverdiereM17,
title = {Computing counter-examples for privilege protection losses using security models},
author = {Marc-André Laverdière and Ettore Merlo},
year = {2017},
doi = {10.1109/SANER.2017.7884625},
url = {http://doi.ieeecomputersociety.org/10.1109/SANER.2017.7884625},
researchr = {https://researchr.org/publication/LaverdiereM17},
cites = {0},
citedby = {0},
pages = {240-249},
booktitle = {IEEE 24th International Conference on Software Analysis, Evolution and Reengineering, SANER 2017, Klagenfurt, Austria, February 20-24, 2017},
editor = {Martin Pinzger and Gabriele Bavota and Andrian Marcus},
publisher = {IEEE Computer Society},
isbn = {978-1-5090-5501-2},
}