![](/img/cover-not-exists.png)
[Lecture Notes in Computer Science] Financial Cryptography and Data Security Volume 7126 || A Study on Computational Formal Verification for Practical Cryptographic Protocol: The Case of Synchronous RFID Authentication
Danezis, George, Dietrich, Sven, Sako, KazueVolume:
10.1007/97
Year:
2012
Language:
english
DOI:
10.1007/978-3-642-29889-9_7
File:
PDF, 1.68 MB
english, 2012