Research Of Universally Composable Security In The Quantum Secret Communication Protocol

Quantum secret communication is a new communication technology based on information theory and quantum physics. Different from the traditional communication technology, quantum secret communication use quantum characteristics of microscopic particles to prevent the leakage of information. Its security is based on the Heisenberg uncertainty principle and quantum no-cloning principle. Quantum secret communication can achieve unconditional secure on the theory aspects. With the development of technology, the application of the quantum communication technology get further extension. The relevant safety requirements of those applications also become more and more complicated. Whether the protocol system can still guarantee its security has always been a uncertain question when combined with other protocols to construct a complex protocol system. This article study the universal composable security of quantum secret communication protocol, and the main content is as the follows:1.We study Unruh’s QUC protocol model. Then we ameliorate Unruh’s QUC protocol model and construct the QJUC protocol model. We analysis the QJUC model’s security and show that it is as secure as QUC model. The QJUC protocol model is better than the QUC protocol model as the QJUC model needs less resources and has stronger modeling ability.2.We construct a QKD system model based on the QUC model and analysis the QUC security of the QKD system model. According to the QUC model, QKD system can be divided into four parties:the QKD protocol, the privacy amplification, the authentication and the error correction. We analysis the QUC security of each modules respectively. Analysis shows that these four modules satisfy QUC security. Therefore the QKD system composed of these modules is also QUC secure.3. We research the problem about the structure of QKD network. We construct a model of the trusted relay QKD network based on QJUC theory. Additionally, we construct the multi-session extensions of the F_enldecrypt, F_KD, F_EC, F_PA, F_Ath and analysis the security of the new model. According to the QJUC theory, if all the sub-protocols are QJUC secure, then the whole system consisted by those sub-protocols are also QJUC secure.