@InProceedings{FGHM11,
author={V. Fern{\'{a}}ndez and M.-J. Garc{\'{i}}a-Mart{\'{i}}nez and L. Hern{\'{a}}ndez-Encinas and A. Marti{\'{i}}n},
title={Formal Verification of the Security of a Free-Space Quantum Key Distribution System},
booktitle={Proc. 2011 World Congress in Computer Science, Computer Engineering, and Applied Computing (WORLDCOMP'11), 2011 International Conference on Security and Management (SAM'11)},
year={2011},

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