On the Verification of Cryptographic Pro
โ
Dieter Gollmann
๐
Article
๐
2000
๐
Elsevier Science
๐
English
โ 660 KB