Carol Muehrcke

According to our database, Carol Muehrcke authored at least 3 papers between 1994 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Implementing the ADVISE security modeling formalism in Möbius.

Michael D. Ford, Ken Keefe, Elizabeth LeMay, William H. Sanders, Carol Muehrcke

Proceedings of the 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2013

2011

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

Elizabeth LeMay, Michael D. Ford, Ken Keefe, William H. Sanders, Carol Muehrcke

Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems, 2011

1994

Formal Methods for the Informal World.

Carol Muehrcke

Proceedings of the Seventh IEEE Computer Security Foundations Workshop, 1994