• $

Compare Prices & Save - The Ultimate Deal Finder

Check real-time prices from top retailers in seconds.
Secure unbeatable deals, time after time!

AI Powered

Compare from

and many more!

AI Powered

  • product_img
    • Information Security and Cryptography: Formal Correctness of Security Protocols (Paperback)

    Information Security and Cryptography: Formal Correctness of Security Protocols (Paperback)

    By Walmart

    0 (0No reviews yet)

    $ 53.10

    normal Deal

    Price last updated : Nov 27, 2024 10:23 PM

    image
    View Deals
      (AI feature in beta)

      Loading store availability...

      In Stock:
      Sort:
      No products in stock, please try other options.

        Price History

        • $ 53.10Lowest Price
        • $ 62.83Highest Price
        • $ 53.10Current Price
        Loading...
        Loading price history chart...

      Product details

      Information Security and Cryptography: Formal Correctness of Security Protocols (Paperback)

      product_image

      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.

      Information Security and Cryptography: Formal Correctness of Security Protocols (Paperback)

      Customer Reviews

      0 of 5

      0 customer reviews

      Write a Review

      To leave a review please Sign Up or Log In

      Similar products

      Meet The First AI Shopping Chatbot

      Your 24/7 Smart Assistant. Now in Beta!

      Finding products has never been so easy

      Idea suggestions and decisions

      Price comparisons and alerts

      Recommended

      Apple iPhone 15 Pro

      for the best prices!

      iPhone