TY  - RPRT
TI  - Timed Analysis of Security Protocols
AU  - R. Corin
AU  - S. Etalle
AU  - P. H. Hartel
AU  - A. Mader
PY  - 2005
UR  - https://arxiv.org/abs/cs/0503036
ID  - cs/0503036
ER  -