Formal Correctness of Security Protocols (English, Giampaolo Bella)
Sciences, Technology & Medicine

Formal Correctness of Security Protocols (English, Giampaolo Bella)

5,631

Inclusive of all applicable taxes. FREE shipping on all orders.

Quantity:
1
Free DeliveryOn every order
15-Day ReturnEasy returns
Verified ListingQuality-checked

Available Offers

  • 🚚Free DeliveryFree shipping on all orders
  • 💵Cash on DeliveryPay when your order arrives
  • ↩️15-Day Easy ReturnsHassle-free return policy
  • 🔒Cash on DeliveryPay safely when your order arrives

Check Delivery

Book Details

ISBN-139783540681342
ISBN-103540681345

Product Description

About the Book

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…

ISBN: 9783540681342

Frequently Asked Questions

What is the price of Formal Correctness of Security Protocols?
Formal Correctness of Security Protocols is available at ₹5,631 on BookShops.in.
Does BookShops.in offer free delivery for Formal Correctness of Security Protocols?
FREE delivery on all orders for Formal Correctness of Security Protocols.
Is Cash on Delivery available for Formal Correctness of Security Protocols?
Yes, Cash on Delivery (COD) is available for Formal Correctness of Security Protocols on BookShops.in. Pay when your order arrives.
What is the return policy for Formal Correctness of Security Protocols?
BookShops.in offers a 15-day hassle-free return policy for Formal Correctness of Security Protocols. Contact us at support@bookshops.in or call +91 81899 68108.
Is Formal Correctness of Security Protocols authentic?
Formal Correctness of Security Protocols is listed on BookShops.in after verification of product details including ISBN, title, and availability information.