BIBLIO is the largest independent book marketplace in the world, with over 100 million books.

Skip to content

Formal Correctness of Security Protocols (Information Security and Cryptography)

Formal Correctness of Security Protocols (Information Security and Cryptography)

Formal Correctness of Security Protocols (Information Security and Cryptography)
Stock photo: cover may vary

Formal Correctness of Security Protocols (Information Security and Cryptography) Paperback - 2010

by Bella, Giampaolo

Add to wish list
  • Used
  • Paperback
  • first
Used: Good

Description

Springer, 2010-11-30. Softcover reprint of hardcover 1st ed. 2007. paperback. Used: Good. 6.10x0.67x9.25. Buy with confidence. Excellent Customer Service & Return policy.
Ask the seller a question Add to wish list
A$114.53
Free Delivery within USA
Standard delivery: 5 to 10 days
More delivery options
Dropship order
Ships from Ergodebooks (Texas, United States)

Details

About Ergodebooks Texas, United States

Biblio member since 2005

Our goal is to provide best customer service and good condition books for the lowest possible price. We are always honest about condition of book. We list book only by ISBN # and hence exact book is guaranteed.

Terms of Sale:

We have 30 day return policy.

Browse books from Ergodebooks

Reader reviews for Formal Correctness of Security Protocols (Information Security and Cryptography)

From the publisher

This book 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 book advances significant extensions to the method of analysis and presents novel and illuminating findings on the protocols analyzed. This book will benefit researchers and graduate students in the fields of formal methods, information security, inductive methods, and networking.

From the rear cover

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.

tracking-