@ARTICLE {2064,
author={P. Adão and P. Mateus},
doi={10.1016/j.entcs.2006.12.009},
journal={Theoretical Computer Science},
title={A process algebra for reasoning about quantum security},
year={2007},
month={February},
volume={170},
number={ },
pages={3-21},
ISSN={0304-3975}
}