Formal Computational Unlinkability Proofs of RFID Protocols.

Hubert Comon Adrien Koutsos

Published in: CSF (2017)

Keyphrases

anti collision
low cost
information systems
formal model
supply chain management
rfid tags
rfid reader
neural network
knowledge base
mobile phone
cost effective
multi party
communication protocol