@ARTICLE {2421,
author={C. Caleiro and L. Viganò and D. Basin},
doi={10.1093/jigpal/jzi048},
journal={Logic Journal of the IGPL},
title={Relating strand spaces and distributed temporal logic for security protocol analysis},
year={2005},
month={January},
volume={13},
number={6},
pages={637-664},
ISSN={1368-9894}
}