RFID 인증을 위한 해쉬함수 기반의 네트워크 보안 프로토콜 = Hash-based Network Security Protocol For RFID Authentication

국문 초록 (Abstract)

RFID는 무선주파수를 이용하여 부착된 태그의 정보를 얻어올 수 있는 시스템이다. 향후에 바코드를 대체할 RFID는 식품,가전,출판,물류,재고관리,교통 등 우리생활의 전반에 걸쳐 사용될 획기적인 시스템이지만, 개인,상품 등의 프라이버시의 노출로 인한 심각한 문제가 발생될 소지가 있다. 이를 해결하기 위하여 암호화 기법, 해쉬 락 기법, 해쉬 체인 기법 등이 제안되었다. 본 논문에서는 기존에 제시되었던 인증기법들에 대해서 알아보고, 해쉬함수와 공통키를 이용하여 좀더 안전한 방법으로 리더와 태그간의 통신을 인증할 수 있는 프로토콜을 제안한다.

목차 (Table of Contents)

• 제 목 차 례
• Ⅰ. 서론
• Ⅱ. RFID 시스템
• 2.1 RFID 구성
• 2.2 태그 종류
• 2.3 태그의 분류 및 특징
• 2.4 전송 주파수에 따른 분류
• 2.5 Privacy 문제
• 2.6 RFID 시스템의 보안 요구사항
• Ⅲ. 기존 RFID 인증 프로토콜
• 3.1 Kill 명령어 기법
• 3.2 Blocker 태그 기법
• 3.3 재암호화 방법
• 3.4 Hash Lock 방법
• 3.5 Hash-Chain 방법
• 3.6 공통키를 이용하는 방법
• Ⅳ. Casper와 FDR 도구를 이용한 보안 프로토콜 검증방법
• 4.1 Casper (A Compiler for the Analysis of Security Protocols)
• 4.2 FDR (Failure Divergence Refinement)
• Ⅴ. 제안 RFID 인증 프로토콜
• 5.1 용어 설명
• 5.2 전제조건
• 5.3 제안 프로토콜의 인증과정
• Ⅵ. Casper 명세
• Ⅶ. 프로토콜의 안전성 분석
• Ⅷ. 결론 및 향후 연구방향
• 참고문헌
• 그림 차례
• [ 그림 1 ] RFID 시스템 구성도
• [ 그림 2 ] RFID Tag
• [ 그림 3 ] 컨테이너의 태그 부착
• [ 그림 4 ] Blocker Tag의 모습
• [ 그림 5 ] Hash Lock 기법
• [ 그림 6 ] Hash Chain 기법
• [ 그림 7 ] Casper/FDR 도구를 이용한 보안프로토콜 설계 및 검증
• [ 그림 8 ] 제안 프로토콜의 인증과정
• 표 차례
• [ 표 1 ] RFID 태그의 종류
• [ 표 2 ] 전송 주파수에 따른 분류