Protocols, Strands, and Logic: Essays Dedicated to Joshua Guttman on the Occasio
112,82 €
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.
Jetzt bei Ebay:
