Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)
- 2007.10a
- /
- Pages.92-93
- /
- 2007
- /
- 1598-5164(pISSN)
Analysis and Implementation of RFID Security Protocol using Formal Verification
정형검증을 통한 RFID 보안프로토콜 분석 및 구현
- 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)
- Published : 2007.10.26
Abstract
RFID(Radio Frequency Identification : 무선주파수식별) 기술은 유비쿼터스 구조 기술의 중요한 한 부분을 이루고 있다. 태그를 이용한 모든 제품들이 이러한 서비스의 대상이 되고 있지만 불행이도 다방면에 이용되는 이면에는 사용자의 사생활과 사용자 밀 판매자간의 인증문제를 이용한 서비스 공격 대상이 되고 있다. 현재 이러한 RFID 시스템의 보안 메커니즘들은 매우 중요하며 본 논문에서는 여러가지 메커니즘들 중 보안 프로토콜을 이용한 사생활과 인증문제 해결을 위해 정형검증을 통해 분석하고 새로운 프로토콜을 제안 및 구현가능성을 언급하고자 한다.
Keywords