Finding Intruder Knowledge with Cap-Matching. - Erin Hanna; Christopher Lynch; David Jaz Myers; Corey Richardson (Foundations of Security, Protocols, and Equational Reasoning, 2019)