• DocumentCode
    153256
  • Title

    Structural Analysis of the Check Point Pattern

  • Author

    Alzahrani, Abdullah A. H. ; Eden, Amnon H. ; Yafi, Majd Zohri

  • Author_Institution
    Sch. of Comput. Sci. & Electron. Eng., Univ. of Essex, Colchester, UK
  • fYear
    2014
  • fDate
    7-11 April 2014
  • Firstpage
    404
  • Lastpage
    408
  • 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.
  • Keywords
    checkpointing; formal languages; security of data; check point pattern; codecharts; formal language; intuitive claims; security pattern catalogues; structural analysis; two-tier programming toolkit; Educational institutions; Java; Object oriented modeling; Security; Software; Unified modeling language; Codecharts; Security patterns; design pattern; design verification; formal languages;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Service Oriented System Engineering (SOSE), 2014 IEEE 8th International Symposium on
  • Conference_Location
    Oxford
  • Type

    conf

  • DOI
    10.1109/SOSE.2014.56
  • Filename
    6830938
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=153256