Operational Semantics and Verification of Security Protocols Information Security and Cryptography Autor Cas Cremers et al. 31 oct 2012 Hardback Preț: 402.57 lei 503.22 lei 43-57 zile -20%