Andrew Wyeth, Cui Zhang: Formal Specification of Software Architecture Security Tactics. SEKE 2010: 172-175