The Community for Technology Leaders
ABSTRACT
We investigate intuitive claims made in security pattern catalogues using the formal language of Codecharts and the Two-Tier Programming Toolkit. We analyse the Check Point pattern's structure and explore claims about conformance (of programs to the pattern), about consistency (between different catalogues), and about the relation between (security and design) patterns. Our analysis shows that some of the intuitive claims hold whereas others were found inaccurate or false.
INDEX TERMS
CITATION
Abdullah A.H. Alzahrani, Amnon H. Eden, Majd Zohri Yafi, "Structural Analysis of the Check Point Pattern", , vol. 00, no. , pp. 404-408, 2014, doi:10.1109/SOSE.2014.56
REFERENCES
(Ver 3.3 (11022016))