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

Skip to content

Formal Correctness of Security Protocols
Stock photo: cover may vary

Formal Correctness of Security Protocols Paperback - 2010

by Giampaolo Bella

Add to wish list

Reader reviews for Formal Correctness of Security Protocols

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.

Details

  • Title Formal Correctness of Security Protocols
  • Author Giampaolo Bella
  • Binding Paperback
  • Edition Softcover reprin
  • Pages 274
  • Volumes 1
  • Language ENG
  • Publisher Springer
  • Publication date 2010-11-30
  • ISBN 9783642087820 / 3642087825
  • Weight 0.92 lbs (0.42 kg)
  • Dimensions 9.21 x 6.14 x 0.62 in (23.39 x 15.60 x 1.57 cm)
  • Category Mathematics
  • Dewey Decimal Code 005.131

More Copies for Sale

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

Formal Correctness of Security Protocols (Information Security and Cryptography)

by Giampaolo Bella

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9783642087820 / 3642087825
Quantity available
2
Seller
Item price
A$129.82
A$29.19 Delivery to USA

Show details

Description:
Springer, 2007. Paperback. New. 274 pages. 9.00x6.00x0.67 inches.
Add to wish list
Item price
A$129.82
A$29.19 Delivery to USA
Formal Correctness of Security Protocols (Information Security and Cryptography)
Stock photo: cover may vary

Formal Correctness of Security Protocols (Information Security and Cryptography)

by Bella, Giampaolo

  • New
  • Paperback
  • first
Condition
New
Edition
Softcover reprint of hardcover 1st ed. 2007
Binding
Paperback
ISBN 10 / ISBN 13
9783642087820 / 3642087825
Quantity available
6
Seller
Item price
A$99.31
Free Delivery to USA

Show details

Description:
Springer, 2010-11-30. Softcover reprint of hardcover 1st ed. 2007. paperback. New. 6.10x0.67x9.25. Buy with confidence. Excellent Customer Service & Return policy.
Add to wish list
Item price
A$99.31
Free Delivery to USA
Formal Correctness of Security Protocols

Formal Correctness of Security Protocols

by Giampaolo Bella

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9783642087820 / 3642087825
Quantity available
878
Seller
Item price
A$136.76
A$15.55 Delivery to USA

Show details

Description:
Paperback. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Analysis of Security Protocols.- The Inductive Method.- Verifying the Protocol Goals.- The Principle of Goal Availability.- Modelling Timestamping and Verifying a Classical Protocol.- Verifying a Deployed Protocol.- Modelling Agents
Add to wish list
Item price
A$136.76
A$15.55 Delivery to USA
Formal Correctness of Security Protocols (Information Security and Cryptography)
Stock photo: cover may vary

Formal Correctness of Security Protocols (Information Security and Cryptography)

by Bella, Giampaolo

  • Used
  • Paperback
  • first
Condition
Used
Edition
Softcover reprint of hardcover 1st ed. 2007
Binding
Paperback
ISBN 10 / ISBN 13
9783642087820 / 3642087825
Quantity available
1
Seller
Item price
A$114.53
Free Delivery to USA

Show details

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.
Add to wish list
Item price
A$114.53
Free Delivery to USA
Formal Correctness of Security Protocols (Information Security and Cryptography)
Stock photo: cover may vary

Formal Correctness of Security Protocols (Information Security and Cryptography)

by Bella, Giampaolo

  • Used
  • Good
  • Paperback
Condition
Good
Binding
Paperback
ISBN 10 / ISBN 13
9783642087820 / 3642087825
Quantity available
1
Seller
Item price
A$123.39
Free Delivery to USA

Show details

Description:
paperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Add to wish list
Item price
A$123.39
Free Delivery to USA
Formal Correctness of Security Protocols
Stock photo: cover may vary

Formal Correctness of Security Protocols

by Giampaolo Bella

  • New
Condition
New
ISBN 10 / ISBN 13
9783642087820 / 3642087825
Quantity available
4
Seller
Item price
A$139.31
A$5.86 Delivery to USA

Show details

Description:
Springer , pp. 296 . Papeback. New.
Add to wish list
Item price
A$139.31
A$5.86 Delivery to USA
Formal Correctness of Security Protocols

Formal Correctness of Security Protocols

by Giampaolo Bella

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9783642087820 / 3642087825
Quantity available
10
Seller
Item price
A$200.02
A$19.36 Delivery to USA

Show details

Description:
Paperback / softback. New. 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.
Add to wish list
Item price
A$200.02
A$19.36 Delivery to USA