期刊名称：International Journal of Computer and Information Technology
印刷版ISSN：2279-0764
出版年度：2016
卷号：5
期号：1
页码：25
出版社：International Journal of Computer and Information Technology
摘要：Radio Frequency Identification (RFID) is becoming an integral part of the society. It is capable of contactless communication and it is replacing barcodes. However with the introduction of RFID, new security threats are also introduced. In this paper, we propose a new protocol that builds on an existing protocol that was proposed in [4]. The protocol proposed in in an earlier work was chosen because it is lightweight and it can work in low cost RFID tags unlike most of the others. The new protocol named SMAP – Secure Mutual Authentication Protocol makes use of Psuedo-random number generator instead of cyclic redundancy check (CRC) because of bad linear properties CRC has. SMAP is needed at this time because most of the other protocols were discovered to be flawed and insecure. A lot of the existing protocols were also not truly applicable to low cost RFID tags. The new protocol is simulated and formally verified with CASPERFDR, a formal protocol verifier.
