Portada

Operational Semantics and Verification of Security Protocols

SPRINGER
10 / 2012
9783540786351
978-35-4078-635-1
Inglés
Information Security and Cryptography
Ingles