Algebra and Cryptography Seminar

Algebra and Cryptography Seminar

CUNY Graduate Center, Room 8405

October 23, 2:30 pm

Speaker: Xiaowen Zhang (College Of Staten Island)

Title:  Logical Analysis of RFID Authentication Protocols

Abstract: Radio Frequency Identification (RFID) Authentication Protocols (AP) are an active research
topic. In this talk we consider three recently proposed RFID APs based on dynamic and static shared secret: CRAP,
LCAP and O-TRAP. We examine them using GNY logic to determine whether they can be proved to have achieved
their protocol goals. We show that when an authentication protocol uses static shared secret, encryption can be used
to achieve the protocol goals. Meanwhile, when a protocol uses dynamic shared secret, hash operations seem to be
good enough to achieve the protocol goals.