Renato Renner: Quantum Key Distribution. Encyclopedia of Algorithms 2008