Rajagopal Nagarajan Nikolaos Papanikolaou Garry Bowen Simon J. Gay An Automated Analysis of the Security of Quantum Key Distribution http://arxiv.org/abs/cs/0502048 2005 CoRR abs/cs/0502048 db/journals/corr/corr0502.html#abs-cs-0502048 informal publication