Operational Semantics and Verification of Security Protocols - Information Security and Cryptography - Cas Cremers - Bøger - Springer-Verlag Berlin and Heidelberg Gm - 9783642430534 - 9. november 2014
Ved uoverensstemmelse mellem cover og titel gælder titel

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

Cas Cremers

Pris
DKK 448

Bestilles fra fjernlager

Forventes klar til forsendelse 15. - 19. sep.

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
Eller

Findes også som:

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

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

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 9. november 2014
Oprindeligt udgivet 2011
ISBN13 9783642430534
Forlag Springer-Verlag Berlin and Heidelberg Gm
Antal sider 174
Mål 155 × 235 × 10 mm   ·   272 g
Sprog Fransk  

Se alt med Cas Cremers ( f.eks. Hardcover bog og Paperback Bog )