Carol Muehrcke

Enterprise Security Metrics with the ADVISE Meta Model Formalism

William H. Sanders, Ravi Palla, Ken Keefe, 2015, SECURWARE 2015.

Model-based Security Metrics Using ADversary VIew Security Evaluation (ADVISE)

William H. Sanders, Ken Keefe, Carol Muehrcke, 2011, 2011 Eighth International Conference on Quantitative Evaluation of SysTems.

Formal methods for the informal world

Carol Muehrcke, 1994, Proceedings The Computer Security Foundations Workshop VII.

Operational Information Management Security Architecture

Carol Muehrcke, Vic Choo, Rob Vienneau, 2006 .

Adversary-driven state-based system security evaluation

William H. Sanders, Ken Keefe, Carol Muehrcke, 2010, MetriSec '10.

Implementing the ADVISE security modeling formalism in Möbius

William H. Sanders, Ken Keefe, Carol Muehrcke, 2013, 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).

An Ontological Model for Constructing Möbius ADVISE Security Models

William H. Sanders, Alfredo Gabaldon, Ravi Palla, 2015 .