Formal Models and Techniques for Analyzing Security Protocols
- A Tutorial
- Indbinding:
- Paperback
- Sideantal:
- 134
- Udgivet:
- 13. november 2014
- Størrelse:
- 156x234x7 mm.
- Vægt:
- 200 g.
- 8-11 hverdage.
- 9. december 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 Formal Models and Techniques for Analyzing Security Protocols
Provides the reader with a tutorial on some modern techniques to model and automatically analyse security protocols. Given the large body of work in this area, it does not aim to be exhaustive so the focus is on some selected methods and results.
Brugerbedømmelser af Formal Models and Techniques for Analyzing Security Protocols
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 Formal Models and Techniques for Analyzing Security Protocols findes i følgende kategorier:
© 2024 Pling BØGER Registered company number: DK43351621