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,267
Discovery Miles 12 670
You Save: R223 (15%)
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,490 Loot Price R1,267 Discovery Miles 12 670 | Repayment Terms: R118 pm x 12* You Save R223 (15%)

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