Abstract
Attack pattern system exhibits a unique property of pattern sequential cascading nature applied during the design phase of an application system. In this paper a mathematical framework based on predicate and propositional logic is applied to verify and check the mentioned property with the help of design specification. The framework also defines few predicate operators to construct the results in terms of propositions that each pattern displays during the design in the context of security scenario. Finally the results are presented against number of patterns along with number of propositions, operators, other resources where pattern consumes during the implementation scenario. Templates are proposed to present the pattern data to derive the desired security metric. © 2012 IEEE.
