Follow
Ken Keefe
Title
Cited by
Cited by
Year
Model-based Security Metrics Using ADVersary VIew Security Evaluation (ADVISE)
E LeMay, MD Ford, K Keefe, WH Sanders, C Muehrcke
Quantitative evaluation of systems (QEST), 2011 eighth international …, 2011
2482011
Möbius 2.3: An extensible tool for dependability, security, and performance evaluation of large and complex system models
T Courtney, S Gaonkar, K Keefe, EWD Rozier, WH Sanders
2009 IEEE/IFIP International Conference on Dependable Systems & Networks …, 2009
1132009
Adversary-driven state-based system security evaluation
E LeMay, W Unkenholz, D Parks, C Muehrcke, K Keefe, WH Sanders
Proceedings of the 6th International Workshop on Security Measurements and …, 2010
1032010
Implementing the ADVISE security modeling formalism in Möbius
MD Ford, K Keefe, E LeMay, WH Sanders, C Muehrcke
2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems …, 2013
502013
Performance and dependability modeling with Möbius
S Gaonkar, K Keefe, R Lamprecht, E Rozier, P Kemper, WH Sanders
ACM SIGMETRICS Performance Evaluation Review 36 (4), 16-21, 2009
402009
Developing models for physical attacks in cyber-physical systems
C Cheh, K Keefe, B Feddersen, B Chen, WG Temple, WH Sanders
Proceedings of the 2017 Workshop on Cyber-Physical Systems Security and …, 2017
262017
Characterizing the behavior of cyber adversaries: The means, motive, and opportunity of cyberattacks
E Van Ruitenbeek, K Keefe, WH Sanders, C Muehrcke
40th Annual IEEE/IFIP International Conference on Dependable Systems and …, 2010
122010
An ontology framework for generating discrete-event stochastic models
K Keefe, B Feddersen, M Rausch, R Wright, WH Sanders
Computer Performance Engineering: 15th European Workshop, EPEW 2018, Paris …, 2018
102018
Accounting for the human user in predictive security models
MA Noureddine, A Marturano, K Keefe, M Bashir, WH Sanders
2017 IEEE 22nd Pacific Rim International Symposium on Dependable Computing …, 2017
102017
Simulation debugging and visualization in the Möbius Modeling Framework
C Buchanan, K Keefe
Quantitative Evaluation of Systems: 11th International Conference, QEST 2014 …, 2014
102014
A microgrid ontology for the analysis of cyber-physical security
M Backes, K Keefe, A Valdes
2017 Workshop on Modeling and Simulation of Cyber-Physical Energy Systems …, 2017
92017
A comparison of different intrusion detection approaches in an advanced metering infrastructure network using ADVISE
M Rausch, B Feddersen, K Keefe, WH Sanders
Quantitative Evaluation of Systems: 13th International Conference, QEST 2016 …, 2016
92016
Modeling humans: A general agent model for the evaluation of security
M Rausch, A Fawaz, K Keefe, WH Sanders
Quantitative Evaluation of Systems: 15th International Conference, QEST 2018 …, 2018
82018
Characterizing the behavior of cyber adversaries: The means, motive, and opportunity of cyberattacks
C Muehrcke, E Ruitenbeek, K Keefe, W Sanders
2010 International Conference on Dependable Systems and Networks …, 2010
72010
Reliability analysis with dynamic reliability block diagrams in the Möbius modeling tool
K Keefe, W Sanders
EAI Endorsed Transactions on Security and Safety 3 (10), 164-170, 2016
62016
Enterprise security metrics with the ADVISE meta model formalism
B Feddersen, K Keefe, WH Sanders, C Muehrcke, D Parks, A Crapo, ...
SECURWARE 2015, 77, 2015
62015
Quantitative security metrics with human in the loop
M Noureddine, K Keefe, WH Sanders, M Bashir
Proceedings of the 2015 Symposium and Bootcamp on the Science of Security, 1-2, 2015
62015
Automatically generating security models from system models to aid in the evaluation of AMI deployment options
M Rausch, K Keefe, B Feddersen, WH Sanders
Critical Information Infrastructures Security: 12th International Conference …, 2018
52018
A case study assessing the effects of cyber attacks on a river zonal dispatcher
RJ Wright, K Keefe, B Feddersen, WH Sanders
Critical Information Infrastructures Security: 11th International Conference …, 2017
22017
Möbius shell: A command-line interface for Möbius
K Keefe, WH Sanders
Quantitative Evaluation of Systems: 10th International Conference, QEST 2013 …, 2013
22013
The system can't perform the operation now. Try again later.
Articles 1–20