Development of security Model Verification Tool

보안모델 및 정형검증 도구 개발

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

Abstract

보안 시스템에 대해서 고등급 평가를 받기 위해서는 정형적 방법론을 사용하여, 보안 모델을 설계하고, 보안 속성을 정확히 기술해야만 한다. 본 논문에서는 정형적 설계 방법을 통해 보안모델을 설계하고 검증하기 위한, SPR(Safety Problem Resolver) 정형검증도구의 검증방법 및 기능에 대해 소개하고자 한다.

Keywords