2 citations · 2 across the 1 of their papers we have counts for
1 paper · 1 filter
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…