Weakening the perfect encryption assumption in Dolev-Yao adversaries
scientific article; zbMATH DE number 2184096