Protocols, Strands, and Logic
Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday
Häftad, Engelska, 2021
Av Daniel Dougherty, José Meseguer, Sebastian Alexander Mödersheim, Paul Rowe, Jose Meseguer, Sebastian Alexander Modersheim, Sebastian Ale Meseguer, José
1 079 kr
Beställningsvara. Skickas inom 10-15 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.It is one of several “symbolic approaches” to security protocol analysis in which the underlying details of cryptographic primitives are abstracted away, allowing a focus on potential flaws in the communication patterns between participants.
Produktinformation
- Utgivningsdatum2021-11-19
- Mått155 x 235 x 24 mm
- Vikt657 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor425
- FörlagSpringer Nature Switzerland AG
- ISBN9783030916305