Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Modeling and Analyzing Security Protocols with Tamarin

Name: Modeling and Analyzing Security Protocols with Tamarin
Brand: Springer, Berlin
SKU: 48234063
Price: 21363 HUF
Availability: InStock
Author: David Basin
ISBN: 9783031909351

A Comprehensive Guide

Language

English

Book Hardback

Libristo code: 48234063

Publishers Springer, Berlin, November 2024

The Tamarin prover is an open-source analysis tool for cryptographic protocols. Given a specificatio... Full description

Libristo code: 48234063

146 b

21 363 Ft

In stock at our supplier Shipping in 10-13 days

Up to 30 days for returns

Customers also purchased

Jan Vojáček: Umění být zdráv Jan Vojáček

Paperback

5 521 Ft

Shitshow!. Ameryka się sypie, a oglądalność szybuje wyd. 2021 Charlie LeDuff

Paperback

3 357 Ft

Jedermann Hugo von Hofmannsthal

Paperback

6 281 Ft

Leander Hermann Bahr

Paperback

7 957 Ft

Alice in borderland Haro Aso

Paperback

4 996 Ft

L'humanité est foutue Landschulz

Sheet

5 213 Ft

Odmaturuj! z anglického jazyka 1 Juraj Belán

Paperback

3 767 Ft

Projekt ciało. Leon naukowiec Dominika Gołowin

Hardback

2 864 Ft

Hormony Joy Hinson

Paperback

6 935 Ft

Langhaarmädchen: MUTIG ist das neue SCHÖN Julia Schindelmann

Paperback

6 263 Ft

Count down - Was uns immer unfruchtbarer macht Stacey Colino

Paperback

7 621 Ft

CAPITAL SEXUAL EN LA MODERNIDAD TARDIA, EL EVA ILLOUZ

Audio CD

4 191 Ft

Commerce et Internet. Comprendre les r?gles juridiques Benarab

Paperback

5 595 Ft

WiMAX Evgenij Mandau

Paperback

17 669 Ft

And Justice for None Five Finger Death Punch

Audio CD

8 395 Ft

Minna no Nihongo: Syokyu 2 Second Edition Main Textbook 2 Ka

Hardback

12 954 Ft

Ernesto Cordero: Renunciar And Entre Guitarra y Voz: Two Sentimental Songs For Guitar & Voice Ernesto Cordero

Paperback

4 089 Ft

Publikationen der Gesellschaft fur Rheinische Geschichtskunde Gesellschaft für Rheinische Geschichtskunde

Paperback

6 235 Ft

Bibliomappe Du Premier Age Geographie de la Jeunesse Precede d'Un Expose Analytique Bailleul-J-C

Paperback

8 091 Ft

Asklar Ve Baharatlar cigdem Sezer

Paperback

4 660 Ft

PLAY WITH BENJI BOOK 2 + DVD M GRAZIA BERTARINI

Paperback

8 031 Ft

Historia de la provincia de Málaga : Edad Moderna (I) : siglos XVI y XVII Eduardo Gallardo Téllez

Paperback

11 830 Ft

Mit Hermann Hesse reisen Volker Michels

Paperback

6 967 Ft

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 analysis tool: it has been under development for over a decade and has reached a state of maturity where it can be applied to model and analyze a wide range of real-world cryptographic protocols. It is now one of the leading tools in this domain, with a wide and active user community spanning both academia and industry.

The objective of this book is to help both researchers and practitioners to gain a general understanding of how Formal Methods tools like Tamarin can be used to analyze and improve the quality of real-world protocols. Moreover, we specifically showcase the Tamarin prover and provide guidance on its usage. In this sense, this book provides a user's manual forTamarin. But it goes far beyond that, highlighting Tamarin's underlying theory and its use in modeling and applications.