Operational Semantics and Verification of Security Protocols - Information Security and Cryptography - Cas Cremers - Livres - Springer-Verlag Berlin and Heidelberg Gm - 9783540786351 - 31 octobre 2012
Si la couverture et le titre ne correspondent pas, le titre est correct.

Operational Semantics and Verification of Security Protocols - Information Security and Cryptography 2011 edition

Cas Cremers

Prix
€ 80,99

Commandé depuis un entrepôt distant

Livraison prévue 6 - 14 janv. 2025
Les cadeaux de Noël peuvent être échangés jusqu'au 31 janvier

Nos clients disent :

Politique de retour de 14 jours conformément à la loi européenne sur la protection des consommateurs
Meilleur classement sur Trustpilot
Ajouter à votre liste de souhaits iMusic

Operational Semantics and Verification of Security Protocols - Information Security and Cryptography 2011 edition

This account of an effective methodology for defining and verifying security protocols in network communication includes an accompanying tool set that will be of great interest to researchers and advanced professionals working on critical security protocols.

174 pages, biography

Médias Livres     Hardcover Book   (Livre avec dos et couverture rigide)
Validé 31 octobre 2012
Date de publication originale 2011
ISBN13 9783540786351
Éditeurs Springer-Verlag Berlin and Heidelberg Gm
Pages 174
Dimensions 241 × 160 × 16 mm   ·   439 g
Langue et grammaire English  

Voir tous les Cas Cremers ( par ex. Hardcover Book et Paperback Book )