@InProceedings{ChongM12,
  author = 	 {Stephen Chong and Ron van der Meyden},
  title = 	 {Using architecture to reason about information security},
  booktitle =    {Proceedings of the 6th Layered Assurance Workshop},
  year = 	 2012,
  pages = 	 {1--11}
}