@ARTICLE {1863,
author={C. Caleiro and L. Viganò and D. Basin},
doi={10.1016/j.tcs.2006.08.041},
journal={Theoretical Computer Science},
title={On the semantics of Alice&Bob specifications of security protocols},
year={2006},
month={May},
volume={367},
number={1-2},
pages={88-122},
ISSN={0304-3975}
}