%0 Journal Article
%T 基于模型检测的半量子密码协议的安全性分析<br>Security Analysis of Semi-Quantum Cryptography Protocols by Model Checking
%A 杨帆
%A 杨国武
%A 郝玉洁
%J 电子科技大学学报
%D 2017
%R 10.3969/j.issn.1001-0548.2017.05.013
%X 对于密码协议而言，安全性是其最核心的关键问题，对于量子密码协议来说也一样。研究人员可以通过各种手段证明这些协议是安全的，但存在极大的困难，因为这对数学功底有着很高的要求。该文利用全自动化的技术——模型检测，采用了形式化验证方法，即基于概率的模型检测工具PRISM，来对半量子密码协议进行建模并验证其安全性。该方法避免了传统基于数学方法验证的繁杂，提高了验证的速度和效率。验证的结果也表明，当传输足够多的光子时，检测出窃听的概率无限趋近于1，和全量子密码协议一样，半量子密码协议也是安全的。<br>
%K 窃听
%K 模型检测
%K PRISM
%K 半量子密码&lt
%K br&gt
%U http://manu50.magtech.com.cn/dzkjdx/CN/abstract/abstract1610.shtml