Gjør som tusenvis av andre bokelskere
Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.
Ved å abonnere godtar du vår personvernerklæring.Du kan når som helst melde deg av våre nyhetsbrev.
Formal Models and Techniques for Analyzing Security Protocols
- A Tutorial
- Bindende:
- Paperback
- Sider:
- 134
- Utgitt:
- 13. november 2014
- Dimensjoner:
- 156x234x7 mm.
- Vekt:
- 200 g.
-
BLACK NOVEMBER
Gratis frakt
Leveringstid:
2-4 uker
Forventet levering: 12. desember 2024
Beskrivelse av 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.
Brukervurderinger av Formal Models and Techniques for Analyzing Security Protocols
Vurder denne boken
Du må være innlogget for å vurdere denne boken.Andre har også kjøpt..
Finn lignende bøker
Boken Formal Models and Techniques for Analyzing Security Protocols finnes i følgende kategorier:
Du kan når som helst melde deg av våre nyhetsbrev.
© 2024 Tales.no
