한국정보처리학회:학술대회논문집 (Proceedings of the Korea Information Processing Society Conference)
- 한국정보처리학회 2002년도 춘계학술발표논문집 (하)
- /
- Pages.849-852
- /
- 2002
- /
- 2005-0011(pISSN)
- /
- 2671-7298(eISSN)
Z 언어를 이용한 보안시스템의 명세 규칙
A Study on the Specification Rules for Security Systems in 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)
- 발행 : 2002.04.12
초록
전통적으로 소프트웨어 공학분야에서는 소프트웨어 설계 및 개발을 위한 자동화도구와 정형화기법이 적용되었으며, 안전한 보안시스템의 개발을 위해서도 수학적인 명세와 검증도구를 사용하는 경우, 보다 안전하고 완전한 보안시스템을 구축할 수 있다. 본 연구는 정형화 명세언어인 Z를 이용하여 보안시스템을 기술하고, 기술된 명세를 소프트웨어 검증도구를 이용하여 보안시스템이 제공하는 보안특성 만족 여부 점검을 목적으로 한다. 이를 위해 본 논문에서는 수학적으로 기술된 시스템에 대한 명세를 Z스키마로 변환하는 변환규칙을 기술하고, 이와 함께 Z언어 검증도구인 Z/EVES를 이용한 검증결과를 제시한다.
키워드