Formal Verification of a Key Establishment Protocol for EPC Gen2 RFID Systems: Work in Progress
From MaRDI portal
Publication:2889843
DOI10.1007/978-3-642-27901-0_20zbMath1303.68055MaRDI 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
Uses Software