Modeling and Analyzing Security Protocols with Tamarin: A Comprehensive Guide - Information Security and Cryptography - David Basin - Books - Springer International Publishing AG - 9783031909351 - July 28, 2025
In case cover and title do not match, the title is correct

David Basin
Modeling and Analyzing Security Protocols with Tamarin: A Comprehensive Guide - Information Security and Cryptography

Price
HK$ 466
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 8 - 12

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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.

Media Books     Hardcover Book   (Book with hard spine and cover)
Released July 28, 2025
ISBN13 9783031909351
Publishers Springer International Publishing AG
Pages 325
Dimensions 245 × 161 × 24 mm   ·   630 g
Language German  

More by David Basin

Show all

Mere med samme udgiver

See all of David Basin ( e.g. Paperback Book and Hardcover Book )