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

  • 2000.10a
  • /
  • Pages.596-598
  • /
  • 2000
  • /
  • 1598-5164(pISSN)
Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

Formal Methods for Developing High-Grade Secure System

고등급 보안 시스템 개발을 위한 정형기법

  • 유희준 (고려대학교 컴퓨터학과 정형기법연구실) ;
  • 김영미 (고려대학교 컴퓨터학과 정형기법연구실) ;
  • 최진영 (고려대학교 컴퓨터학과 정형기법연구실) ;
  • 서동수 (성신여자대학교 전산학과) ;
  • 노병규 (한국정보보호센터)
  • Published : 2000.10.01
Download PDF
⟨ Previous Next ⟩

Abstract

현대 사회는 인터넷 기술의 비약적인 발전으로 인하여 실생활에서 이루어지던 거의 모든 작업들이 인터넷상에서 이루이지는 전자사회(E-society)가 형성되고 있다. 이런 과정에서 발생한 중요한 문제중의 하나가 불특정 다수가 자유로이 통신을 하기 위해 개발된 인터넷상에서 보안을 해결하는 것이다. 이 문제를 해결하기 위하여 많은 보안 관련 시스템들이 개발되고 있는 실정이고, 세계 각국의 표준 기구에서는 이러한 시스템에 대한 등급을 평가하고 있다. 각 등급을 살펴보면, 시스템 개발 초기부터 정형기법을 이용하여 개발되어진 시스템들이 고등급을 획득하고 있다. 국내에서도 한국정보보호센터(KISA)에서 보안 시스템에 대한 등급을 평가하고 있다. 본 논문에서는 높은 보안 등급의 IPSec 관련 시스템을 개발하기 위해서 개발단계에서 어떠한 정형기법들이 적용될 수 있는지를 살펴보겠다.

Keywords