一种新颖的基于类GHZ态的两方半量子密钥分配协议

本文提出了一种新颖的两方半量子密钥分配(Semiquantum Key Distribution, SQKD)协议,该协议只使用一种类GHZ态.提出的SQKD协议可以实现在无第三方的情况下在一个具有无限量子能力的量子方和一个具有有限量子能力的经典方之间创建一个共享隐秘密钥.该协议不需要Hadamard门或者纠缠交换操作.详细的安全性分析表明,提出的SQKD协议能够抵御来自外部窃听者的几种著名攻击,如特洛伊木马攻击、纠缠-测量攻击、双重控制非攻击、测量-重发攻击和截获-重发攻击.     

一个高效的量子安全多方计算协议

安全多方计算是一类重要的密码原语,在电子投票、数据挖掘、区块链、云计算等领域有着广泛的应用.本文利用量子纠缠特性和欧拉定理,提出了一个高效的量子安全多方计算协议.协议中,所有参与方在一个半可信第三方的帮助下实现多元多项式函数的安全计算.性能分析表明该协议是正确的,并且可以抵抗一些常见的外部和内部攻击.此外,本文所提协议不仅可提高粒子的检测效率,还能有效降低协议所需的通信复杂度.     

具有双向认证功能的多方量子密钥分发

基于Greenberger-Horne-Zeilinger态的纠缠特性,设计一个具有双向认证功能的多方量子密钥分发协议.在协议中,量子网络中的任意两个用户均可在一个半可信第三方的帮助下,共享一个安全的会话密钥.其中,利用带密钥的单向hash函数技术对每个用户的身份进行认证.最后,对协议的安全性进行分析,表明该协议在理论上是安全的.     

垂直划分多决策表下基于条件信息熵的隐私保护属性约简

针对垂直划分多决策表,利用半可信第三方和交换加密体制,设计了一个安全多方计算交集基数协议。利用该协议设计了安全多方计算信息熵和安全多方计算条件信息熵的解决方案,提出了一种基于条件信息熵的隐私保护属性约简算法。该算法基于粗糙集信息观的约简理论实现了分布式环境下全局属性约简的求解,使各参与方在不共享其隐私信息的前提下达到集中式属性约简的效果,分析结果表明该算法是有效可行的。     

一个基于多方的公平交换协议

基于秘密共享技术,提出一种有效的多方公平交换协议.该协议使用一个在线的可信第三方(TTP)来帮助参与者实现公平交换.使用在线的TTP协议的优势在于在线的TTP是半可信的.协议的公平性也得到证明.     

基于纠缠交换的第三方密钥分配

为了提高量子密钥分配协议的安全性,采用量子纠缠交换中一个有趣的规律,实现了基于纠缠交换的第三方密钥分配协议.在基于认证的基础上,能有效抵抗TC不诚实引起的安全问题,具有较高的传输效率.     

使用QED技术制备簇态和实现量子信息的传输

提出了一种在腔QED中制备纠缠态并进行量子信息传输的协议,该协议指出量子信息的传输可以在制备纠缠态之后通过纠缠态的分配来实现量子信息的传输．也可以在制备纠缠态的过程中实现量子信息在原子间的直接交换。     

一种可控量子隐形传态身份认证的方案

提出了一种实现可控量子隐形传态身份认证的方案.可信第三方Charlie利用纠缠交换原理对接收者Bob进行身份认证,在确定Bob的合法身份并将消息反馈给发送者Alice后,Alice再对量子信息进行传送.本方案能有效解决假冒身份攻击,从而保证量子信息传送的安全性.     

基于椭圆曲线的公平交换协议

基于椭圆曲线密码体制,提出了一个数字签名方案,并据此建立了一个适用于电子商务的公平交换协议,该协议通过在交易双方之间建立一个安全承诺作为凭证交换数字签名,以达到摆脱可信第三方参与的目的。此公平交换协议具有一般椭圆曲线密码体制密钥较短、安全性能良好的特点,能够摆脱第三方参与,提高运行效率,并同时保证交换双方的模糊性。分析证明,该协议具有可验证性、不可否认性、不可滥用性以及公平性等特点。     

抗共谋攻击的多方量子密钥协商协议

Wang等基于四量子比特对称W态提出/了多方量子密钥协商协议(MQKA2018W协议),通过分析和证明MQKA2018W协议的安全性，发现该协议无法抵抗参与者的共谋攻击，即2个不诚实的参与者可以通过共谋的方式窃取到其他诚实参与者的密钥信息.针对MQKA2018W协议中存在的这个安全性问题，可增加一个半可信的第三方服务器改进MQKA2018W协议，并提出一个能抵抗参与者共谋攻击的安全的多方量子密钥协商协议.综合分析表明，改进协议具有正确性、公平性和隐私性，且能安全抵抗内部攻击和外部攻击.     

