Analysis and Implementation of RFID Security Protocol using Formal Verification
Hyunseok Kim, Ju-Bae Kim, Keun-Hee Han, Jin‐Young Choi · Jeongbo gwahaghoe nonmunji. si'seu'tem mich i'lon · 2008
Radio Frequency Identification (RFID) technology is an important part of infrastructures in ubiquitous computing. Although all products using tags is a target of these services, these products also are a target of attacking on user privacy and services using authentication problem between user and merchant, unfortunately. Presently, it is very important about security mechanism of RFID system and in this paper, we analyze the security protocol among many kinds of mechanisms to solve privacy and authentication problem using formal verification and propose a modified novel protocol. In addition, the possibility of practical implementation for proposed protocol will be discussed.