Operational Semantics and Verification of Security Protocols - Information Security and Cryptography - Cas Cremers - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783642430534 - sunnuntai 9. marraskuuta 2014
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

Cas Cremers

Hinta
€ 52,99

Tilattu etävarastosta

Arvioitu toimitus ke - to 17. - 25. syys

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
Eller

Löytyy myös muodossa:

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

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä sunnuntai 9. marraskuuta 2014
Alunperin julkaistu 2011
ISBN13 9783642430534
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä 174
Mitta 155 × 235 × 10 mm   ·   272 g
Kieli French  

Katso kaikki joka sisältää Cas Cremers ( Esim. Hardcover Book Ja Paperback Book )