TY  - RPRT
TI  - An Automated Analysis of the Security of Quantum Key Distribution
AU  - Rajagopal Nagarajan
AU  - Nikolaos Papanikolaou
AU  - Garry Bowen
AU  - Simon Gay
PY  - 2005
UR  - https://arxiv.org/abs/cs/0502048
ID  - cs/0502048
ER  -