Ralf Sasse – författare
Visar alla böcker från författaren Ralf Sasse. Handla med fri frakt och snabb leverans.
2 produkter
Modeling and Analyzing Security Protocols with Tamarin
A Comprehensive Guide
Av David Basin, Cas Cremers m. fl.
Inbunden, 2025
624 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 …
