Große Auswahl an günstigen Büchern
Alles immer versandkostenfrei!
Schnelle Lieferung per Post und DHL
Kundenservice
Login
  1. Startseite
  2. Bücher
  3. Wirtschaft & Schule
  4. Computer & IT
  5. Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVerif

Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVerif

von Bruno Blanchet

enthalten in Foundations and Trends (R) in Privacy and Security-Reihe

Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVerif von Bruno Blanchet
Über Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVerif

Focuses on the verification of specifications of protocols in the symbolic model. ProVerif is an automatic symbolic protocol verifier. This survey presents an overview of the research on ProVerif and is the most comprehensive text available on the topic.

Mehr anzeigen
  • Sprache:
  • Englisch
  • ISBN:
  • 9781680832068
  • Einband:
  • Taschenbuch
  • Seitenzahl:
  • 152
  • Veröffentlicht:
  • 31. Oktober 2016
  • Abmessungen:
  • 156x234x8 mm.
  • Gewicht:
  • 224 g.
  Versandkostenfrei
  Versandfertig in 1-2 Wochen.

Über Bruno Blanchet

Alle Bücher von Bruno Blanchet anzeigen

Beschreibung von Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVerif

Focuses on the verification of specifications of protocols in the symbolic model. ProVerif is an automatic symbolic protocol verifier. This survey presents an overview of the research on ProVerif and is the most comprehensive text available on the topic.

Kund*innenbewertungen von Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVerif



Andere kauften auch ...
Ähnliche Bücher finden
Das Buch Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVerif ist in den folgenden Kategorien erhältlich:

Willkommen bei den Tales Buchfreunden und -freundinnen

Jetzt zum Newsletter anmelden und tolle Angebote und Anregungen für Ihre nächste Lektüre erhalten.