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.
Read More
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.
Read Less
Add this copy of Modeling and Analyzing Security Protocols with Tamarin: to cart. $56.35, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2025 by Springer International Publishing AG.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Print on demand Contains: Illustrations, black & white, Illustrations, color. Information Security and Cryptography . XIV, 325 p. 68 illus., 51 illus. in color. Intended for professional and scholarly audience.
Add this copy of Modeling and Analyzing Security Protocols With Tamarin: to cart. $90.45, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 2025 by Springer.
Add this copy of Modeling and Analyzing Security Protocols With Tamarin: to cart. $123.79, new condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 2025 by Springer.
