Formal Specification of Software Architecture Security Tactics.
Andrew Michael Wyeth, Cui Zhang · Software Engineering and Knowledge Engineering · 2010
This paper provides a Z specification for the Software Architectural Tactics of Authentication and Authorization for the Security Quality Attribute. A model of a system is created and each tactic is defined with respect to the model. Each tactic is independent however, the system encompasses all the required functionality for all the tactics.