0
Your cart

Your cart is empty

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

Buy Now

Formal Correctness of Security Protocols (Hardcover, 2007 ed.) Loot Price: R1,209
Discovery Miles 12 090
You Save: R200 (14%)
Formal Correctness of Security Protocols (Hardcover, 2007 ed.): Giampaolo Bella
Formal Correctness of Security Protocols (Hardcover, 2007 ed.): Giampaolo Bella

Share your images

Formal Correctness of Security Protocols (Hardcover, 2007 ed.)

Giampaolo Bella

Series: Information Security and Cryptography

 (sign in to rate)
List price R1,409 Loot Price R1,209 Discovery Miles 12 090 | Repayment Terms: R112 pm x 12* You Save R200 (14%)

Bookmark and Share

Expected dispatch within 7 - 12 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: 235 x 155 x 17mm (L x W x T)
Format: Hardcover
Pages: 274
Edition: 2007 ed.
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