Eli Biham Michel Boyer P. Oscar Boykin Tal Mor Vwani P. Roychowdhury A Proof of the Security of Quantum Key Distribution. 381-439 2006 19 J. Cryptology 4 http://dx.doi.org/10.1007/s00145-005-0011-3 db/journals/joc/joc19.html#BihamBBMR06