Security improvement in authentication protocol for gen-2 based RFID system

Journal of Convergence Information Technology

Volumn 6, Issue 1, 2011, Pages 157-169

  Wang, Liangmin ^a   Yi, Xiaoluo ^a   Lv, Chao ^b   Guo, Yuanbo ^c  

^a JIANGSU UNIVERSITY   (China)

^b XIDIAN UNIVERSITY   (China)

^c INFORMATION ENGINEERING UNIVERSITY   (China)

Author keywords

Authentication protocol; BAN logic; Formal verification; RFID system

Indexed keywords

AUTHENTICATION; COMPUTATION THEORY; COMPUTER CIRCUITS; FORMAL VERIFICATION; HASH FUNCTIONS;

AUTHENTICATION PROTOCOLS; BAN LOGIC; MUTUAL AUTHENTICATION PROTOCOLS; RFID AUTHENTICATION PROTOCOLS; RFID SYSTEMS; SECURITY AUTHENTICATION; SECURITY IMPROVEMENT; SECURITY REQUIREMENTS;

RADIO FREQUENCY IDENTIFICATION (RFID);

EID: 79952396973     PISSN: 19759320     EISSN: None     Source Type: Journal    
DOI: 10.4156/jcit.vol6.issue1.18     Document Type: Article

References (21)

1. EPCglobal,http://www.EPCglobalinc.org/
2. D N Duc, J Park, H Lee, K Kim. Enhancing Security of EPCglobal EPC Class 1 Generation 2 RFID Tag against Traceability and Cloning, The 2006 Symposium on Cryptography and Information Security. Berlin: Springer, 2006.
3. A Juels. RFID Security and Privacy: A Research Survey [J]. IEEE Journal on Selected Areas in Communications. 2006.24(2):381-394.
4. M Ohkubo, K Suzki, S Kinoshita. Cryptographic approach to "Privacy-Friendly" Tags[C]. In RFID Privacy Workshop, MIT, MA, USA, 2003.http://www.rfidprivacy.us/2003/agenda.php.
5. A Henrici, P Muller. Hash-based Enhancement of Location Privacy for Radio-frequency Identification Devices Using Varying Identifiers[C]. In Proceedings of the Second IEEE Annual Conference on Pervasive Computing and Communications Workshops. 2004:149-153
6. B Song, C Mitchell. RFID Authentication Protocol for Low-cost Tags [C]. In Proceedings of the First ACM Conference on Wireless Network Security.2008:140-147
7. S Weis, S Sarma, R Rivest, D W Engels. Security and Privacy Aspects of Low-cost Radio Frequency Identification Systems[C], In Proceedings of the First Security in Pervasive Computing. Berlin: Springer, 2003: 454-469.
8. Datasheet Helion Technology. MD5, SHA-1, SHA-256 Hash core for Asic. http://www.heliontech.com, 2005.
9. K Yksel, J P Kaps, B Sunar. Universal Hash Functions for Emerging Ultra-low-power Networks[C]. In Proceedings of The Communications Networks and Distributed Systems Modeling and Simulation Conference (CNDS). San Diego, CA. 2004.
10. H Chien, C Chen. Mutual authentication Protocol for RFID Conforming to EPC Class 1 Generation-2 Standard, Computer Standards & Interfaces, 2007.29(2):254-259
11. J Wu, D Stinson. How to Ensure Forward and Backward Security of RFID Identification Schemes by Using a Robust PRBG. Cryptology ePrint Archive, Report 2008/201, 2008. http://eprint.iacr.org/.
12. P Pedro, C Julio, M Juan, A Ribagorda. An Ultra Light Authentication Protocol Resistant to Passive Attacks under the Gen-2 Specification [J]. J. Inf. Sci. Eng.2009. 25(1): 33-57
13. S Karthikeyan, M Nesterenko. RFID Security without Extensive Cryptography[C], In Proceedings of the 3rd ACM Workshop on Security of AdHoc and Sensor Networks, 2005:63-67.
14. C Chen, Y Deng. Conformation of EPC Class 1 Generation 2 Standards RFID system with Mutual Authentication and Privacy Protection [J]. Engineering Applications of Artificial Intelligence,In Press, doi:10.1016/j.engappai.2008.10.022
15. Q Cai, Y Zhan, Y Wang. A Minimalist Mutual Authentication Protocol for RFID system and BAN logic Analysis[C]. In Proceedings of the 2008 ISECS International Colloquium on Computing, Communication, Control, and Management.2008.2: 449-453
16. E Choi, D Lee, J Lim. Anti-cloning Protocol Suitable to EPCglobal Class-1 Generation-2 RFID Systems [J]. Computer Standards & Interfaces.2009.31(6):1124-1130
17. H Sun, W Ting. A Gen2-based RFID Authentication Protocol for Security and Privacy[C]. IEEE Transactions on Mobile Computing.2009.8(8):1052-1062
18. D Han, D Kwon. "Vulnerability of an RFID authentication protocol conforming to EPC Class 1 Generation 2 Standards" Computer Standards & Interfaces[J]. 2009.31(4):648-652
19. M Burrows, M Abadi, R Needham. A Logic of Authentication[J]. ACM Transactions on Computer Systems (TOCS). 1990.8(1): 18-36
20. AVISPA v1.1 User Manual, 2006
21. The High Level Protocol Specification Language, 2001