정리증명을 이용한 RFID 인증 프로토콜 설계 및 검증 = Safety Analysis and Design of the RFID Authentication Protocol Using Theorem Proving

국문 초록 (Abstract)

RFID기술은 RF를 이용하여 자동적으로 사물의 정보를 획득할 수 있는 매우 편리한 기술이다. 하지만 악의적인 공격자에 의해 사물의 의도적으로 노출이 될 수 있는 문제를 지니고 있다. 이러한 RFID 시스템의 보안적 취약점을 보안하기 위해 많은 프로토콜들이 제안되었지만, 아직까지 완벽하게 보안성과 경제성을 모두 만족시키지 못하였고, 직관적인 방법에 의해 제안 프로토콜들을 검증하여 명확한 검증이 이뤄졌다고 할 수 없다. 본 논문에서는 새로운 RFID 인증 프로토콜을 제안하고 직관적인 검증이 아닌 정형기법을 이용하여 프로토콜의 보안성을 검증하였다.

목차 (Table of Contents)

• 요약
• 1. 서론
• 2. 관련연구
• 3. 제안 프로토콜
• 4. 결론
• 5. 참고문헌