Model Verification of a Safe Security Authentication Protocol Applicable to RFID System

RFID 시스템에 적용시 안전한 보안인증 프로토콜의 모델검증

  • 배우식 (아주자동차대학 전산실) ;
  • 정석용 (동양미래대학교 전산정보학부) ;
  • 한군희 (백석대학교 정보통신학부)
  • Received : 2013.03.04
  • Accepted : 2013.04.20
  • Published : 2013.04.28


RFID is an automatic identification technology that can control a range of information via IC chips and radio communication. Also known as electronic tags, smart tags or electronic labels, RFID technology enables embedding the overall process from production to sales in an ultra-small IC chip and tracking down such information using radio frequencies. Currently, RFID-based application and development is in progress in such fields as health care, national defense, logistics and security. RFID structure consists of a reader that reads tag information, a tag that provides information and the database that manages data. Yet, the wireless section between the reader and the tag is vulnerable to security issues. To sort out the vulnerability, studies on security protocols have been conducted actively. However, due to difficulties in implementation, most suggestions are concerned with theorem proving, which is prone to vulnerability found by other investigators later on, ending up in many troubles with applicability in practice. To experimentally test the security of the protocol proposed here, the formal verification tool, CasperFDR was used. To sum up, the proposed protocol was found to be secure against diverse attacks. That is, the proposed protocol meets the safety standard against new types of attacks and ensures security when applied to real tags in the future.