한국정보처리학회:학술대회논문집 (Annual Conference of KIPS)

한국정보처리학회 (Korea Information Processing Society)
권호 표지

모델 체킹을 이용한 RFID 인증 프로토콜 안전성 분석

Safety Analysis of the RFID Authentication Protocol using Model Checking

  • Oh Jung-Hyun (Dept. of Computer Science and Engineering, Korea University) ;
  • Choi Jin-Young (Dept. of Computer Science and Engineering, Korea University)
  • 발행 : 2006.05.01
PDF 다운로드
⟨ 이전 논문 다음 논문 ⟩

초록

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

키워드