Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVerif
- Indbinding:
- Paperback
- Sideantal:
- 152
- Udgivet:
- 31. oktober 2016
- Størrelse:
- 156x234x8 mm.
- Vægt:
- 224 g.
- 8-11 hverdage.
- 28. november 2024
Normalpris
Abonnementspris
- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding
Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding
Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.
Beskrivelse af 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.
Brugerbedømmelser af Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVerif
Giv din bedømmelse
For at bedømme denne bog, skal du være logget ind.Andre købte også..
Find lignende bøger
Bogen Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVerif findes i følgende kategorier:
© 2024 Pling BØGER Registered company number: DK43351621
