7 results
Type of media (2)
Classification (2)
Year
Persons
Publishers
Sort by
Results per page
Filter
7 results

Your search for Cas Cremers

  1. Cover: Modeling and Analyzing Security Protocols with Tamarin - Springer
    David Basin | Cas Cremers | Jannik Dreier
    Modeling and Analyzing Security Protocols with Tamarin
    A Comprehensive Guide
    07/2025
    1st EDN1st Edition
    Springer
    9783031909368 (ISBN)
    E-Book
    PDF
    Other editions
    €58.84
    Available for download
  2. Cover: Security Standardisation Research - Springer
    Cas Cremers | Anja Lehmann
    Security Standardisation Research
    4th International Conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings
    11/2018
    Springer
    9783030047627 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  3. Cover: Operational Semantics and Verification of Security Protocols - Springer
    Cas Cremers | Sjouke Mauw
    Operational Semantics and Verification of Security Protocols
    Information Security and Cryptography
    10/2012
    1st EDN1st Edition
    Springer
    9783540786368 (ISBN)
    E-Book
    PDF
    Other editions
    €51.16
    Available for download
  4. Cover: Operational Semantics and Verification of Security Protocols - Springer
    Cas Cremers | Sjouke Mauw
    Operational Semantics and Verification of Security Protocols
    11/2014
    Springer
    9783642430534 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.45
    Shipment within 7-9 days
  5. Cover: Security Standardisation Research - Springer
    Cas Cremers | Anja Lehmann
    Security Standardisation Research
    4th International Conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings
    11/2018
    Springer
    9783030047610 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  6. Cover: Modeling and Analyzing Security Protocols with Tamarin - Springer
    David Basin | Cas Cremers | Jannik Dreier
    Modeling and Analyzing Security Protocols with Tamarin
    A Comprehensive Guide
    07/2025
    Springer
    9783031909351 (ISBN)
    Book
    Hardback
    Other editions
    €58.84
    Shipment within 15-20 days
  7. Cover: Operational Semantics and Verification of Security Protocols - Springer
    Cas Cremers | Sjouke Mauw
    Operational Semantics and Verification of Security Protocols
    10/2012
    Springer
    9783540786351 (ISBN)
    Book
    Hardback
    Other editions
    €69.54
    Shipment within 10-15 days