张盛
- 作品数:10 被引量:12H指数:2
- 供职机构:国防科学技术大学更多>>
- 发文基金:国家自然科学基金更多>>
- 相关领域:电子电信理学自动化与计算机技术机械工程更多>>
- 量子安全通信理论研究
- 量子信息学是近三十年来兴起的一门新型交叉学科,它的内容涉及到计算机科学、物理学以及数学等多门经典学科。量子信息学的特点是利用量子力学的基本原理实现信息编码、信息处理以及信息传输等任务。例如,量子力学与计算机科学结合便产生...
- 张盛
- 关键词:量子信息量子密码量子通信量子网络量子密钥分配
- 量子密钥分配协议的petri网建模分析
- 介绍了BB84协议的Petri网建模方法,提出了一种建立在Petri网模型基础上的量子密钥分配协议的安全性分析方法,可动态地分析各个安全参数对安全性能的影响,提高量子密钥分配协议的安全性分析效率.
- 张盛王剑范琏张权
- 关键词:量子密钥分配协议PETRI网
- 文献传递
- 基于压缩态的多方与多方量子秘密共享被引量:2
- 2011年
- 提出了一种基于连续变量压缩态的多方对多方的量子秘密共享协议.该协议中,Alice集团中的成员将要共享的秘密信息直接编码在由Bob集团制备的量子态上.两个集团Alice和Bob共享一组经典秘密,当且仅当Alice或者Bob集团中的所有成员共同参与,才能恢复出秘密,任何部分成员都不能恢复出秘密信息.该方案与基于单光子实现的方案相比,效率更高,实现更加简单.分析表明该协议是安全的.
- 张盛张守林王剑唐朝京
- 关键词:量子密码压缩态
- 网络中任意两用户量子密钥分配协议
- 本文主要研究网络中任意两个用户间密钥分配的问题。提出一种网络中任意两用户的量子密钥分配协议,并给出了协议实现的量子逻辑门线路图。分别对存在窃听者(Eve)的情况以及CA不可信的情况进行安全性分析,结果表明,协议能够有效抵...
- 曹博张盛王剑
- 关键词:量子密钥分配量子通信量子逻辑门量子网络
- 文献传递
- 基于纯纠缠态的量子安全直接通信协议被引量:6
- 2009年
- 基于纯纠缠态,提出一种量子安全直接通信协议。通信方利用decoy光子来检测窃听。在保证量子信道的安全后,发送方通过控制非操作和von Neumann测量将秘密消息编码在纯纠缠态上并发送给接收方。由于所有的纯纠缠态都用于传输秘密消息,该协议具有较高的量子比特效率。就实验的可行性来说,该协议可以用当前的技术实现。此外,该协议在噪声量子信道中也是安全的。
- 王剑张盛张守林张权
- 关键词:量子密码量子安全直接通信
- 基于压缩态的连续变量量子对话协议被引量:1
- 2011年
- 在量子密码协议中,比较典型的量子密钥分配协议(QKD)和量子安全直接通信(QSDC)协议都只能实现信息的单向传输。而在量子对话协议中,通信双方Alice和Bob只需要一次通信便可以同时交换秘密信息。目前流行的量子对话协议都是基于离散变量实现,缺点是受到现有技术水平的限制,实用性不强,而连续变量的量子协议可以解决这个问题。基于连续变量提出了一个新的量子对话协议,采用信息论的方法对协议进行分析,结果表明该协议不仅安全,而且信道容量高于离散变量量子对话协议。
- 张守林张盛王剑
- 关键词:量子信息量子密码
- 量子密码协议的BAN逻辑分析
- 量子密码协议的安全性证明一直以来是一个研究难点,虽然 OKD 协议已经被证明是无条件安全的, 但是证明过程相当复杂。到目前为止还没有一种通用的方法能证明所有的量子密码协议,本文提出一种新的方法,即利用 BAN 逻辑分析方...
- 张盛王剑范琏张权
- 关键词:量子安全直接通信纠缠交换
- 文献传递
- 量子密码协议的错误序列模型分析被引量:2
- 2009年
- 量子密码协议具有无条件安全特性,其安全性通过窃听检测来保证.为了提高信息序列错误率的估计值精确度,提出了一种错误序列模型分析方法,通过构造法得到错误序列的二阶统计特性,从而通过经典方法对信息序列中错误序列进行预测,最后得到信息序列的错误率.在单次运行协议情况下,提高了窃听检测的精度,适用于其他量子密码协议.
- 张盛王剑张权唐朝京
- 关键词:量子密码
- 量子密钥分配协议的Petri网建模及安全性分析被引量:1
- 2009年
- 量子密钥分配协议已经被证明具有无条件安全特性,但是证明过程比较复杂,不利于推广到其他量子密码协议的安全性分析和证明中。为了简化量子密码协议的安全性证明以及建立一种通用的证明方法,基于Petri网提出一种量子密钥分配协议的形式化分析方法,根据Biham的等效对称化攻击模型,将协议分为主体模型和攻击模型两部分,建立了BB84协议的Petri网模型,然后对模型进行安全性分析,分析结果表明,BB84协议是无条件安全的。该方法提高了安全性分析效率,形式上简洁统一,容易推广到其他量子密码协议的安全性分析中。
- 张盛王剑张权唐朝京
- 关键词:量子信息形式化分析PETRI网建模
- 量子密码协议的形式化分析方法研究
- 量子密码协议具有无条件安全的特性,但是其安全性证明一直是研究和设计量子密码协议的难点,虽然量子密钥分配已经被证明是无条件安全的,但是其证明过程比较复杂。形式化是协议分析的主要手段,利用形式化方法对量子密码协议进行分析,可...
- 张盛
- 关键词:量子密码量子密钥分配BAN逻辑PETRI网形式化