Yolanta Beres, Adrian Baldwin, Simon Shiu. Model-based assurance of security controls. In Günter Karjoth, Ketil Stølen, editors, Proceedings of the 3th ACM Workshop on Quality of Protection, QoP 2007, Alexandria, VA, USA, October 29, 2007. pages 55, ACM, 2007. [doi]
Abstract is missing.