mehr als bücher

Grid  List

  1. Operational Semantics and Verification of Security Protocols
    Operational Semantics and Verification of Security Protocols
    Cas Cremers
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt
    53,45 €*
  2. Operational Semantics and Verification of Security Protocols
    Operational Semantics and Verification of Security Protocols
    Cas Cremers
    Springer Verlag GmbH
    Buch
    Besorgungstitel - wird vorgemerkt

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

    69,54 €*
  3. Security Standardisation Research
    Security Standardisation Research
    Cas Cremers
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

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

    53,49 €*
  4. Modeling and Analyzing Security Protocols with Tamarin
    Modeling and Analyzing Security Protocols with Tamarin
    David Basin
    Springer Verlag GmbH
    Buch
    Besorgungstitel - wird vorgemerkt

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

    58,84 €*
  1. 1