PERFORM

 

Michael Ford

Michael Ford

Former group member (MS, 2012). Now at Apple.

 


Publications with the Performability Engineering Research Group

Model-based Security Metrics using ADversary VIew Security Evaluation (ADVISE).
E. LeMay, M. D. Ford, K. Keefe, W. H. Sanders, and C. Muehrcke. (11LEM01)
Proceedings of the 8th International Conference on Quantitative Evaluation of SysTems (QEST 2011), Aachen, Germany, Sept. 5-8, 2011, pp. 191-200. [IEEE Xplore entry]

A Generalized Adversary Decision Algorithm and Analytic Solution Methods for ADVISE Models.
M. D. Ford. (12FOR03)
Master's Thesis, University of Illinois at Urbana-Champaign, 2012.

State-Based Analysis in ADVISE.
M. D. Ford, P. Buchholz, and W. H. Sanders. (12FOR01)
Proceedings of the 9th International Conference on Quantitative Evaluation of SysTems (QEST), London, UK, Sept. 17-20, 2012, pp. 148-157. [IEEE Xplore entry]

Implementing the ADVISE Security Modeling Formalism in Möbius.
M. D. Ford, K. Keefe, E. LeMay, W. H. Sanders, and C. Muehrcke. (12FOR04)
Proceedings of the 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013, pp. 1-8. [IEEE Xplore entry]

 


COPYRIGHT NOTICES: The above electronic files are presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

The following copyright notice applies to all of the above items that appear in IEEE publications: "Personal use of this material is permitted. However, permission to reprint/publish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from IEEE."