Operational Semantics and Verification of Security Protocols - Information Security and Cryptography - Cas Cremers - Boeken - Springer-Verlag Berlin and Heidelberg Gm - 9783540786351 - 31 oktober 2012
Indien omslag en titel niet overeenkomen, is de titel correct

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

Prijs
€ 64,99

Besteld in een afgelegen magazijn

Verwachte levering 2 - 10 dec.
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld
Ontvang meldingen over nieuwe releases van Cas Cremers
Voeg toe aan uw iMusic-verlanglijst

Nog niet beoordeeld

Ook verkrijgbaar als:

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

Media Boeken     Hardcover Book   (Boek met harde rug en kaft)
Vrijgegeven 31 oktober 2012
Datum oorspronkelijke uitgave 2011
ISBN13 9783540786351
Uitgevers Springer-Verlag Berlin and Heidelberg Gm
Pagina's 174
Afmetingen 241 × 160 × 16 mm   ·   439 g
Taal en grammatica Engels  

Meer van dezelfde uitgever