Portada

OPERATIONAL SEMANTICS AND VERIFICATION OF SECURITY PROTOCOLS

SPRINGER
11 / 2014
9783642430534
978-36-4243-053-4
Inglés
Information Security and Cryptography
ESPAÑA
Ingles