Abdullah A.A. Alzahrani, Amnon H. Eden, Majd Zohri Yafi
3rd International Workshop on Cyberpatterns 2014, in conjunction with 8th Int'l Symp. Service-Oriented System Engineering—SOSE 2014. Oxford, UK: IEEE Computer Society Press
Publication year: 2014
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.
Codechart of the Check-Point Pattern

Codechart of the Check-Point Pattern