Looking at a class of RFID APs through GNY logic. (19th March 2010)

• Record Type: Journal Article
• Authors: Zhang, Xiaowen; Gao, Qinghai; Saad, Mohamed K.
• Is Part Of: International journal of security and networks. Volume 5:Number 2/3(2010)
• Page Start: 135
• Page End: 146
• Publication Date: 2010-03-19
• Subjects: low cost RFID -- radio frequency identification -- RFID authentication protocols -- GNY logic -- formal method -- CRAP -- LCAP -- OHLCAP -- O-TRAP -- YA-TRAP -- hash -- encryption -- network security; Computer networks -- Security measures -- Periodicals; 005.805
• Languages: English
• ISSNs: 1747-8405

Abstract

Radio Frequency Identification Authentication Protocols (RFID APs) are an active research topic and many protocols have been proposed. In this paper, we consider a class of recently proposed lightweight RFID authentication protocols: CRAP, LCAP, OHLCAP, O-TRAP, YA-TRAP, and YA-TRAP+, which are claimed to be resistant to conventional attacks and suitable for low cost RFID device scenarios. We examine them using GNY logic to determine whether they can be proved to have achieved their protocol goals. We show that most of them meet their goals, though some do not. Furthermore this approach enables us to identify similarities and subtle differences among these protocols. Finally, we offer guidelines on when it is necessary to use encryption rather than hash functions in the design of RFID authentication protocols.