Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Modeling and Analyzing Security Protocols with Tamarin

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

A Comprehensive Guide

Език

Английски език

Книга С твърди корици

Код Либристо: 48234063

Издателство Springer, Berlin, ноември 2024

The Tamarin prover is an open-source analysis tool for cryptographic protocols. Given a specificatio... Цялото описание

Код Либристо: 48234063

142 b

58.52 €

114.46 лв

Външен склад Изпращаме след 10-13 дни

До 30 дни за връщане на стоки

Клиентите са закупили също

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

С меки корици

16.47 € 32.22 лв

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

С меки корици

9.65 € 18.88 лв

Alice in borderland Haro Aso

С меки корици

14.82 € 28.99 лв

Jedermann Hugo von Hofmannsthal

С меки корици

16.27 € 31.82 лв

Leander Hermann Bahr

С меки корици

21.74 € 42.52 лв

L'humanité est foutue Landschulz

Лист

14.25 € 27.87 лв

Mit Hermann Hesse reisen Volker Michels

С меки корици

19.00 € 37.17 лв

Hormony Joy Hinson

С меки корици

20.14 € 39.39 лв

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

С меки корици

18.59 € 36.36 лв

Count down - Was uns immer unfruchtbarer macht Stacey Colino

С меки корици

22.72 € 44.44 лв

CAPITAL SEXUAL EN LA MODERNIDAD TARDIA, EL EVA ILLOUZ

Аудио компактдиск

12.44 € 24.34 лв

Commerce et Internet. Comprendre les r?gles juridiques Benarab

С меки корици

15.29 € 29.90 лв

WiMAX Evgenij Mandau

С меки корици

52.48 € 102.64 лв

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

С меки корици

11.20 € 21.91 лв

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

С твърди корици

34.09 € 66.67 лв

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

С меки корици

17.09 € 33.43 лв

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

С меки корици

21.23 € 41.51 лв

Asklar Ve Baharatlar cigdem Sezer

С меки корици

12.81 € 25.05 лв

PLAY WITH BENJI BOOK 2 + DVD M GRAZIA BERTARINI

С меки корици

23.71 € 46.36 лв

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

С меки корици

34.71 € 67.88 лв

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.