Decision procedures for the security of protocols with probabilistic encryption against offline dictionary attacks
scientific article; zbMATH DE number 5119734