77 citations
1 paper · 2 filters
Danièle Beauquier, Frédéric Gauche
In this paper we propose a general definition of secrecy for cryptographic protocols in the Dolev-Yao model. We give a sufficient condition ensuring secrecy for protocols where rul…