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

Michael Rausch, Ken Keefe, Brett Feddersen, William H. Sanders. Automatically Generating Security Models from System Models to Aid in the Evaluation of AMI Deployment Options. In Gregorio D'Agostino, Antonio Scala, editors, Critical Information Infrastructures Security - 12th International Conference, CRITIS 2017, Lucca, Italy, October 8-13, 2017, Revised Selected Papers. Volume 10707 of Lecture Notes in Computer Science, pages 156-167, Springer, 2017. [doi]

Authors

Michael Rausch

This author has not been identified. Look up 'Michael Rausch' in Google

Ken Keefe

This author has not been identified. Look up 'Ken Keefe' in Google

Brett Feddersen

This author has not been identified. Look up 'Brett Feddersen' in Google

William H. Sanders

This author has not been identified. Look up 'William H. Sanders' in Google