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

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

Verification of RFID Security Protocol using Model Checking

모델체킹을 이용한 RFID 보안프로토콜 검증

  • Kim, Joo-Bae (Dep. Of Computer Science & Engineering, Korea University) ;
  • Kim, Hyun-Seok (Dep. Of Computer Science & Engineering, Korea University) ;
  • Choi, Jin-Young (Dep. Of Computer Science & Engineering, Korea University)
  • Published : 2007.10.26
Download PDF
⟨ Previous Next ⟩

Abstract

무선 네트워크를 사용하는 RFID 시스템은 정보 유출에 취약하다. 하지만 하드웨어적인 제약으로 인해 물리적인 방법을 통한 보안 안전성 확보가 용이하지 않으므로, 경량화된 보안 프로토콜을 필요로 한다. 이에 본 논문에서는 리더간 네트워크 기술을 이용한 RFID 시스템을 위해 제안된 보안 프로토콜을 정형기법을 기반으로 하는 모델 체킹 방법을 통해 검증하였으며, 신뢰성 있는 보안 프로토콜을 적용한 RFID 시스템을 구축할 수 있도록 하였다.

Keywords