Cas Cremers – författare
Visar alla böcker från författaren Cas Cremers. Handla med fri frakt och snabb leverans.
7 produkter
Security Standardisation Research
4th International Conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings
Häftad, 2018
567 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 4th International Conference on Security Standardisation Research, SSR 2018, held in Darmstadt, Germany, in November 2018.The papers cover a range of topics in the field of security standardisation research, including cryptographic evaluation, …
Security Standardisation Research
4th International Conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings
E-bok, 2018
739 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 4th International Conference on Security Standardisation Research, SSR 2018, held in Darmstadt, Germany, in November 2018. The papers cover a range of topics in the field of security standardisation research, including cryptographic evaluation, …
Modeling and Analyzing Security Protocols with Tamarin
A Comprehensive Guide
Av David Basin, Cas Cremers m. fl.
Inbunden, 2025
623 kr
Lägg i varukorg
The Tamarin prover is an open-source analysis tool for cryptographic protocols. Given a specification of a protocol, possible adversaries, and the desired security properties, Tamarin either verifies the protocol or provides counter examples witnessing attacks. Tamarin is a robust and powerful …
Modeling and Analyzing Security Protocols with Tamarin
A Comprehensive Guide
Av Ralf Sasse, Jannik Dreier m. fl.
E-bok, 2025
813 kr
Lägg i varukorg
The Tamarin prover is an open-source analysis tool for cryptographic protocols. Given a specification of a protocol, possible adversaries, and the desired security properties, Tamarin either verifies the protocol or provides counter examples witnessing attacks. Tamarin is a robust and powerful …
Operational Semantics and Verification of Security Protocols
Inbunden, 2012
736 kr
Lägg i varukorg
Security protocols are widely used to ensure secure communications over insecure networks, such as the internet or airwaves. These protocols use strong cryptography to prevent intruders from reading or modifying the messages. However, using cryptography is not enough to ensure their correctness. …
Operational Semantics and Verification of Security Protocols
E-bok, 2012
732 kr
Lägg i varukorg
Security protocols are widely used to ensure secure communications over insecure networks, such as the internet or airwaves. These protocols use strong cryptography to prevent intruders from reading or modifying the messages. However, using cryptography is not enough to ensure their correctness. …
Operational Semantics and Verification of Security Protocols
Häftad, 2014
567 kr
Lägg i varukorg
Security protocols are widely used to ensure secure communications over insecure networks, such as the internet or airwaves. These protocols use strong cryptography to prevent intruders from reading or modifying the messages. However, using cryptography is not enough to ensure their correctness. …
