David Basin,Cas Cremers,Jannik Dreier,Ralf Sasse
Modeling and Analyzing Security Protocols with Tamarin: A Comprehensive Guide
Modeling and Analyzing Security Protocols with Tamarin: A Comprehensive Guide
We can order this item for you. Delivery usually takes about 4 to 6 weeks.
This item is not held in our immediate stock. We will order it for you after checkout.
Estimated delivery: About 4 to 6 weeks
YOU SAVE £10.10
- Condition: Brand new
- UK Delivery times: Usually arrives within 2 - 3 working days
- UK Shipping: Fee starts at £3.89. Subject to product weight & dimension
Bulk ordering. Want 15 or more copies? Get a personalised quote and bigger discounts. Learn more about bulk orders.
Couldn't load pickup availability
- More about Modeling and Analyzing Security Protocols with Tamarin: A Comprehensive Guide
Format: Hardback
Length: 325 pages
Publication date: 28 July 2025
Publisher: Springer International Publishing AG
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.
Dimension: 235 x 155 (mm)
ISBN-13: 9783031909351
UK and International shipping information
UK and International shipping information
We deliver throughout the United Kingdom and to 128 countries and territories worldwide, including the United States, Australia, Canada, Germany, Spain and France.