基于W态和EPR对受控概率隐形传输类团簇态

提出一个利用部分纠缠EPR对和W态作为量子信道,在可信第三方（Charlie）的控制下,发送方（Alice）进行3次Bell基测量、一次Hadmard变换和单粒子测量,接收方（Bob）引进一个辅助粒子,进行相应的幺正操作,则可以以一定的概率实现类团簇态的隐形传输.     

一个带半可信第三方的公平非否认交换协议

以带盲密文的可验证加密作为基础，构造了一种新的带有半可信第三方的非否认协议，该协议是第一个使用半可信第三方的非否认协定，它有效地避免了参与各方否认曾经传输或曾经收到一个特定消息；不仅保证了不可否认性，而且不破坏协议的公平性，由于使用的是半可信第三方，从而协议更实用。     

任意三粒子态的概率隐形传输

给出了1个任意三粒子态的概率隐形传输方案.信道由1个二粒子部分纠缠态,1个三粒子部分纠缠GHZ态和1个三粒子部分纠缠W态组成.发送者作3次Bell基测量,然后接收者在第3方的帮助下(执行Hadamard操作和简单测量)引入合适的么正变换,就可以使1个任意三粒子态以确定的概率成功地由发送者传给接收者.成功的概率是由3个部分纠缠态的最小的系数决定的.     

基于量子签名的量子隐形传态

提出了利用三粒子最大纠缠态作为信道的量子信息签名的隐形传态方案.方案中引入一个忠实的第三方作为公证,发送方传输一个单粒子态给接收方.通讯双方与公证人间各自建立密钥,从而保证通讯双方对传态的发送或接收过程不可抵赖.     

基于量子隐形传态的密钥交换与身份认证方案

量子密钥交换与身份认证是量子保密通信研究的核心内容,量子资源的充分利用,能有效地增加通信的保密。方案根据量子纠缠交换与隐形传态的基本原理及安全协议的设计原则,设计实现了一个量子密钥交换与身份认证同步实现方案,方案设计巧妙,充分利用了量子隐形传态和量子纠缠特性,增强了通信的安全性,有效避免了量子窃听,减少密性放大过程和经典信道所带来的安全威胁。     

基于GHZ态的三方量子安全直接通信

利用Greenberger-Home—Zeilinger态的纠缠特性,提出一个三方量子安全直接通信方案,参与者通过对Greenberger—Home—Zeilinger态进行单粒子幺正操作,编码其一比特经典消息,最后每个参与者都可根据自身的秘密消息获得另外两个参与者发送的秘密消息。此外,对协议在理想情况下的安全性进行简要的分析,表明该协议是安全的。     

一种基于恶意主体的通用公平交换协议

在公平交换协议中,无可信第三方的协议不能实现较充分的公平性,离线可信第三方协议在恶意主体的情况下仍需第三方的介入,且效率大大降低.另外,现有的公平交换协议大多针对特定项的交换,通用性不强.针对以上不足,采用低负荷在线第三方的方法,提出了一种基于恶意主体的通用公平交换协议,并给出了可能影响协议公平性的各种属性分析.分析结...     

新的可验证加密方案及其应用

由于越来越多的电子商务在 INTERNET上执行 ,公平交换协议也就变得越来越重要 .可验证加密是公平交换协议重要的基础之一 ,所以设计好的可验证加密方案对公平交换协议的实现至关重要 .本文提出了一种全新的公开可验证加密方案 ,并在此基础上设计了一个适用于半可信第三方的公平交换协议的盲化可验证加密方案 .这两种方案简单、高效、易于实现     

未知二粒子纠缠态的辅助克隆

提出一个以三粒子GHZ态为量子信道的未知二粒子纠缠态及其正交态的概率克隆方案.此方案中,发送方Alice和接收方Bob对未知态的信息一无所知.首先Alice对他的粒子实施贝尔测量,在得知Alice的测量结果后,通过引入辅助粒子并执行控制非门操作后,Bob可成功地接收未知态.随后在态的制备方Victor的帮助下,Alice以一定的概率获得未知二粒子纠缠态及其正交态的复制.该方案同样适合量子信道是非最大纠缠态的情况.此外,量子纠缠资源和经典信息损耗在该方案中均得到了节省.     

基于ATL的KM非否认协议形式化分析

研究ATL逻辑及其在电子商务协议形式化分析中的应用,用ATL逻辑语言对KM协议进行描述与分析,并对协议的各参与方和可信第三方TTP的基本行为进行建模.