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

  • 2010.11a
  • /
  • Pages.280-282
  • /
  • 2010
  • /
  • 2005-0011(pISSN)
  • /
  • 2671-7298(eISSN)
Korea Information Processing Society (한국정보처리학회)
권호 표지
DOI QR코드

DOI QR Code

Security Improvement of Crisis Response Manual using Formal Methods

정형기법을 통한 위기대응 매뉴얼 신뢰성 향상

  • Jeong, Kum-Taek (Dept. of Computer Science & Engineering, Korea University) ;
  • Lee, Hyuk (Dept. of Computer Science & Engineering, Korea University) ;
  • Seo, Suk (Dept. of Computer Science & Engineering, Korea University) ;
  • Choi, Jin-Young (Dept. of Computer Science & Engineering, Korea University)
  • 정금택 (고려대학교 컴퓨터학과) ;
  • 이혁 (고려대학교 컴퓨터학과) ;
  • 서석 (고려대학교 컴퓨터학과) ;
  • 최진영 (고려대학교 컴퓨터학과)
  • Published : 2010.11.12
Download PDF
⟨ Previous Next ⟩

Abstract

위기대응 매뉴얼은 지진, 태풍 등 상황에 적절하게 적용되며 신뢰성 있게 작동한다는 것이 보장되어야 한다. 따라서 위기대응 매뉴얼의 검증은 필수적이며, 이를 위해 본 논문에서는 정형기법 도구인 Statemate를 이용한 명세, 검증 및 신뢰성 개선방안을 제시한다. 모델체킹을 통해서 매뉴얼 사용자들의 임의적인 판단을 일의킬 수 있는 Non-Determinism과 대응 매뉴얼이 달성하고자 하는 목표의 도달여부에 대해 검증을 수행할 수 있으며, 이외에도 사용자가 원하는 검증 속성을 Temporal Logic으로 작성해서 검증할 수 있다. 또한 도구에서 지원하는 시뮬레이션을 통해 제한적이지만 조치내용의 적절성 여부와 추가적으로 발생 가능한 트리거를 찾음으로써 위기대응 매뉴얼의 신뢰성을 향상시킬 수 있다.

Keywords