Mein Konto
Erweiterte Suche
Categories

Grid   List

  1. Operational Semantics and Verification of Security Protocols
    Operational Semantics and Verification of Security Protocols
    Sjouke Mauw
    Springer
    Taschenbuch
    BOD - 2 Tage

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

    53,45 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Security Standardisation Research
    Security Standardisation Research
    Cas Cremers
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

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

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Operational Semantics and Verification of Security Protocols
    Operational Semantics and Verification of Security Protocols
    Sjouke Mauw
    Springer
    Buch
    BOD - 7 Tage

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

    69,54 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Modeling and Analyzing Security Protocols with Tamarin
    Modeling and Analyzing Security Protocols with Tamarin
    Ralf Sasse
    Palgrave Macmillan
    Buch
    BOD - 7 Tage

    Foreword.- Introduction.- An Example.- Modeling Foundations.- Modeling State Machines.- Specifyin...

    58,84 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1