Proceedings of the Korea Information Processing Society Conference (한국정보처리학회:학술대회논문집)

  • 2006.05a
  • /
  • Pages.999-1002
  • /
  • 2006
  • /
  • 2005-0011(pISSN)
  • /
  • 2671-7298(eISSN)
Korea Information Processing Society (한국정보처리학회)
권호 표지

Safety Analysis of the RFID Authentication Protocol using Model Checking

모델 체킹을 이용한 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.05.01
Download PDF
⟨ Previous Next ⟩

Abstract

RFID 시스템의 보안적 취약점을 보안하기 위해 많은 프로토콜이 제안되었지만, 아직까지 완벽하게 보안성과 경제성을 모두 만족시키지 못하였다. 본 논문에서는 RFID 시스템의 보안적 취약점을 보안하기 위해 제안된 보안 프로토콜의 안전성 만족 여부를 정형기법을 이용하여 검증을 실시하고, 발전방향에 대해 제시하였다.

Keywords