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

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

Cena
€ 53,99

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

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

Not rated yet

Pieejams arī kā:

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, black & white illustrations, bibliography

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2014. gada 9. novembris
Oriģinālā izdošanas datums 2011
ISBN13 9783642430534
Izdevēji Springer-Verlag Berlin and Heidelberg Gm
Lapas 174
Izmēri 155 × 235 × 10 mm   ·   295 g
Valoda Vācu  

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