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

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

The Specification and Verification Using SPSL about NTFS's Multiuser Privileges

SPSL을 이용한 NTFS 다중 사용 권한에 대한 명세 및 검증

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

Abstract

시스템의 안전성을 평가하기 위해 프롤로그 기반의 명세 언어인 SPSL을 사용하여 보안 모델을 정형적으로 설계하였다. 보안 모델은 시스템의 3가지 컴포넌트, 시스템 보안 상태(system security states), 접근 통제 규칙(access control rules), 그리고 보안 기준(security criteria)으로 구성된다. 본 논문에서는 NTFS의 다중 사용 권한에 대한 보안 모델을 만들어서 3가지 컴포넌트를 명세하고 안전성 문제 해결 도구인 SPR［1］을 이용하여 검증하였다.

Keywords