On a new formal proof model for RFID location privacy

DOI10.1016/J.IPL.2009.10.007MaRDI QIDQ990106zbMATH OpenOpenAlexFDO

Authors 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)

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

Cites work

• A New Formal Proof Model for RFID Location Privacy
• A public-key encryption scheme with pseudo-random ciphertexts
• Cryptanalysis of EC-RAC, a RFID Identification Protocol
• How to Hash into Elliptic Curves
• On Privacy Models for RFID
• On the security of public key protocols

Cited in

(7)

• A new framework for RFID privacy
• Modeling privacy in WiFi fingerprinting indoor localization
• Designing and Verifying Core Protocols for Location Privacy
• scientific article; zbMATH DE number 7379295 (Why is no real title available?)
• Security proof of Molnar protocol
• A New Formal Proof Model for RFID Location Privacy
• RFID Privacy Models Revisited

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)