Operational Semantics and Verification of Security Protocols - Information Security and Cryptography - Cas Cremers - Bøker - Springer-Verlag Berlin and Heidelberg Gm - 9783540786351 - 31. oktober 2012
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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

Pris
NOK 639

Bestillingsvarer

Forventes levert 11. - 19. nov
Julegaver kan byttes frem til 31. januar
Få varsel om nye utgivelser fra Cas Cremers

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
eller

Ikke vurdert ennå

Finnes også som:

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 Bøker     Innbunden bok   (Bok med hard rygg og stivt omslag)
Utgitt 31. oktober 2012
Opprinelig utgitt 2011
ISBN13 9783540786351
Utgivere Springer-Verlag Berlin and Heidelberg Gm
Antall sider 174
Mål 241 × 160 × 16 mm   ·   439 g
Språk Engelsk  

Mer fra samme **utgiver**

Se alt med Cas Cremers