Deciding knowledge in security protocols under equational theories
scientific article; zbMATH DE number 5083532