Computationally sound implementations of equational theories against passive adversaries
cryptographic models for security protocols
scientific article; zbMATH DE number 5544372