Protocols, strands, and logic: essays dedicated to joshua guttman on the occasion of his 66.66th birthday
Éditeur :
Springer Nature Switzerland AG
ISBN :
9783030916305
Date de publication :
19 nov. 2021
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
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.