Date Added: Sep 2012
Attack pattern system exhibits a unique property of pattern sequential cascading nature which can be identified during the design phase of an application system implementing security scenarios. In this paper a mathematical framework of secure system of attack patterns is presented to verify the stated design specification property along with theoretical back ground work. The framework defines 12 definitions of secure system of attack patterns, propositional transition system, computable functions and other supported elements. The frame work establishes 15 specifications with associated lemmas and theorems to construct and build the background towards verification of proposed system. Finally, the proposed attack pattern system is assessed against the number of patterns, resources and other pattern properties with the help of simple security scenario.