Weakening the perfect encryption assumption in Dolev-Yao adversaries.