Operational Semantics and Verification of Security Protocols - Information Security and Cryptography - Cas Cremers - Grāmatas - Springer-Verlag Berlin and Heidelberg Gm - 9783540786351 - 2012. gada 31. oktobris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

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

Cena
€ 79,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 7. - 21. aug.
Saņemiet paziņojumus par jauniem Cas Cremers izdevumiem
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

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

Mediji Grāmatas     Hardcover Book   (Grāmata ar cieto muguriņu un vāku)
Izlaists 2012. gada 31. oktobris
Oriģinālā izdošanas datums 2011
ISBN13 9783540786351
Izdevēji Springer-Verlag Berlin and Heidelberg Gm
Lapas 174
Izmēri 241 × 160 × 16 mm   ·   439 g
Valoda Angļu  

Vairāk no tā paša izdevēja