Michael D. Ford

Publication Activity (10 Years)

Years Active: 2011-2013
Publications (10 Years): 0

Top Topics

Security Problems

Modeling Language

Statistical Analysis

Top Venues

Publications

Michael D. Ford, Ken Keefe, Elizabeth LeMay, William H. Sanders, Carol Muehrcke
Implementing the ADVISE security modeling formalism in Möbius. DSN (2013)
Michael D. Ford, Peter Buchholz, William H. Sanders
State-Based Analysis in ADVISE. QEST (2012)
Elizabeth LeMay, Michael D. Ford, Ken Keefe, William H. Sanders, Carol Muehrcke
Model-based Security Metrics Using ADversary VIew Security Evaluation (ADVISE). QEST (2011)