TY  - RPRT
TI  - A Theorem for Secrecy in Tagged Protocols Using the Theory of Witness-Functions
AU  - Jaouhar Fattahi
PY  - 2018
UR  - https://arxiv.org/abs/1803.08151
ID  - 1803.08151
ER  -