한국정보과학회:학술대회논문집 (Proceedings of the Korean Information Science Society Conference)

한국정보과학회 (Korean Institute of Information Scientists and Engineers)
권호 표지

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

Development of security Model Verification Tool

  • 김일곤 (고려대학교 컴퓨터학과) ;
  • 최진영 (고려대학교 컴퓨터학과) ;
  • 강인혜 (서울시립대학교 기계정보공학과) ;
  • 강필용 (한국정보보호진흥원) ;
  • 이완석 (한국정보보호진흥원) ;
  • ;
  • ;
  • ;
  • ;
  • ;
  • Dmitry P. Zegzhda (St. Petersburg State Polytechnical University)
  • 발행 : 2003.10.01
PDF 다운로드
⟨ 이전 논문 다음 논문 ⟩

초록

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

키워드