한국정보과학회:학술대회논문집 (Proceedings of the Korean Information Science Society Conference)
- 한국정보과학회 2007년도 한국컴퓨터종합학술대회논문집 Vol.34 No.1 (D)
- /
- Pages.109-114
- /
- 2007
- /
- 1598-5164(pISSN)
모델체킹을 이용한 RFID 시스템 보안분석
Cryptanalysis of RFID System using Model Checking
- 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)
- 발행 : 2007.06.25
초록
RFID 기술은 유비쿼터스 환경의 편리성을 위한 목적을 쉽게 이룰 수 있는 기술로 현재 주목 받고 있으며 많은 장점을 가지고 있다. 이러한 RFID 환경에서 가장 보안적인 문제를 갖는 것은 RFID 태그에 저장 관리되어지는 식별 정보에 대한 프라이버시 침해 문제의 보호이다. 본 논문에서는 정형검증 방법인 모델 체킹을 이용하여 RFID 태그와 리더기간의 상호 인증 및 태그의 식별 정보에 대한 안전성을 분석하기 위해 RFID 보안 프로토콜의 취약성 분석 및 수정된 프로토콜을 제안함으로써 안전한 유비쿼터스 네트워크 환경을 구축하고자 한다.
키워드