经典可证明安全性理论在量子密码协议分析中的应用研究

项目名称： 经典可证明安全性理论在量子密码协议分析中的应用研究

项目编号： No.61272044

项目类型： 面上项目

立项/批准年度： 2013

项目学科： 自动化技术、计算机技术

项目作者： 张兴兰

作者单位： 北京工业大学

项目金额： 60万元

中文摘要： 量子的天然保密特性使量子密码成为密码学研究的一个重要领域。然而，由于实现基础不同，量子密码协议在设计和分析方面与经典密码体制有着许多本质区别。与经典可证明安全性理论相比，量子密码协议的安全性尚缺乏系统的分析过程和严格的数学证明。为了明确量子密码协议的实际安全性，促进经典密码与量子密码有机融合，本课题研究经典可证明安全性理念在量子密码协议安全性分析与证明过程中的应用问题。研究内容包括：1. 基于密码学框架，研究量子密码协议的安全需求和敌手攻击模型；2. 基于信息论原理，研究量子密码协议安全性的形式化定义；3. 基于量子实现原理和经典可证明安全性理念，研究量子密码协议的安全模型和安全性证明方法；4.基于经典模块化设计理念，研究量子密码协议模块化设计与分析的关键理论和方法；通过以上研究，丰富量子密码体制的分析理论，提高量子密码协议的设计水平。

中文关键词： 量子密码协议；量子签名；量子认证；安全分析；安全模型

英文摘要： Because of the natural secrecy of the quantum communication, quantum cryptography is an important research field in cryptography. However, by the different realized methods, there are many essence differences in design and ananlysis between classical cryptography and quantum cryptography. Comparing with classical provable security, there is no systemic analysis method and strict mathematic proof in the securities of quantum cryptography protocols. In order to determine the practical security of quantum cryptography protocols and syncretize classical cryptography and quantum cryptography efficiently, this program will study the application of the classical provable security in the analysis and proof of the security of quantum cryptography protocols. The contents include the following aspects: 1. According to the cryptography framework, studying the secure attributions and attack models of quantum cryptography protocols; 2. Based on the information theory, studying the formal definition of the security of quantum cryptography protocols; 3. Depending on the realized principle of quantum mechanics and the ideas of the classical provable security, studying the secure model and the proof methods of the quantum cryptography protocols. 4. Based on the classical modular design theory, studying the key theory and method

英文关键词： quantum cryptography protocol；quantum signature；quantum anthentication；security analysis；security model