@ARTICLE {2417,
author={C. Caleiro and L. Viganò and D. Basin},
doi={},
journal={Theoretical Computer Science},
title={Deconstructing Alice and Bob},
year={2005},
month={January},
volume={135},
number={1},
pages={3-22},
ISSN={0304-3975}
}