Computing knowledge in security protocols under convergent equational theories
scientific article; zbMATH DE number 6057740
scientific article