@ARTICLE {1794,
author={P. Adão and P. Mateus and T. Reis and L. Viganò},
doi={10.1016/j.entcs.2006.07.009},
journal={Theoretical Computer Science},
title={Towards a quantitative analysis of security protocols},
year={2006},
month={June},
volume={164},
number={3},
pages={3-25},
ISSN={0304-3975}
}