@ARTICLE {5720,
author={D. Basin and C. Caleiro and J. Ramos and L. Viganò},
doi={10.1016/j.tcs.2011.04.006},
journal={Theoretical Computer Science},
title={Distributed temporal logic for the  analysis of security protocol models},
year={2011},
month={July},
volume={412},
number={31},
pages={4007-4043},
ISSN={0304-3975}
}