Capa

OPERATIONAL SEMANTICS AND VERIFICATION OF SECURITY PROTOCOLS

SPRINGER
11 / 2014
9783642430534
978-36-4243-053-4
Inglês
Information Security and Cryptography
ESPANHA
Ingles