Detailsuche

Grid  List

  1. Security Standardisation Research
    0 %
    Security Standardisation Research
    Cas Cremers
    Springer International Publishing
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 57,20 €

    Jetzt 57,19 €Ebook
    Alle Preise inkl. MwSt
  2. Operational Semantics and Verification of Security Protocols
    0 %
    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 a...

    Unser bisheriger Preis:ORGPRICE: 56,55 €

    Jetzt 56,54 €Ebook
    Alle Preise inkl. MwSt
  3. Security Standardisation Research
    0 %
    Security Standardisation Research
    Cas Cremers
    Springer, Berlin, Springer International Publishing, Springer
    Taschenbuch
    Print on Demand

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

    Unser bisheriger Preis:ORGPRICE: 53,49 €

    Jetzt 53,48 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Operational Semantics and Verification of Security Protocols
    0 %
    Operational Semantics and Verification of Security Protocols
    Cas Cremers
    Springer, Berlin, Springer Berlin Heidelberg, Springer
    Buch
    Print on Demand

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

    Unser bisheriger Preis:ORGPRICE: 69,54 €

    Jetzt 69,53 €Buch
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Operational Semantics and Verification of Security Protocols
    0 %
    Operational Semantics and Verification of Security Protocols
    Cas Cremers
    Springer, Berlin, Springer Berlin Heidelberg, Springer
    Taschenbuch
    Print on Demand

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

    Unser bisheriger Preis:ORGPRICE: 53,45 €

    Jetzt 53,44 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Modeling and Analyzing Security Protocols with Tamarin
    0 %
    Modeling and Analyzing Security Protocols with Tamarin
    David Basin
    Springer, Berlin, Springer Nature Switzerland, Springer
    Buch
    Besorgungstitel - wird vorgemerkt

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

    Unser bisheriger Preis:ORGPRICE: 58,84 €

    Jetzt 58,83 €Buch
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1