Shor and Preskill's and Mayers's security proof for the BB84 quantum key distribution protocolD. MayersEur. Phys. J. D, 18 2 (2002) 161-170DOI: https://doi.org/10.1140/epjd/e20020020