Protocols, Strands, and Logic
Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday
Häftad, Engelska, 2021
AvDaniel Dougherty,José Meseguer,Sebastian Alexander Mödersheim,Paul Rowe,Jose Meseguer,Sebastian Alexander Modersheim,Sebastian Ale Meseguer, José
1 039 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