Shor and Preskill's and Mayers's security proof for the BB84 quantum key distribution protocol D. Mayers Eur. Phys. J. D, 18 2 (2002) 161-170 Published online: 15 February 2002 DOI: 10.1140/epjd/e20020020