Formal security policy model for a common criteria evaluation

Junkil Park, Jin Young Choi

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Abstract

The Common Criteria(CC) is an international standard for evaluating secure computer systems. The CC defines seven distinct Evaluation Assurance Levels (EALs). The three highest EALs, the so-called high-assurance levels, require some degree of formalism in development. The Security Policy Model (SPM) is one of the documents required in formalism in high-assurance levels. It is difficult to develop the formal SPM because the CC doesn't specify how to make the document and industries have rarely published it. This paper shows a guideline for the development formal SPM and provides an example of formal SPM using Z, and proves consistency and completeness of the SPM.

Original languageEnglish
Title of host publication9th International Conference on Advanced Communication Technology, ICACT 2007
Pages277-281
Number of pages5
DOIs
Publication statusPublished - 2007
Event9th International Conference on Advanced Communication Technology, ICACT 2007 - Gangwon-Do, Korea, Republic of
Duration: 2007 Feb 122007 Feb 14

Publication series

NameInternational Conference on Advanced Communication Technology, ICACT
Volume1
ISSN (Print)1738-9445

Other

Other9th International Conference on Advanced Communication Technology, ICACT 2007
CountryKorea, Republic of
CityGangwon-Do
Period07/2/1207/2/14

ASJC Scopus subject areas

  • Electrical and Electronic Engineering

Fingerprint Dive into the research topics of 'Formal security policy model for a common criteria evaluation'. Together they form a unique fingerprint.

  • Cite this

    Park, J., & Choi, J. Y. (2007). Formal security policy model for a common criteria evaluation. In 9th International Conference on Advanced Communication Technology, ICACT 2007 (pp. 277-281). [4195134] (International Conference on Advanced Communication Technology, ICACT; Vol. 1). https://doi.org/10.1109/ICACT.2007.358355