欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
位置：立项数据库 > 立项详情页
中文摘要：
研究量子密钥分配协议无条件安全性证明的一般方法与原则，利用该原则既可证明量子密钥分配协议的安全性，亦可指导协议的改进与设计。研究量子密钥分配协议的安全性和有效性的性能关系模型，利用该模型实现量子密钥分配协议性能的最优化。
结论摘要：
本项目主要研究量子密码协议的形式化分析方法、量子密码协议的安全性与效率的关系模型以及新型量子密码协议的设计。提出了量子密码协议的BAN逻辑证明方法、量子密码协议的Petri网建模及安全性分析方法、量子密码协议的错误序列模型分析法；建立了噪声信道模型，通过调整协议和噪声信道的一些参数来使协议的安全性和效率达到一个最佳的统一；提出了一些高效、可实现性强、抗噪声或具有特殊功能的量子密码协议。
成果综合统计
期刊论文
会议论文
专利
获奖
著作
期刊论文
相关项目
张权的项目
