Normal view
MARC view
Guttman, Joshua Editor (Personal Name)
Machine generated authority record.
Work cat.: (OSt)291981: Guttman, Joshua, Foundations of security, protocols, and equational reasoning (e-book), 2019