Our Locations
Welcome to Jarir!
Please type in at least 2 characters
Please type in at least 2 characters
Jarir Logo
  1. Formal Correctness of Security Protocols
Item 1 of 1
Item 1 of 1

Formal Correctness of Security Protocols

Printed Book
SR 367
Inclusive of VAT
Sold as: EACH
SR22Per Month/24 months
Author:Bella, Giampaolo
Date of Publication: 2010
Book classification:Computer & Technology,English Books,
No. of pages:296 Pages
Format:Paperback

This book is printed on demand and is non-refundable after purchase

Available Formats :

Printed Book

It will be sent to your address

SR367
Incl. VAT

Choose your delivery preference

  • Secure Shopping
  • Convenient Returns
  • Genuine & Warranted
  • Fast Delivery
Or

About this Product

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 Knowledge of Messages.- Verifying Another Deployed Protocol.- Modelling Smartcards.- Verifying a Smartcard Protocol.- Modelling Accountability.- Verifying Two Accountability Protocols.- Conclusions.
Show more

Specifications

SKU9783642087820
Manufacturer Number9783642087820
year published2010
Show more

Report an issue with this product.

Customer Reviews

Write Review
Go back to the top

Copyright © 2026. Jarir Bookstore. C. R. No. 1010032264. Online C. R. No. 1010654213. (Jarir Marketing Company) VAT ID 300056289500003. All Rights Reserved.