TY  - RPRT
TI  - Composing security protocols: from confidentiality to privacy
AU  - Myrto Arapinis
AU  - Vincent Cheval
AU  - Stéphanie Delaune
PY  - 2014
UR  - https://arxiv.org/abs/1407.5444
ID  - 1407.5444
ER  -