Formal Specification of Software Architecture Security Tactics. - Andrew Wyeth; Cui Zhang (SEKE, 2010)