Model-based assurance of security controls.

Yolanta Beres Adrian Baldwin Simon Shiu Model-based assurance of security controls. 55 2007 QoP http://doi.acm.org/10.1145/1314257.1314275 conf/ccs/2007qop db/conf/ccs/qop2007.html#BeresBS07