A New Formal Proof Model for RFID Location Privacy

DOI10.1007/978-3-540-88313-5_18MaRDI QIDQ3533963zbMATH OpenOpenAlexFDO

Authors Junghoon Ha, Sangjae Moon, Jianying Zhou, Jae-Cheol Ha

Publication date 27 October 2008

Published in Computer Security - ESORICS 2008 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-88313-5_18

zbMATH Keywords

formal proof modellocation privacyRFID security

Mathematics Subject Classification ID

Privacy of data (68P27) Cryptography (94A60)

Recommendations

• On a new formal proof model for RFID location privacy
• A new framework for RFID privacy
• Information Security and Cryptology
• Security proof of Molnar protocol
• On Privacy Models for RFID

Cited in

(7)

• Modeling privacy in WiFi fingerprinting indoor localization
• Security proof of Molnar protocol
• Addressing flaws in RFID authentication protocols
• Mobile RFID security protocol and its GNY logic analysis
• RFID Privacy Models Revisited
• A new framework for RFID privacy
• On a new formal proof model for RFID location privacy

This page was built for publication: 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 Q3533963)