Looking at a class of RFID APs through GNY logic

International Journal of Security and Networks

Volumn 5, Issue 2-3, 2010, Pages 135-146

  Zhang, Xiaowen ^a   Gao, Qinghai ^b   Saad, Mohamed K ^a  

^a City University of New York   (United States)

^b FARMINGDALE STATE COLLEGE   (United States)

Author keywords

Authentication protocol; CRAP; Encryption; Formal method; GNY logic; Hash; LCAP; Network security; O TRAP; OHLCAP; RFID; YA TRAP

Indexed keywords

AUTHENTICATION; COMPUTER CIRCUITS; CRYPTOGRAPHY; FORMAL METHODS; HASH FUNCTIONS; NETWORK PROTOCOLS; RADIO FREQUENCY IDENTIFICATION (RFID);

AUTHENTICATION PROTOCOLS; CRAP; GNY LOGIC; HASH; LCAP; OHLCAP; YA-TRAP;

NETWORK SECURITY;

EID: 77949713022     PISSN: 17478405     EISSN: 17478413     Source Type: Journal    
DOI: 10.1504/IJSN.2010.032212     Document Type: Article

References (36)

1. Abadi, M. and Tuttle, M. (1991) 'A semantics for a logic of authentication', Proc. 10th Annual ACM Symposium on Principles of Distributed Computing, Montreal, Canada, pp.201-216.
2. Anshel, I., Anshel, M., Goldfeld, D. and Lemieux, S. (2006) 'Key agreement, the algebraic eraserTM, and lightweight cryptography', J. Contemporary Mathematics, Vol.418, pp.1-34.
3. Avoine, G. (2005) Cryptography in Radio Frequency Identification and Fair Exchange Protocols, PhD Thesis, Swiss Federal Institute of Technology, Switzerland.
4. Bella, G. (2007) Formal Correctness of Security Protocols, Springer, Berlin, Heidelberg.
5. Burmester, M., Le, T.V. and Medeiros, B. (2006) Provably Secure Ubiquitous Systems: Universally Composable RFID Authentication Protocols, IACR ePrint Report, 2006/131.pdf.
6. Burrows, M., Abadi, M. and Needham, R. (1989) 'A logic of authentication', Proc. 12th ACM Symposium on Operating System Principles, December, Litchfield Park, Arizona, pp.1-13.
7. Butler, F., Cervesato, I., Jaggard, A., Scedrov, A. and Walstad, C. (2006) 'Formal analysis of Kerberos 5', Theor. Comp. Sci., Special, Vol.367, No.1, pp.57-87.
8. Chatmon, C., Le, T.V. and Burmester, M. (2006) Secure Anonymous RFID Authentication Protocols, Technical Report, TR-060112, Florida State University Computer Science Department, Tallahassee, FL, pp.1-10.
9. Choi, E.Y., Lee, S.M. and Lee, D.H. (2005) 'Efficient RFID authentication protocol for ubiquitous computing environment', Proc. SECUBIQ'05, LNCS 3823, Nagasaki, Japan, pp.945-954.
10. Gilbert, H., Robshaw, M. and Sibert, H. (2005) An Active Attack against HB+ - A Provably Secure Lightweight Authentication Protocol, IACR ePrint Report, 2005/237.pdf.
11. Gódor, G. and Antal, M. (2008) 'Improved lightweight mutual authentication protocol for RFID systems', IFIP International Federation for Information Processing, Vol.284, Wireless and Mobile Networking, Boston, Springer, pp.471-482.
12. Gong, L., Needham, R. and Yahalom, R. (1990) 'Reasoning about belief in cryptographic protocols', Proc. IEEE Symposium on Research in Security and Privacy, IEEE Computer Society, Oakland, CA, pp.234-248.
13. Ha, J., Moon, S., Nieto, J.M. and Boyd, C. (2007) 'Security analysis and enhancement of one-way hash based low-cost authentication protocol (OHLCAP)', Proc. PAKDD'07, LNAI 4819, Nanjing, China, pp.574-583.
14. Hammouri, G. and Sunar, B. (2008) 'PUF-HB: a tamperresilient HB based authentication protocol', Proc. ACNS'08, LNCS 5037, New York, NY, pp.346-365.
15. Henrici, D. and Muller, D. (2004) 'Hash-based enhancement of location privacy for radio-frequency identification devices using varying identifiers', Proc. IEEE PERCOMW'04, Orlando, FL, pp.149-153.
16. Hopper, N. and Blum, M. (2001) 'Secure human identification protocols', Proc. ASIACRYPT'01, LNCS 2248, Gold Coast, Australia, pp.52-66.
17. Juels, A. (2004) 'Minimalist cryptography for low-cost RFID tags', Proc. 2004 International Conference on Security in Communication Networks, Amalfi, Italy, pp.149-164.
18. Juels, A. (2005) RFID Security and Privacy: A Research Survey, Manuscript of RSA Laboratories, Bedford, MA, September.
19. Juels, A., Pappu, R. and Parno, B. (2008) 'Unidirectional key distribution across time and space with applications to RFID security', Proc. USENIX Security Symposium 2008, San Jose, CA, pp.75-90.
20. Juels, A. and Weis, S. (2005) 'Authenticating pervasive devices with human protocols', Proc. CRYPTO'05, LNAI 3621, Santa Barbara, CA, pp.293-308.
21. Le, T.V., Burmester, M. and Medeiros, B. (2007) 'Universally composable and forward-secure RFID authentication and authenticated key exchange', Proc. ASIACCS'07, ACM, Singapore, pp.242-252.
22. Lee, S.M., Hwang Y.J., Lee, D.H. and Lim, J.I. (2005) 'Efficient authentication for low-cost RFID systems', Proc. ICCSA'05, LNCS 3480, Singapore, pp.619-627.
23. Li, T. and Deng, R. (2007) 'Vulnerability analysis of EMAP - an efficient RFID mutual authentication protocol', Proc. Second International Conference on Availability, Reliability and Security - AReS'07, Vienna, Austria, pp.238-245.
24. Lowe, G. (1996) 'Some new attacks upon security protocols', Proc. Ninth IEEE Computer Security Foundations Workshop - CSFW'96, IEEE Computer Society Press, Venice, Italy, pp.162-169.
25. McLoone, M. and Robshaw, M.J.B. (2007) 'Public key cryptography and RFID tags', Proc. CT-RSA'07, LNCS 4377, San Francisco, CA, pp.372-384.
26. Meadows, C. (1994) 'The NRL protocol analyzer: an overview', J. Logic Program, Vol.26, No.2, pp.113-131.
27. Mitchell, J., Mitchell, M. and Stern, U. (1997) 'Automated analysis of cryptographic protocols using murphi', Proc. 16th IEEE Symposium on Security and Privacy - SSP'97, IEEE Computer Society Press, Silver Spring, MD, pp.141-151.
28. Peris-Lopez, P., Hernandez-Castro, J.C., Estevez-Tapiador, J. and Ribagorda, A. (2006) 'EMAP: an efficient mutual authentication protocol for low-cost RFID tags', Proc. OTM Federated Conferences and Workshop: IS Workshop - IS'06, LNCS 4277, Montpellier, France, pp.352-361.
29. Rhee, K., Kwak, J., Kim, S. and Won, D. (2005) 'Callenge-response based RFID authentication protocol for distributed database environment', Proc. SPC'05, LNCS 3450, Boppard, Germany, pp.70-84.
30. Sarma, S.E., Weis, S.A. and Engels, D.W. (2002) 'RFID systems and security and privacy implications', Proc. CHES'02, LNCS 2523, Redwood City, CA, pp.454-469.
31. Schneider, S. (1998) 'Verifying authentication protocols in CSP', IEEE Transactions on Software Engineering, Vol.24, No.9, pp.741-758.
32. Shamir, A. (2008) 'SQUASH - a new MAC with provable security properties for highly constrained devices such as RFID tags', Proc. FSE'08, LNCS 5086, Lausanne, Switzerland, pp.144-157.
33. Syverson, P.F. and Van Oorschot, P.C. (2004) 'On unifying some cryptographic protocols logics', Proc. 13th IEEE Symposium on Security and Privacy - SSP'04, IEEE Computer Society Press, Oakland, CA, pp.14-28.
34. Tsudik, G. (2006) 'YA-TRAP: yet another trivial RFID authentication protocol', Proc. International Conference on Pervasive Computing and Communications, PerCom'06, Pisa, Italy, pp.640-643.
35. Vaudenay, S. (2006) 'RFID privacy based on public-key cryptography', Proc. ICISC'06, LNCS 4296, Busan, Korea, pp.1-6.
36. Yang, J., Park, J., Lee, H., Ren, K. and Kim, K. (2005) 'Mutual authentication protocol for low-cost RFID', Proc. Ecrypt Workshop on RFID and Lightweight Crypto, Graz, Austria, pp.1-8.