量子保密通信协议通用可组合安全性研究
发布时间:2018-02-23 21:22
本文关键词: QUC模型 QJUC模型 量子保密通信网络 量子密钥分配 出处:《国防科学技术大学》2014年硕士论文 论文类型:学位论文
【摘要】:量子保密通信是基于香农信息论和量子物理学而发展起来的新型通信技术。量子保密通信与经典通信不同,主要是利用微观粒子的量子特性实现对信息的保护。量子保密通信的安全性由海森堡不确定性原理以及量子不可克隆原理保证,因此在理论上可以实现无条件安全通信。随着技术的发展,量子保密通信的应用领域也得到进一步扩展,与应用相关的安全需求也越来越复杂。量子保密通信协议能够与其它协议组合成复杂的协议体系,其安全性一直以来都是协议分析的难点。本文从复合角度出发,研究了量子保密通信协议的通用可组合安全性,主要包括了以下三个方面:1、分析了Unruh等人的QUC模型,针对Unruh的QUC模型存在的不足进行了改进,提出了QJUC协议模型和QJUC组合推论,并对QJUC组合推论进行了证明。对QUC模型和QJUC模型的性能进行了对比分析,分析结果表明QJUC模型相比于QUC模型减少了建立协议分析模型所需的资源,优化了模型结构且具有更强的建模能力。2、基于QJUC模型对QKD系统进行了建模,并分析了QKD系统的QJUC安全性。利用QJUC模型模块化的思想,将QKD系统拆分成了四个模块,分别是:QKD协议、秘密放大、认证以及纠错。分别对这四个模块的QJUC安全性进行了分析。分析表明这四个模块均满足QJUC安全性,因此由这些模块构成的QKD系统也是QJUC安全的。3、研究了量子通信网络的体系结构,利用QJUC模型对可信中继QKD网络的密钥提取层进行了建模分析。构建了能够QJUC安全实现F_(enldecrypt)、F_KD/F_EC/ F_PA和F^_Ath的实际协议多会话扩展并分别对各个模块进行安全性分析,分析表明这些模块均满足QJUC安全性,因此由这些模块构成的可信中继QKD网络也是QJUC安全的。
[Abstract]:Quantum communication is a new communication technology based on the development of Shannon information theory and quantum physics. Quantum secret communication is different from the classical communication, mainly to protect the implementation of information based on the characteristics of quantum particles. The security of quantum secure communication by the Heisenberg uncertainty principle and quantum no cloning principle that can be realized unconditionally secure communication in theory. With the development of technology, the application field of quantum secure communication has been further extended, security requirements and application is becoming more and more complex. Quantum secure communication protocol can become complex protocol system in combination with other protocol, its security is always a difficult point. Based on protocol analysis composite view of universal quantum secure communication protocols can be integrated security, mainly includes the following three aspects: 1, analysis of the Unr The QUC model of uh et al., aiming at the shortcomings of QUC model of Unruh was improved, the proposed QJUC protocol model and QJUC combination and QJUC combination of corollary, corollary were proved. The performance of QUC model and QJUC model were analyzed. The analysis results show that the QJUC model is compared to the QUC model reduction analysis is established. Model of resources required for the protocol, optimized the model structure and has stronger modeling capability of.2, QJUC model for modeling QKD system based on QJUC, and analyzes the security of the QKD system using the QJUC model. The idea of modularization, the QKD system will be split into four modules, namely: QKD protocol, secret amplification, authentication and error correction respectively. QJUC on the safety of these four modules are analyzed. The analysis shows that the four modules can meet the safety of QJUC, so QKD system composed of these modules is QJUC security.3, research The architecture of quantum communication network, using the QJUC model of key extraction layer on trusted relay QKD network to carry on the modeling analysis. We construct QJUC security F_ (enldecrypt), F_KD/F_EC/ F_PA and F^_Ath of the actual protocol and multi session extension respectively for each module, security analysis, analysis shows that these modules can meet the QJUC security therefore, composed of these modules trusted relay QKD network and QJUC security.
【学位授予单位】:国防科学技术大学
【学位级别】:硕士
【学位授予年份】:2014
【分类号】:O413;TN918
【参考文献】
相关期刊论文 前3条
1 苏婷;徐秋亮;;可公开验证的UC安全签密协议[J];东南大学学报(自然科学版);2008年S1期
2 张帆;马建峰;文相在;;通用可组合的匿名HASH认证模型[J];中国科学(E辑:信息科学);2007年02期
3 徐海霞,李宝;分布式密钥分发方案的安全性证明[J];软件学报;2005年04期
,本文编号:1527667
本文链接:https://www.wllwen.com/kejilunwen/wltx/1527667.html