Formal Verification of a Key Establishment Protocol for EPC Gen2 RFID Systems: Work in Progress

DOI10.1007/978-3-642-27901-0_20zbMath1303.68055OpenAlexW1499830268MaRDI QIDQ2889843

Nora Cuppens-Boulahia, Frédéric Cuppens, Wiem Tounsi, Joaquin Garcia-Alfaro

Publication date: 8 June 2012

Published in: Foundations and Practice of Security (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-27901-0_20

Mathematics Subject Classification ID

Cryptography (94A60) Data encryption (aspects in computer science) (68P25)

Uses Software

• OFMC