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

  • 2004.10c
  • /
  • Pages.46-48
  • /
  • 2004
  • /
  • 1598-5164(pISSN)
Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

The Vulnerability Analysis of a Security Protocol in Mobile Systems

이동 시스템 기반 보안 프로토콜의 취약성 분석

  • Published : 2004.10.01
Download PDF
⟨ Previous Next ⟩

Abstract

무선 이동 시스템을 기반으로 안전한 키 교환 및 사용자 인증을 위한 다양한 보안 프로토콜이 제시되고 있다. 무선 이동 시스템 기반 보안프로토콜은 유선기반 보안프로토콜과 다르게 공개키와 대칭키가 혼합된 암호화 방식을 사용하고 있다. 본 논문에서는 이동 시스템 환경에서 동작하는 BCY 프로토콜의 안전성을 분석하기 위한 기술에 대해 언급하고, Casper/CSP 언어 및 FDR 도구를 이용하여 보안 취약성을 분석하고자 하였다.

Keywords