International Journal of Computer Applications |
Foundation of Computer Science (FCS), NY, USA |
Volume 53 - Number 1 |
Year of Publication: 2012 |
Authors: K. Raja Sekhar, L. S. S. Reddy, U. J. Kameswari |
10.5120/8384-1987 |
K. Raja Sekhar, L. S. S. Reddy, U. J. Kameswari . Secure System of Attack Patterns towards Application Security Metric Derivation. International Journal of Computer Applications. 53, 1 ( September 2012), 11-18. DOI=10.5120/8384-1987
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.