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]
Abstract is missing.