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

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

Formal Design of Intrusion Detection Mechanism using SPIN

SPIN을 이용한 침입탐지 메커니즘의 정형적 설계방법

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

Abstract

고 등급의 침입 탐지 시스템 평가를 받기 위해서는 반드시 정형적인 방법론을 적용하여 시스템을 설계하고 검증해야 한다. 그러나 침입 탐지 시스템의 설계에 적합한 정형기법을 선정하기는 매우 어렵다. 본 논문에서는 정형 기법의 일종인 모델 체킹 방법론을 침입 탐지 메커니즘의 설계에 적용하는 방법을 제안하고. 고 등급 침입 탐지 시스템의 개발에 사용할 수 있는 방향을 제시한다.

Keywords