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

  • 2007.10d
  • /
  • Pages.140-145
  • /
  • 2007
  • /
  • 1598-5164(pISSN)
Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

The Specification and Verification of RFID Security Protocols Using AVISPA

AVISPA을 이용한 RFID 보안 프로토콜의 명세 및 검증

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

Abstract

최근 유비쿼터스 컴퓨팅에 관한 연구가 활발히 진행됨에 따라 핵심 기술인 RFID 프로토콜에 대한 연구가 활발히 진행되고 있다. 그러나 RF를 사용하며 무선통신을 함으로써 악의적인 공격자에 노출되는 보안상의 문제점이 발생한다. 본 논문은 기존의 RFID 보안 프로토콜의 문제점을 분석하여 새로운 프로토콜을 제안한다. 그리고 제안된 프로토콜을 AVISPA로 정형 명세하고 보안성을 정형 검증하여 안전함을 보여준다.

Keywords