|
[FGHM11]
V. Fern'ández, M.-J. Garc'ia-Mart'inez, L. Hern'andez-Encinas and A. Marti'in.
Formal Verification of the Security of a Free-Space Quantum Key Distribution System.
In Proc. 2011 World Congress in Computer Science, Computer Engineering, and Applied Computing (WORLDCOMP'11), 2011 International Conference on Security and Management (SAM'11).
2011.
[bib]
|
|
Downloads:
 bib
|
|
Links:
[Google]
[Google Scholar]
|