TY  - RPRT
TI  - How to Guarantee Secrecy for Cryptographic Protocols
AU  - Danièle Beauquier
AU  - Frédéric Gauche
PY  - 2007
UR  - https://arxiv.org/abs/cs/0703140
ID  - cs/0703140
ER  -