Proceedings of the Korea Information Processing Society Conference (한국정보처리학회:학술대회논문집)

  • 2002.04b
  • /
  • Pages.849-852
  • /
  • 2002
  • /
  • 2005-0011(pISSN)
  • /
  • 2671-7298(eISSN)
Korea Information Processing Society (한국정보처리학회)
권호 표지

A Study on the Specification Rules for Security Systems in Z

Z 언어를 이용한 보안시스템의 명세 규칙

  • Kim, Myong-Jae (Dept. of Information Security, Chonnam National University) ;
  • Lee, Hyong-Hyo (Division of Information and Electronic Commerce, Wonkwang University) ;
  • Noh, Bong-Nam (Dept. of Computer Science, Chonnam National University)
  • 김명재 (전남대학교 정보보호협동과정) ;
  • 이형효 (원광대학교 정보.전자상거래학부) ;
  • 노봉남 (전남대학교 전산학과)
  • Published : 2002.04.12
Download PDF
⟨ Previous Next ⟩

Abstract

전통적으로 소프트웨어 공학분야에서는 소프트웨어 설계 및 개발을 위한 자동화도구와 정형화기법이 적용되었으며, 안전한 보안시스템의 개발을 위해서도 수학적인 명세와 검증도구를 사용하는 경우, 보다 안전하고 완전한 보안시스템을 구축할 수 있다. 본 연구는 정형화 명세언어인 Z를 이용하여 보안시스템을 기술하고, 기술된 명세를 소프트웨어 검증도구를 이용하여 보안시스템이 제공하는 보안특성 만족 여부 점검을 목적으로 한다. 이를 위해 본 논문에서는 수학적으로 기술된 시스템에 대한 명세를 Z스키마로 변환하는 변환규칙을 기술하고, 이와 함께 Z언어 검증도구인 Z/EVES를 이용한 검증결과를 제시한다.

Keywords