@InProceedings{NPBG05,
author={R. Nagarajan and N. Papanikolaou and G. Bowen and S. Gay},
title={An Automated Analysis of the Security of Quantum Key Distribution},
booktitle={Proc. 3rd International Workshop on Security Issues in Concurrency (SecCo'05)},
year={2005},

editor={},
pages={},
organization={},
publisher={},
series={},
volume={},
address={},
month={},
note={},
key={}
}