Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Corriere Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Modeling and Analyzing Security Protocols with Tamarin

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

A Comprehensive Guide

Lingua

Inglese

Libro Rigido

Codice Libristo: 48234063

Casa editrice Springer, Berlin, novembre 2024

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

Codice Libristo: 48234063

142 b

57.89 €

Magazzino esterno Inviamo tra 10-13 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

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

In brossura

16.29 €

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

In brossura

11.09 €

Jedermann Hugo von Hofmannsthal

In brossura

16.99 €

Leander Hermann Bahr

In brossura

21.49 €

Alice in borderland Haro Aso

In brossura

14.59 €

L'humanité est foutue Landschulz

Foglio

14.09 €

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

In brossura

10.99 €

Projekt ciało. Leon naukowiec Dominika Gołowin

Rigido

8.59 €

Hormony Joy Hinson

In brossura

19.89 €

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

In brossura

18.49 €

Count down - Was uns immer unfruchtbarer macht Stacey Colino

In brossura

22.49 €

CAPITAL SEXUAL EN LA MODERNIDAD TARDIA, EL EVA ILLOUZ

CD audio

11.69 €

Commerce et Internet. Comprendre les r?gles juridiques Benarab

In brossura

15.09 €

WiMAX Evgenij Mandau

In brossura

51.99 €

And Justice for None Five Finger Death Punch

CD audio

22.79 €

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

Rigido

35.29 €

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

In brossura

11.09 €

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

In brossura

16.89 €

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

In brossura

21.99 €

Asklar Ve Baharatlar cigdem Sezer

In brossura

12.69 €

PLAY WITH BENJI BOOK 2 + DVD M GRAZIA BERTARINI

In brossura

22.39 €

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

In brossura

32.99 €

Mit Hermann Hesse reisen Volker Michels

In brossura

18.79 €

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.