量子密钥分配协议已经被证明具有无条件安全特性,但是证明过程比较复杂,不利于推广到其他量子密码协议的安全性分析和证明中.为了简化量子密码协议的安全性证明以及建立一种通用的证明方法,基于Petri网提出一种量子密钥分配协议的形式化分析方法,根据Biham的等效对称化攻击模型,将协议分为主体模型和攻击模型两部分,建立了BB84协议的Petn网模型,然后对模型进行安全性分析,分析结果表明, BB84协议是无条件安全的.该方法提高了安全性分析效率,形式上简洁统一,容易推广到其他量子密码协议的安全性分析中.
参考文献
| [1] | Lo H K,Chau H F.Unconditional security of quantum key distribution over arbitrarily long distances[J].Science,1999,283:2050-2056,arXive e-print quant-ph/9803006. |
| [2] | Lo H K.Proof of unconditional security of six-state quantum key distribution scheme[J].Quantum Information and Computation,2001,1(2):81-94. |
| [3] | Lo H K,Chau H F.Unconditional security of quantum key distribution over arbitrarily long distances[J].Science,1999,283:2050-2056. |
| [4] | Gottesman D,Lo H K.Proof of security of quantum key distribution with two-way classical communications[J].IEEE Transactions on Information Theory,2003,49(2):457-475. |
| [5] | Dominic Mayers.Unconditional security in quantum cryptography[J].Journal of the A CM,2001,48(3):351-406. |
| [6] | Biham E,Boyer M,Boykin P O,et al.A Proof of the Security of Quantum Key Distribution[OL].arXiv:quant-ph/9912053 vl 11 Dec 1999. |
| [7] | Bennett C H,Brassard G.Quantum crypotography:public key distribution and coin tossing[C].Proc.IEEE Int.Conference on Computers,Systems and Signal Processing[M].New York:1984. |
上一张
下一张
上一张
下一张
计量
- 下载量()
- 访问量()
文章评分
- 您的评分：
-
10%
-
20%
-
30%
-
40%
-
50%