Automating architectural security analysis

Andreas Schaad, Alexandr Garaga. Automating architectural security analysis. In Vijay Atluri, Jaideep Vaidya, Axel Kern, Murat Kantarcioglu, editors, 17th ACM Symposium on Access Control Models and Technologies, SACMAT '12, Newark, NJ, USA - June 20 - 22, 2012. pages 131-132, ACM, 2012. [doi]

@inproceedings{SchaadG12,
  title = {Automating architectural security analysis},
  author = {Andreas Schaad and Alexandr Garaga},
  year = {2012},
  doi = {10.1145/2295136.2295162},
  url = {http://doi.acm.org/10.1145/2295136.2295162},
  researchr = {https://researchr.org/publication/SchaadG12},
  cites = {0},
  citedby = {0},
  pages = {131-132},
  booktitle = {17th ACM Symposium on Access Control Models and Technologies, SACMAT '12, Newark, NJ, USA - June 20 - 22, 2012},
  editor = {Vijay Atluri and Jaideep Vaidya and Axel Kern and Murat Kantarcioglu},
  publisher = {ACM},
  isbn = {978-1-4503-1295-0},
}