TY  - RPRT
TI  - A framework for compositional verification of security protocols
AU  - Suzana Andova
AU  - Cas Cremers
AU  - Kristian Gjosteen
AU  - Sjouke Mauw
AU  - Stig F. Mjolsnes
AU  - Sasa Radomirovic
PY  - 2007
UR  - https://arxiv.org/abs/cs/0611062
ID  - cs/0611062
ER  -