cas cremers

Grid   List

  1. Operational Semantics and Verification of Security Protocols
    Operational Semantics and Verification of Security Protocols
    Cas Cremers
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    Security protocols are widely used to ensure secure communications over insecure networks, such as the internet or airwaves. These protocols use strong cryptography to prevent intruders from readin...
    50,28 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Security Standardisation Research
    Security Standardisation Research
    Cas Cremers
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 4th International Conference on Security Standardisation Research, SSR 2018, held in Darmstadt, Germany, in November 2018.
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Operational Semantics and Verification of Security Protocols
    Operational Semantics and Verification of Security Protocols
    Sjouke Mauw
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Buch
    Bezug 11-15
    Security protocols are widely used to ensure secure communications over insecure networks, such as the internet or airwaves. These protocols use strong cryptography to prevent intruders from rea...
    69,54 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  4. Security Standardisation Research
    Security Standardisation Research
    Anja Lehmann
    Springer International Publishing, Springer Nature Switzerland
    Taschenbuch
    Bezug 11-15
    This book constitutes the refereed proceedings of the 4th International Conference on Security Standardisation Research, SSR 2018, held in Darmstadt, Germany, in November 2018.The papers cover a ra...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  5. Modeling and Analyzing Security Protocols with Tamarin
    Modeling and Analyzing Security Protocols with Tamarin
    David Basin
    Springer, Berlin, Springer Nature Switzerland, Springer
    Buch
    Vorbestellbar
    The Tamarin prover is an open-source analysis tool for cryptographic protocols. Given a specification of a protocol, possible adversaries, and the desired security properties, Tamarin either ver...
    70,11 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  6. Operational Semantics and Verification of Security Protocols
    Operational Semantics and Verification of Security Protocols
    Sjouke Mauw
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand
    Security protocols are widely used to ensure secure communications over insecure networks, such as the internet or airwaves. These protocols use strong cryptography to prevent intruders from rea...
    53,45 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
<%--for search--%>