Deciding knowledge in security protocols under equational theories (2004)

by M Abadi, V Cortier
Venue:In Proc. 31st Int. Coll. Automata, Languages, and Programming (ICALP’2004