Ken Keefe

According to our database, Ken Keefe authored at least 16 papers between 2009 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Modeling Humans: A General Agent Model for the Evaluation of Security.

Michael J. Rausch, Ahmed M. Fawaz, Ken Keefe, William H. Sanders

Proceedings of the Quantitative Evaluation of Systems - 15th International Conference, 2018

An Ontology Framework for Generating Discrete-Event Stochastic Models.

Ken Keefe, Brett Feddersen, Michael J. Rausch, Ronald Joseph Wright, William H. Sanders

Proceedings of the Computer Performance Engineering - 15th European Workshop, 2018

2017

Accounting for the Human User in Predictive Security Models.

Mohammad A. Noureddine, Andrew Marturano, Ken Keefe, Masooda N. Bashir, William H. Sanders

Proceedings of the 22nd IEEE Pacific Rim International Symposium on Dependable Computing, 2017

Automatically Generating Security Models from System Models to Aid in the Evaluation of AMI Deployment Options.

Michael J. Rausch, Ken Keefe, Brett Feddersen, William H. Sanders

Proceedings of the Critical Information Infrastructures Security, 2017

Developing Models for Physical Attacks in Cyber-Physical Systems.

Carmen Cheh, Ken Keefe, Brett Feddersen, Binbin Chen, William G. Temple, William H. Sanders

Proceedings of the 2017 Workshop on Cyber-Physical Systems Security and PrivaCy, 2017

2016

Reliability Analysis with Dynamic Reliability Block Diagrams in the Möbius Modeling Tool.

Ken Keefe, William H. Sanders

EAI Endorsed Trans. Security Safety, 2016

A Comparison of Different Intrusion Detection Approaches in an Advanced Metering Infrastructure Network Using ADVISE.

Michael J. Rausch, Brett Feddersen, Ken Keefe, William H. Sanders

Proceedings of the Quantitative Evaluation of Systems - 13th International Conference, 2016

A Case Study Assessing the Effects of Cyber Attacks on a River Zonal Dispatcher.

Ronald Joseph Wright, Ken Keefe, Brett Feddersen, William H. Sanders

Proceedings of the Critical Information Infrastructures Security, 2016

2015

Quantitative security metrics with human in the loop.

Mohammad A. Noureddine, Ken Keefe, William H. Sanders, Masooda N. Bashir

Proceedings of the 2015 Symposium and Bootcamp on the Science of Security, 2015

2014

Simulation Debugging and Visualization in the Möbius Modeling Framework.

Craig Buchanan, Ken Keefe

Proceedings of the Quantitative Evaluation of Systems - 11th International Conference, 2014

2013

Möbius Shell: A Command-Line Interface for Möbius.

Ken Keefe, William H. Sanders

Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 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

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

2009

Performance and dependability modeling with Möbius.

Shravan Gaonkar, Ken Keefe, Ruth Lamprecht, Eric Rozier, Peter Kemper, William H. Sanders

SIGMETRICS Perform. Evaluation Rev., 2009

Remote Job Management in the Mobius Modeling Framework.

Ken Keefe, Quincy Mitchell, Eric Rozier, William H. Sanders

Proceedings of the QEST 2009, 2009

Möbius 2.3: An extensible tool for dependability, security, and performance evaluation of large and complex system models.

Tod Courtney, Shravan Gaonkar, Ken Keefe, Eric Rozier, William H. Sanders

Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, 2009