Finding Intruder Knowledge with Cap-Matching

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

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

2019 ◽

pp. 39-53

Author(s):

Erin Hanna ◽

Christopher Lynch ◽

David Jaz Myers ◽

Corey Richardson

Download Full-text