On a new formal proof model for RFID location privacy

DOI10.1016/J.IPL.2009.10.007zbMATH Open1209.68248OpenAlexW2045135956MaRDI QIDQ990106FDOQ990106

Ton van Deursen, Saša Radomirović

Publication date: 2 September 2010

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ipl.2009.10.007

zbMATH Keywords

cryptographylocation privacyformal proof modelsRFID protocolsuntraceability

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25)

Cites Work

• A Public-Key Encryption Scheme with Pseudo-random Ciphertexts
• On the security of public key protocols
• How to Hash into Elliptic Curves
• A New Formal Proof Model for RFID Location Privacy
• On Privacy Models for RFID
• Cryptanalysis of EC-RAC, a RFID Identification Protocol

Cited In (1)

• Title not available (Why is that?)

   Recommendations

• A New Formal Proof Model for RFID Location Privacy 👍 👎
• Security proof of Molnar protocol 👍 👎
• On Privacy Models for RFID 👍 👎
• RFID Privacy Models Revisited 👍 👎
• Information Security and Cryptology 👍 👎

This page was built for publication: On a new formal proof model for RFID location privacy

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q990106)