Privacy Protocols

Foundations of Security, Protocols, and Equational Reasoning - Lecture Notes in Computer Science ◽

10.1007/978-3-030-19052-1_12 ◽

2019 ◽

pp. 167-191

Author(s):

Jason Castiglione ◽

Dusko Pavlovic ◽

Peter-Michael Seidel

Download Full-text