Marknadens största urval
Fri frakt över 199 kr
Snabb leverans
Hjälp
Logga in
  1. Hem
  2. Böcker
  3. Företagande & lärande
  4. Data & 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

av Bruno Blanchet

del av Foundations and Trends (R) in Privacy and Security-serien

Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVerif av Bruno Blanchet
Om 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.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9781680832068
  • Format:
  • Häftad
  • Sidor:
  • 152
  • Utgiven:
  • 31. oktober 2016
  • Mått:
  • 156x234x8 mm.
  • Vikt:
  • 224 g.
  Fri leverans
Leveranstid: 2-4 veckor
Förväntad leverans: 6. december 2024

Om Bruno Blanchet

Se alla böcker av Bruno Blanchet

Beskrivning av 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.

Användarnas betyg av Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVerif



Andra köpte även...
Hitta liknande böcker
Boken Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVerif finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.