Formal Computational Unlinkability Proofs of RFID Protocols.

Hubert Comon Adrien Koutsos

Published in: CoRR (2017)

Keyphrases

low cost
formal model
theorem proving
neural network
multi agent
supply chain management
communication protocols
formal proofs
ctl model update
multi agent systems
supply chain
security protocols
decision procedures