Deciding Knowledge in Security Protocols under (Many More) Equational Theories

Véronique Cortier
CSFW (2005), pp. 62-76

Abstract