Deciding knowledge in security protocols under equational theories. (2006)

by Martın Abadi, Veronique Cortier
Venue:Theoretical Computer Science,