TY  - RPRT
TI  - Witness-Functions versus Interpretation-Functions for Secrecy in Cryptographic Protocols: What to Choose?
AU  - Jaouhar Fattahi
AU  - Mohamed Mejri
AU  - Marwa Ziadia
AU  - Takwa Omrani
AU  - Emil Pricop
PY  - 2017
DO  - 10.1109/smc.2017.8123025
UR  - https://arxiv.org/abs/1707.09078
ID  - 1707.09078
ER  -