TY  - RPRT
TI  - Term-based composition of security protocols
AU  - Bela Genge
AU  - Piroska Haller
AU  - Ovidiu Ratoi
AU  - Iosif Ignat
PY  - 2009
DO  - 10.1109/aqtr.2008.4588741
UR  - https://arxiv.org/abs/0908.3083
ID  - 0908.3083
ER  -