Michael D. Ford

According to our database, Michael D. Ford authored at least 3 papers between 2011 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

2012

State-Based Analysis in ADVISE.

Michael D. Ford, Peter Buchholz, William H. Sanders

Proceedings of the Ninth International Conference on Quantitative Evaluation of Systems, 2012

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