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]
Abstract is missing.