Modeling and Analyzing Security Protocols with Tamarin (Hardcover)

Sprache: Englisch

Verlag: Springer International Publishing AG, Cham, 2025

3031909356 / 9783031909351

Anbieter: CitiRetail, Stevenage, Vereinigtes KönigreichCitiRetail

Verkäufer/-in mit 5 Sternen

AbeBooks-Verkäufer/-in seit 29. Juni 2022

Artikel dieses Verkäufers ansehen
Hardcover

Zustand: Neu

EUR 73,22

EUR 43,13 Versand 
Versand von Vereinigtes Königreich nach USA

Anzahl: 1 verfügbar

In den Warenkorb
Kostenlose Rückgaben innerhalb von 30 Tagen

Artikelbeschreibung vom Verkäufer

Hardcover. 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 users manual forTamarin. But it goes far beyond that, highlighting Tamarins underlying theory and its use in modeling and applications. 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. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.

Bestandsnummer des Verkäufers 9783031909351

Titel
Modeling and Analyzing Security Protocols with Tamarin (Hardcover)
Autor
David Basin
Verlag
Springer International Publishing AG, Cham
Veröffentlichungsjahr
2025
Zustand
new
Einband
Hardcover
Sprache
Englisch
ISBN-10
3031909356
ISBN-13
9783031909351

CitiRetail

Stevenage, Vereinigtes Königreich

Verkäufer/-in mit 5 Sternen

AbeBooks-Verkäufer/-in seit 29. Juni 2022

Versandkosten von Vereinigtes Königreich nach USA

Artikel7 bis 14 Werktage7 bis 60 Werktage
Erster ArtikelEUR 43,13EUR 43,13
Die Versandzeiten werden von den Verkäuferinnen und Verkäufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, können Verzögerungen unterliegen. Eventuell anfallende Abgaben oder Gebühren sind von der Käuferin bzw. dem Käufer zu tragen. Die Verkäuferin bzw. der Verkäufer kann Sie bezüglich zusätzlicher Versandkosten kontaktieren, um einen möglichen Anstieg der Versandkosten für Ihre Artikel auszugleichen.

Zahlungsarten

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay

Shop-Beschreibung

Online business

Unternehmensdaten der Verkäuferin bzw. des Verkäufers

ABC BOOKS LIMITED

10 John Street
London, Vereinigtes Königreich WC1N 2EB