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

  • 2003.10a
  • /
  • Pages.721-723
  • /
  • 2003
  • /
  • 1598-5164(pISSN)
Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

A Study on Formal Design of Access Control Model using SMV

SMV를 이용한 접근통제모델의 정형적 설계방법 연구

  • Published : 2003.10.01
Download PDF
⟨ Previous Next ⟩

Abstract

컴퓨터 시스템에 대한 보안의 필요성이 계속적으로 증대되고 있으며 이에 다양한 보안시스템들이 개발되고 있다. 이러한 보안 시스템들이 높은 등급의 평가를 받기 위해서는 정형적 방법론을 사용하여 명세 및 검증을 해야 한다. 본 논문에서는 정형 검증의 한 방법론인 모델 체킹을 이용하여 접근통제모델을 설계하고 검증하는 방법을 제안하고자 한다.

Keywords