Ken Keefe

Publication Activity (10 Years)

Years Active: 2009-2018
Publications (10 Years): 9

Top Topics

Stochastic Models

Automatically Generating

Intrusion Detection

Top Venues

Publications

Ken Keefe, Brett Feddersen, Michael J. Rausch, Ronald Joseph Wright, William H. Sanders
An Ontology Framework for Generating Discrete-Event Stochastic Models. EPEW (2018)
Michael J. Rausch, Ahmed M. Fawaz, Ken Keefe, William H. Sanders
Modeling Humans: A General Agent Model for the Evaluation of Security. QEST (2018)
Michael J. Rausch, Ken Keefe, Brett Feddersen, William H. Sanders
Automatically Generating Security Models from System Models to Aid in the Evaluation of AMI Deployment Options. CRITIS (2017)
Mohammad A. Noureddine, Andrew Marturano, Ken Keefe, Masooda N. Bashir, William H. Sanders
Accounting for the Human User in Predictive Security Models. PRDC (2017)
Carmen Cheh, Ken Keefe, Brett Feddersen, Binbin Chen, William G. Temple, William H. Sanders
Developing Models for Physical Attacks in Cyber-Physical Systems. CPS-SPC@CCS (2017)
Ken Keefe, William H. Sanders
Reliability Analysis with Dynamic Reliability Block Diagrams in the Möbius Modeling Tool. EAI Endorsed Trans. Security Safety 3 (10) (2016)
Michael J. Rausch, Brett Feddersen, Ken Keefe, William H. Sanders
A Comparison of Different Intrusion Detection Approaches in an Advanced Metering Infrastructure Network Using ADVISE. QEST (2016)
Ronald Joseph Wright, Ken Keefe, Brett Feddersen, William H. Sanders
A Case Study Assessing the Effects of Cyber Attacks on a River Zonal Dispatcher. CRITIS (2016)
Mohammad A. Noureddine, Ken Keefe, William H. Sanders, Masooda N. Bashir
Quantitative security metrics with human in the loop. HotSoS (2015)
Craig Buchanan, Ken Keefe
Simulation Debugging and Visualization in the Möbius Modeling Framework. QEST (2014)
Ken Keefe, William H. Sanders
Möbius Shell: A Command-Line Interface for Möbius. QEST (2013)
Michael D. Ford, Ken Keefe, Elizabeth LeMay, William H. Sanders, Carol Muehrcke
Implementing the ADVISE security modeling formalism in Möbius. DSN (2013)
Elizabeth LeMay, Michael D. Ford, Ken Keefe, William H. Sanders, Carol Muehrcke
Model-based Security Metrics Using ADversary VIew Security Evaluation (ADVISE). QEST (2011)
Ken Keefe, Quincy Mitchell, Eric Rozier, William H. Sanders
Remote Job Management in the Mobius Modeling Framework. QEST (2009)
Shravan Gaonkar, Ken Keefe, Ruth Lamprecht, Eric Rozier, Peter Kemper, William H. Sanders
Performance and dependability modeling with Möbius. SIGMETRICS Perform. Evaluation Rev. 36 (4) (2009)
Tod Courtney, Shravan Gaonkar, Ken Keefe, Eric Rozier, William H. Sanders
Möbius 2.3: An extensible tool for dependability, security, and performance evaluation of large and complex system models. DSN (2009)