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,690
Discovery Miles 16 900
Formal Correctness of Security Protocols (Hardcover, 2007 ed.): Giampaolo Bella

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

Giampaolo Bella

Series: Information Security and Cryptography

 (sign in to rate)
Loot Price R1,690 Discovery Miles 16 900 | Repayment Terms: R158 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 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
Categories: Books > Computing & IT > Computer communications & networking > Network security
Promotions
LSN: 3-540-68134-5
Barcode: 9783540681342

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!

You might also like..

CISA - Certified Information Systems…
Cannon Paperback R1,739 R1,389 Discovery Miles 13 890
CompTIA Security+ Guide To Network…
Mark Ciampa Paperback R1,420 R1,316 Discovery Miles 13 160
Managing Business Projects - The…
Frank Einhorn Paperback R515 Discovery Miles 5 150
Safety of Web Applications - Risks…
Eric Quinton Hardcover R2,473 Discovery Miles 24 730
RIoT Control - Understanding and…
Tyson Macaulay Paperback R1,461 R1,230 Discovery Miles 12 300
Security Careers - Skills, Compensation…
Stephen W. Walker, James E. Foushee Paperback R1,916 Discovery Miles 19 160
PCI Dss: A Pocket Guide
IT Governance Paperback R417 Discovery Miles 4 170
Two-Factor Authentication
Mark Stanislav Paperback R534 Discovery Miles 5 340
ISO27001/ISO27002 - A Pocket Guide
Alan Calder Paperback R683 Discovery Miles 6 830
Fraud Prevention, Confidentiality, and…
Arshi Naim, Praveen Kumar Malik, … Hardcover R6,724 Discovery Miles 67 240
CompTIA A+ Certification All-in-One Exam…
Mike Meyers, Travis Everett, … Hardcover R1,362 Discovery Miles 13 620
Global Perspectives on Information…
Guillermo A. Francia Iii, Jeffrey S. Zanzig Hardcover R6,432 Discovery Miles 64 320

See more

Partners