Formal Models and Techniques for Analyzing Security Protocols: A Tutorial - Foundations and Trends (R) in Programming Languages - Veronique Cortier - Bøger - now publishers Inc - 9781601989024 - 13. november 2014
Ved uoverensstemmelse mellem cover og titel gælder titel

Formal Models and Techniques for Analyzing Security Protocols: A Tutorial - Foundations and Trends (R) in Programming Languages

Veronique Cortier

Pris
DKK 750

Bestilles fra fjernlager

Forventes klar til forsendelse 26. jun. - 3. jul.

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel

Formal Models and Techniques for Analyzing Security Protocols: A Tutorial - Foundations and Trends (R) in Programming Languages

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.

134 pages

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 13. november 2014
ISBN13 9781601989024
Forlag now publishers Inc
Antal sider 134
Mål 156 × 234 × 7 mm   ·   199 g
Sprog Engelsk  

Se alt med Veronique Cortier ( f.eks. Paperback Bog )