정형검증을 통한 RFID 보안프로토콜 분석 및 구현

Analysis and Implementation of RFID Security Protocol using Formal Verification

  • 김현석 (고려대학교 컴퓨터학과) ;
  • 김주배 (고려대학교 컴퓨터학과) ;
  • 한근희 (행정자치부 전자정부 보안팀) ;
  • 최진영 (고려대학교 컴퓨터학과)
  • Kim, Hyun-Seok (Dept. of Computer Science and Engineering, Korea University) ;
  • Kim, Ju-Bae (Dept. of Computer Science and Engineering, Korea University) ;
  • Han, Keun-Hee (e-Government Security Team, Ministry of Government Administration and Home Affairs) ;
  • Choi, Jin-Young (Dept. of Computer Science and Engineering, Korea University)
  • 발행 : 2007.10.26

초록

RFID(Radio Frequency Identification : 무선주파수식별) 기술은 유비쿼터스 구조 기술의 중요한 한 부분을 이루고 있다. 태그를 이용한 모든 제품들이 이러한 서비스의 대상이 되고 있지만 불행이도 다방면에 이용되는 이면에는 사용자의 사생활과 사용자 밀 판매자간의 인증문제를 이용한 서비스 공격 대상이 되고 있다. 현재 이러한 RFID 시스템의 보안 메커니즘들은 매우 중요하며 본 논문에서는 여러가지 메커니즘들 중 보안 프로토콜을 이용한 사생활과 인증문제 해결을 위해 정형검증을 통해 분석하고 새로운 프로토콜을 제안 및 구현가능성을 언급하고자 한다.

키워드