How to Guarantee Secrecy for Cryptographic Protocols

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…