DMCA

Deciding knowledge in security protocols under equational theories (2004)

by Martín Abadi , Véronique Cortier
Venue:In Proc. 31st International Colloquium on Automata, Languages and Programming (ICALP’04), volume 3142 of LNCS
Citations:109 - 9 self