Majd Zohri Yafi

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
—We investigate intuitive claims made in security pattern catalogues using the formal language of Co-decharts 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(More)
  • 1