A Long, Slow Conversation

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

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

2019 ◽

pp. 6-7

Author(s):

Jon Millen

Download Full-text