Michael D. Ford

Most-cited papers

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

   E. LeMay, Michael D. Ford, K. Keefe, W. Sanders +1 more

   20112011 Eighth International Conference on Quantitative Evaluation of SysTems184 citations

   Semantic Scholar

   Save

2. Implementing the ADVISE security modeling formalism in Möbius

   Michael D. Ford, K. Keefe, E. LeMay, W. Sanders +1 more

   2013Dependable Systems and Networks40 citations

   Semantic Scholar

   Save

3. State-Based Analysis in ADVISE

   Michael D. Ford, P. Buchholz, W. Sanders

   20122012 Ninth International Conference on Quantitative Evaluation of Systems5 citations

   Semantic Scholar

   Save

4. Mobile Illinois Clicker (Mi - Clicker): Next Generation Educational Tool for Mobile Learning Communities

   Anjali Sridhar, Ying Huang, Michael D. Ford, C. Mcintyre +11 more

   20111 citations

   Semantic Scholar

   Save

5. A generalized adversary decision algorithm and analytic solution methods for advise models

   Michael D. Ford

   20120 citations

   Semantic Scholar

   Save