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