Formal Correctness of Security Protocols Image close
Formal Correctness of Security Protocols by Giampaolo Bella
Formal Correctness of Security Protocols by Giampaolo Bella
Show Hide Adult Content
Formal Correctness of Security Protocols close

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Technology  
Electronics & communications engineering  
Communications engineering / telecommunications

Formal Correctness of Security Protocols

Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Paperback / softback
$136.99
RRP:
$140.95 save $3.96
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $34.25 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 14-26 June using International Courier

Explore more Information Security and Cryptography

See all products in this series

Fault Analysis in Cryptography Save $68
$266.99
$335.95
Fault Analysis in Cryptography
Paperback / softback
Available - Usually ships in 3-4 weeks
Cryptography Made Simple on Hardback by Nigel Smart
$149.99
Cryptography Made Simple
by Nigel Smart ~ Hardback
Available - Usually ships in 3-4 weeks
The Design of Rijndael on Hardback by Joan Daemen
$243.99
The Design of Rijndael
by Joan Daemen ~ Hardback
Available - Usually ships in 3-4 weeks
The Complete Guide to SCION by Laurent Chuat
$242.99
The Complete Guide to SCION
by Laurent Chuat ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Towards Hardware-Intrinsic Security on Hardback Save $12
$412.99
$425.95
Towards Hardware-Intrinsic Security
Hardback
Available - Usually ships in 3-4 weeks
The Complete Guide to SCION on Hardback by Laurent Chuat
$335.99
The Complete Guide to SCION
by Laurent Chuat ~ Hardback
Available - Usually ships in 3-4 weeks
Protocols for Authentication and Key Establishment on Hardback by Colin Boyd
$284.99
Protocols for Authentication and Key Establishment
by Colin Boyd ~ Hardback
Available - Usually ships in 3-4 weeks
The Theory of Hash Functions and Random Oracles on Hardback by Arno Mittelbach
$242.99
The Theory of Hash Functions and Random Oracles
by Arno Mittelbach ~ Hardback
Available - Usually ships in 3-4 weeks
Introduction to Cryptography on Hardback by Hans Delfs
$204.99
Introduction to Cryptography
by Hans Delfs ~ Hardback
Available - Usually ships in 3-4 weeks
Cryptography in Constant Parallel Time on Hardback by Benny Applebaum Save $74
$136.99
$210.99
Cryptography in Constant Parallel Time
by Benny Applebaum ~ Hardback
Available - Usually ships in 3-4 weeks
The LLL Algorithm
$597.99
The LLL Algorithm
Paperback / softback
Available - Usually ships in 3-4 weeks
Concurrent Zero-Knowledge by Alon Rosen
$263.99
Concurrent Zero-Knowledge
by Alon Rosen ~ Paperback / softback
Available - Usually ships in 3-4 weeks
SCION: A Secure Internet Architecture on Hardback by Adrian Perrig
$136.99
SCION: A Secure Internet Architecture
by Adrian Perrig ~ Hardback
Available - Usually ships in 3-4 weeks
The Hash Function BLAKE by Jean-Philippe Aumasson
$261.99
The Hash Function BLAKE
by Jean-Philippe Aumasson ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Modelling and Verification of Secure Exams by Rosario Giustolisi Save $37
$136.99
$174.95
Modelling and Verification of Secure Exams
by Rosario Giustolisi ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Modelling and Verification of Secure Exams on Hardback by Rosario Giustolisi Save $89
$136.99
$226.95
Modelling and Verification of Secure Exams
by Rosario Giustolisi ~ Hardback
Available - Usually ships in 3-4 weeks

Description

Computer network security is critical to fraud prevention and accountability. Network participants are required to observe predefined steps called security protocols, whose proof of correctness is evidence that each protocol step preserves some desired properties. 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, the Inductive Method in the theorem prover Isabelle, 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. This book will benefit researchers and graduate students in the fields of formal methods, information security, inductive methods, and networking.
Release date Australia
November 30th, 2010
Audience
  • Professional & Vocational
Edition
Softcover reprint of hardcover 1st ed. 2007
Illustrations
64 Illustrations, black and white; XX, 274 p. 64 illus.
Pages
274
Dimensions
156x234x15
ISBN-13
9783642087820
Product ID
11081894

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Explore more by Giampaolo Bella

See all books by this author

Formal Correctness of Security Protocols on Hardback by Giampaolo Bella
$138.99
$140.95
Formal Correctness of Security Protocols
by Giampaolo Bella ~ Hardback
Available - Usually ships in 3-4 weeks

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Non-Fiction >
Technology >
Electronics & communications engineering >
Communications engineering / telecommunications
Books >
Computers & Internet >
Communications & Networking >
Network security
Books >
Non-Fiction >
Reference >
Research & information: general >
Information theory
Books >
Computers & Internet >
Computer hardware >
Network hardware
Books >
Computers & Internet >
Computer programming / software development >
Algorithms & data structures
Books >
Computers & Internet >
Computer security
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Artificial intelligence