External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Computing counter-examples for privilege protection losses using security models

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]

Authors

Marc-André Laverdière

This author has not been identified. Look up 'Marc-André Laverdière' in Google

Ettore Merlo

This author has not been identified. Look up 'Ettore Merlo' in Google
runs on