Security proof of Molnar protocol

DOI10.3724/SP.J.1087.2011.00798MaRDI QIDQ3010081zbMATH OpenFDO

Authors Qiangdong Deng, Li-bin Wang

Publication date 30 June 2011

Published in Journal of Computer Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3724/SP.J.1087.2011.00798

zbMATH Keywords

provable securityradio frequency identification (RFID)security modelstrong privacy

Mathematics Subject Classification ID

Authentication, digital signatures and secret sharing (94A62)

Recommendations

• A New Formal Proof Model for RFID Location Privacy
• On a new formal proof model for RFID location privacy
• A provably secure offline RFID yoking-proof protocol with anonymity
• Traceable Privacy of Recent Provably-Secure RFID Protocols
• A provably secure, lightweight protocol for anonymous authentication

Cited in

(4)

• A provably secure offline RFID yoking-proof protocol with anonymity
• Mobile RFID security protocol and its GNY logic analysis
• A New Formal Proof Model for RFID Location Privacy
• On a new formal proof model for RFID location privacy

This page was built for publication: Security proof of Molnar protocol

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