How to Guarantee Secrecy for Cryptographic Protocols - Danièle Beauquier; Frédéric Gauche (CoRR, 2007)