0
Your cart

Your cart is empty

Books > Computing & IT > Computer communications & networking > Network security

Buy Now

Formal Correctness of Security Protocols (Hardcover) Loot Price: R1,448
Discovery Miles 14 480
Formal Correctness of Security Protocols (Hardcover): Giampaolo Bella
Formal Correctness of Security Protocols (Hardcover): Giampaolo Bella

Share your images

Formal Correctness of Security Protocols (Hardcover)

Giampaolo Bella

Series: Information Security and Cryptography

 (sign in to rate)
Loot Price R1,448 Discovery Miles 14 480 | Repayment Terms: R135 pm x 12*

Bookmark and Share

Usually dispatched within 10 - 17 working days.

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.

General

Imprint: Springer-Verlag
Country of origin: Germany
Series: Information Security and Cryptography
Release date: March 2007
First published: 2007
Authors: Giampaolo Bella
Dimensions: 234 x 156 x 17mm (L x W x T)
Format: Hardcover - Laminated cover
Pages: 274
ISBN-13: 978-3-540-68134-2
Barcode: 9783540681342
Categories: Books > Computing & IT > Computer communications & networking > Network security
Promotions
LSN: 3-540-68134-5

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

Loyalty partners