基于模型检测的半量子密码协议的安全性分析

• 作者: 杨国武 杨帆 郝玉洁
• 来源期刊: 电子科技大学学报
• 学科: 工学
• 关键词: 窃听 模型检测 PRISM 半量子密码
• 年，卷（期）: 2017,（5）
• 所属期刊栏目: 计算机工程与应用
• 页码范围: 716-721
• 页数: 6页
• 分类号: TP301.2
• 字数: 4956字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-0548.2017.05.013

摘要

对于密码协议而言,安全性是其最核心的关键问题,对于量子密码协议来说也一样.研究人员可以通过各种手段证明这些协议是安全的,但存在极大的困难,因为这对数学功底有着很高的要求.该文利用全自动化的技术——模型检测,采用了形式化验证方法,即基于概率的模型检测工具PRISM,来对半量子密码协议进行建模并验证其安全性.该方法避免了传统基于数学方法验证的繁杂,提高了验证的速度和效率.验证的结果也表明,当传输足够多的光子时,检测出窃听的概率无限趋近于1,和全量子密码协议一样,半量子密码协议也是安全的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郝玉洁	电子科技大学计算机科学与工程学院	27	325	11.0	17.0
2	杨帆	电子科技大学大数据研究中心	36	128	7.0	9.0
3	杨国武	电子科技大学大数据研究中心	22	84	4.0	8.0