Formal Correctness of Security Protocols - Information Security and Cryptography - Giampaolo Bella - Grāmatas - Springer-Verlag Berlin and Heidelberg Gm - 9783642087820 - 2010. gada 30. novembris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Giampaolo Bella
Formal Correctness of Security Protocols - Information Security and Cryptography 1st Ed. Softcover of Orig. Ed. 2007 edition

Cena
€ 63,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 14. - 28. aug.
Saņemiet paziņojumus par jauniem Giampaolo Bella izdevumiem

Mūsu klienti saka:

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu
Top vieta Trustpilot
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

Pieejams arī kā:

The author investigates proofs of correctness of realistic security protocols in a formal, intuitive setting. The protocols examined include Kerberos versions, smartcard protocols, non-repudiation protocols, and certified email protocols. The method of analysis turns out to be both powerful and flexible. This research advances significant extensions to the method of analysis, while the findings on the protocols analysed are novel and illuminating.

274 pages, 64 black & white illustrations, 3 black & white tables, biography

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2010. gada 30. novembris
ISBN13 9783642087820
Izdevēji Springer-Verlag Berlin and Heidelberg Gm
Lapas 274
Izmēri 156 × 234 × 15 mm   ·   417 g
Valoda Angļu  

Vairāk no tā paša izdevēja

Skatīt visus Giampaolo Bella ( piem., Hardcover Book , Paperback Book un Book )