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

  • 2007.06d
  • /
  • Pages.109-114
  • /
  • 2007
  • /
  • 1598-5164(pISSN)
Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

Cryptanalysis of RFID System using Model Checking

모델체킹을 이용한 RFID 시스템 보안분석

  • Kim, Hyun-Seok (Dept. of Computer Science and Engineering, Korea University) ;
  • Oh, Jung-Hyun (Dept. of Computer Science and Engineering, Korea University) ;
  • Choi, Jin-Young (Dept. of Computer Science and Engineering, Korea University)
  • Published : 2007.06.25
Download PDF
⟨ Previous Next ⟩

Abstract

RFID 기술은 유비쿼터스 환경의 편리성을 위한 목적을 쉽게 이룰 수 있는 기술로 현재 주목 받고 있으며 많은 장점을 가지고 있다. 이러한 RFID 환경에서 가장 보안적인 문제를 갖는 것은 RFID 태그에 저장 관리되어지는 식별 정보에 대한 프라이버시 침해 문제의 보호이다. 본 논문에서는 정형검증 방법인 모델 체킹을 이용하여 RFID 태그와 리더기간의 상호 인증 및 태그의 식별 정보에 대한 안전성을 분석하기 위해 RFID 보안 프로토콜의 취약성 분석 및 수정된 프로토콜을 제안함으로써 안전한 유비쿼터스 네트워크 환경을 구축하고자 한다.

Keywords