Erweiterte Suche

Grid  List

  1. Security Standardisation Research Security Standardisation Research

    Security Standardisation Research

    Cas Cremers
    Springer, Springer
    21.11.2018

    This book constitutes the refereed proceedings of the 4th International Conference on Security St...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Operational Semantics and Verification of Security Protocols Operational Semantics and Verification of Security Protocols

    Operational Semantics and Verification of Security Protocols

    Cas Cremers
    Springer, Springer Vieweg
    31.10.2012

    Security protocols are widely used to ensure secure communications over insecure networks, such a...

    Gebunden
    69,54 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Operational Semantics and Verification of Security Protocols Operational Semantics and Verification of Security Protocols

    Operational Semantics and Verification of Security Protocols

    Cas Cremers
    Springer, Springer
    09.11.2014

    Security protocols are widely used to ensure secure communications over insecure networks, such a...

    Taschenbuch
    53,45 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Modeling and Analyzing Security Protocols with Tamarin Modeling and Analyzing Security Protocols with Tamarin

    Modeling and Analyzing Security Protocols with Tamarin

    David Basin
    Springer, Springer
    28.07.2025

    The Tamarin prover is an open-source analysis tool for cryptographic protocols. Given a specifica...

    Gebunden
    58,84 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1