@ARTICLE {2419,
author={C. Caleiro and L. Viganò and D. Basin},
doi={},
journal={Theoretical Computer Science},
title={Metareasoning about security protocols using distributed temporal logic},
year={2005},
month={January},
volume={125},
number={1},
pages={67-89},
ISSN={0304-3975}
}