Operational Semantics and Verification of Security Protocols - Information Security and Cryptography - Cas Cremers - Bøker - Springer-Verlag Berlin and Heidelberg Gm - 9783642430534 - 9. november 2014
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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

Pris
NOK 509

Bestillingsvarer

Forventes levert 28. okt - 5. nov
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, black & white illustrations, bibliography

Media Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 9. november 2014
Opprinelig utgitt 2011
ISBN13 9783642430534
Utgivere Springer-Verlag Berlin and Heidelberg Gm
Antall sider 174
Mål 155 × 235 × 10 mm   ·   295 g
Språk Tysk  

Mer fra samme **utgiver**

Se alt med Cas Cremers