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

  • 2006.06c
  • /
  • Pages.301-303
  • /
  • 2006
  • /
  • 1598-5164(pISSN)
Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

Safety Analysis and Design of the RFID Authentication Protocol Using Theorem Proving

정리증명을 이용한 RFID 인증 프로토콜 설계 및 검증

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

Abstract

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

Keywords