Unconditional security in quantum cryptography

ABSTRACT

Basic techniques to prove the unconditional security of quantum crypto graphy are described. They are applied to a quantum key distribution protocol proposed by Bennett and Brassard [1984]. The proof considers a practical variation on the protocol in which the channel is noisy and photos may be lost during the transmission. Each individual signal sent into the channel must contain a single photon or any two-dimensional system in the exact state described in the protocol. No restriction is imposed on the detector used at the receiving side of the channel, except that whether or not the received system is detected must be independent of the basis used to measure this system.

REFERENCES

• 1: BARG, A. 1997. Complexity issues in coding theory. Electronic Colloquium on Computational Complexity Report TR97-046 (ISSN 1433-8092, 4th Year, 46th Report), ftp://ftp.eccc.uni-trier.de/ pub/eccc/reports/1997/TR97-046/index.html.
• 2: BENNETT, C. H. 1992. Quantum cryptography using any two nonorthogonal states. Phys. Rev. Lett. 68, 21, May 25, 1992, 3121-2124.
• 3: Charles H. Bennett , François Bessette , Gilles Brassard , Louis Salvail , John Smolin, Experimental quantum cryptography, Journal of Cryptology, v.5 n.1, p.3-28, 1992
• 4: BENNETT,C.H.,AND BRASSARD, G. 1984. Quantum cryptography: Public key distribution and coin tossing. Proceedings of IEEE International Conference on Computers, Systems and Signal Processing (Bangalore, India, Dec.). IEEE Computer Society Press, Los Alamitos, Calif., pp. 175-179.
• 5: Charles H. Bennett , Gilles Brassard , Claude Crépeau , Marie-Hélène Skubiszewska, Practical Quantum Oblivious Transfer, Proceedings of the 11th Annual International Cryptology Conference on Advances in Cryptology, p.351-366, August 11-15, 1991
• 6: BENNETT,C.H.,BRASSARD, G., POPESCU, S., SCHUMACHER, B., SMOLIN, J., AND WOOTTERS,W.K. 1966. Phys. Rev. Lett. 76, 722-725.
• 7: Charles H. Bennett , Gilles Brassard , Jean-Marc Robert, Privacy amplification by public discussion, SIAM Journal on Computing, v.17 n.2, p.210-229, April 1988 [doi>10.1137/0217014]
• 8: BIHAM, E., BOYER, M., BRASSARD, G., VAN DE GRAAF, J., AND MOR, T. 1998. Security of quantum key distribution against all collective attacks. LANL archives quant-ph/9801022.
• 9: BIHAM, E., AND MOR, T. 1996. On the security of quantum cryptography against collective attacks. Phys. Rev. Lett. 78, pp. 2256-2259.
• 10: Gilles Brassard , Claude Crépeau, 25 years of quantum cryptography, ACM SIGACT News, v.27 n.3, p.13-24, Sept. 1996 [doi>10.1145/235666.235669]
• 11: DEUTSCH, D., EKERT,A.K.,JOZSA, R., MACCHIAVELLO, C., POPESCU, S., AND SANPERA, A. 1996. Phys. Rev. Lett. 77, 2818-2821.
• 12: DUMAIS, P., SALVAIL, L., AND MAYERS, D. 2000. Perfectly concealing quantum bit commitment from any quantum one-way permutation. In Eurocrypt '2000. (to be published).
• 13: EKERT, A. 1991. Quantum cryptography based on Bell's theorem. Phys. Rev. Lett. 67, 661.
• 14: INAMORI, H., LUTKENHAUS, N., AND MAYERS, D. 1999. Security of Practical Quantum Key Distribution, presented at the NEC Workshop on Quantum Cryptography, December 1999 (no proceedings).
• 15: Michael J. Kearns, Computational Complexity of Machine Learning, MIT Press, Cambridge, MA, 1990
• 16: LO, H.-K., AND CHAU, H. F. 1998. Security of quantum key distribution. Los Alamos preprint archive quant-ph/9803006, March.
• 17: MACWILLIAMS,F.J.,AND SLOANE, N. J. A. 1977. The theory of error-correcting codes. North- Holland, Amsterdam, The Netherlands.
• 18: Dominic Mayers, On the Security of the Quantum Oblivious Transfer and Key Distribution Protocols, Proceedings of the 15th Annual International Cryptology Conference on Advances in Cryptology, p.124-135, August 27-31, 1995
• 19: Dominic Mayers, Quantum Key Distribution and String Oblivious Transfer in Noisy Channels, Proceedings of the 16th Annual International Cryptology Conference on Advances in Cryptology, p.343-357, August 18-22, 1996
• 20: MAYERS, D. 1997. Unconditionally secure quantum bit commitment is impossible. Phys. Rev. Lett. 78, 17 (Apr.), pp. 3414-3417.
• 21: MAYERS, D. 2001a. Self-Checking Quantum Apparatus and Violation of Classical Locality. (manuscript).
• 22: MAYERS, D. 2001b. Quantum key distribution is unconditionally secure. Tech. Rep. (in preparation).
• 23: MAYERS, D., AND SALVAIL, L. 1994. Quantum oblivious transfer is secure against all individual measurements. Proceedings of the Workshop on Physics and Computation, PhysComp'94, (Dallas, Tex., Nov.). pp. 69-77.
• 24: Dominic Mayers , Andrew Yao, Quantum Cryptography with Imperfect Apparatus, Proceedings of the 39th Annual Symposium on Foundations of Computer Science, p.503, November 08-11, 1998
• 25: PERES, A. 1993. Quantum Theory: Concepts and Methods. Kluwer Academic Press, Dordrecht, Germany.
• 26: SHOR,P.W.,AND PRESKILL, J. 2000. Simple proof of security of the BB84 quantum key distribution protocol. Phys. Rev. Lett. 85, 441.
• 27: WEGMAN,M.N.,AND CARTER, J. L. 1981. New hash function and their use in authentication and set equality, J. Comput. Syst. Sci. 22, 265-279.
• 28: YAO, A. 1995. In Proceedings of the 26th Symposium on the Theory of Computing, (June) ACM, New York, pp. 67-75.

INDEX TERMS

Primary Classification:
  E. Data
  E.3 DATA ENCRYPTION
      Subjects: Public key cryptosystems

General Terms:
Security

Keywords:
quantum cryptography, quantum information theory, unconditional security