Proceedings of the Korea Institutes of Information Security and Cryptology Conference (한국정보보호학회:학술대회논문집)

Korea Institute of Information Security and Cryptology (한국정보보호학회)
권호 표지

Formal Modeling for Security System and the Development of Formal Verification Tool for Safety Property

보안시스템의 정형화설계 및 안전성 검증 도구 개발

  • ;
  • ;
  • ;
  • ;
  • ;
  • Dmitry P. Zegzhda (St-Petersburg State Polytechnical University)
  • 김일곤 (고려대학교, 컴퓨터학과) ;
  • 최진영 (고려대학교, 컴퓨터학과) ;
  • 강인혜 (서울시립대학교, 기계정보공학과) ;
  • 강필용 (한국정보보호진흥원) ;
  • 이완석 (한국정보보호진흥원) ;
  • Published : 2003.12.01
Download PDF
⟨ Previous Next ⟩

Abstract

보안 시스템의 안전성을 분석하기 위해서는, 정형적 방법론을 사용하여 보안 시스템에 대한 이론적인 수학적 모델을 정형적으로 설계하고, 보안 속성을 정확히 기술해야만 한다. 본 논문에서는 보안 시스템의 안전성을 검증하기 위한 보안모델의 구성요소와 안전성 검증방법을 설명한다. 그리고 보안모델을 설계하고 안전성을 분석하기 위한 SEW(Safety Evaluation Workshop)의 전체 구조와 SPR(Safety Problem Resolver) 정형검증도구의 검증방법 및 기능에 대해 소개하고자 한다.

Keywords