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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.