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]

@inproceedings{RauschKFS17,
  title = {Automatically Generating Security Models from System Models to Aid in the Evaluation of AMI Deployment Options},
  author = {Michael Rausch and Ken Keefe and Brett Feddersen and William H. Sanders},
  year = {2017},
  doi = {10.1007/978-3-319-99843-5_14},
  url = {https://doi.org/10.1007/978-3-319-99843-5_14},
  researchr = {https://researchr.org/publication/RauschKFS17},
  cites = {0},
  citedby = {0},
  pages = {156-167},
  booktitle = {Critical Information Infrastructures Security - 12th International Conference, CRITIS 2017, Lucca, Italy, October 8-13, 2017, Revised Selected Papers},
  editor = {Gregorio D'Agostino and Antonio Scala},
  volume = {10707},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-99843-5},
}