Formal Correctness of Security Protocols - Information Security and Cryptography - Giampaolo Bella - Knjige - Springer-Verlag Berlin and Heidelberg Gm - 9783642087820 - 30. novembra 2010
Če se naslovnica in naslov ne ujemata, je naslov pravilen

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

Cena
€ 48,99

Naročeno iz oddaljenega skladišča

Predvidena dobava 9. - 17. nov
Božična darila lahko vrnete do 31. januarja
Prejemajte obvestila o novih izdajah izvajalca Giampaolo Bella
Dodaj na svoj seznam želja iMusic

Not rated yet

Na voljo tudi kot:

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

Medij Knjige     Paperback Book   (Knjiga z mehkimi platnicami in lepljenim hrbtom)
Izdano 30. novembra 2010
ISBN13 9783642087820
Založniki Springer-Verlag Berlin and Heidelberg Gm
Strani 274
Dimenzije 156 × 234 × 15 mm   ·   417 g
Jezik Angleščina  

Več od istega **izdajatelja**