发明名称 一种新的量子电子合同签署方法
摘要 一种新的量子电子合同签署方法,通过初始化阶段、承诺阶段和仲裁阶段,不再基于大数分解或离散对数等数学难题,提高了方案的安全性。其次,新方法不再需要双方事先交换彼此对合同等信息的数字签名,从而使得本发明技术不再依赖于目前的量子数字签名技术,并提高了方案的效率。
申请公布号 CN105591756A 申请公布日期 2016.05.18
申请号 CN201610146871.3 申请日期 2016.03.15
申请人 洛阳师范学院 发明人 王天银;蔡晓秋;魏春艳;刘青青;张瑞玲
分类号 H04L9/32(2006.01)I;H04L9/08(2006.01)I 主分类号 H04L9/32(2006.01)I
代理机构 洛阳公信知识产权事务所(普通合伙) 41120 代理人 宋晨炜
主权项 一种新的量子电子合同签署方法,其特征在于:步骤一、初始化阶段令A, B分别表示合同签署双方,TTP表示可信第三方;<img file="dest_path_image001.GIF" wi="17" he="21" />TTP制备量子态集<img file="dest_path_image002.GIF" wi="80" he="41" />和<img file="dest_path_image003.GIF" wi="81" he="40" />,每个量子态<img file="dest_path_image004.GIF" wi="41" he="43" />和<img file="dest_path_image005.GIF" wi="41" he="38" />随机处于<img file="dest_path_image006.GIF" wi="24" he="28" />,<img file="dest_path_image007.GIF" wi="21" he="28" />,<img file="dest_path_image008.GIF" wi="25" he="28" />和<img file="dest_path_image009.GIF" wi="25" he="28" />四种之一,这里<img file="dest_path_image010.GIF" wi="122" he="45" />,并以00,01,10,11分别表示<img file="920117dest_path_image006.GIF" wi="24" he="28" />,<img file="899574dest_path_image007.GIF" wi="21" he="28" />,<img file="741628dest_path_image008.GIF" wi="25" he="28" />,<img file="136837dest_path_image009.GIF" wi="25" he="28" />,并为所有量子态和所有量子态的经典描述信息指派唯一识别码PIN;<img file="dest_path_image011.GIF" wi="17" he="21" />TTP将量子态集<img file="565589dest_path_image002.GIF" wi="80" he="41" />、识别码PIN和对<img file="388052dest_path_image003.GIF" wi="81" he="40" />的经典描述信息<img file="dest_path_image012.GIF" wi="187" he="29" />安全发送给A,将量子态集<img file="779719dest_path_image003.GIF" wi="81" he="40" />、识别码PIN和对<img file="978619dest_path_image002.GIF" wi="80" he="41" />的经典描述信息<img file="dest_path_image013.GIF" wi="190" he="35" />安全发送给B,同时保存信息<img file="dest_path_image014.GIF" wi="85" he="25" />和识别码PIN;步骤二、承诺阶段承诺阶段约定如果参与方同意承诺合同有效,则接下来用同意基Accept‑basis测量所有量子态;否则用拒绝基Reject‑basis测量;并且约定Accept‑basis指的是:若<img file="dest_path_image015.GIF" wi="53" he="24" />,用Z={<img file="335913dest_path_image006.GIF" wi="24" he="28" />,<img file="391594dest_path_image007.GIF" wi="21" he="28" />}基测量,若<img file="dest_path_image016.GIF" wi="55" he="31" />,用X={<img file="880344dest_path_image008.GIF" wi="25" he="28" />,<img file="509034dest_path_image009.GIF" wi="25" he="28" />}基测量;Reject‑basis指的是:若<img file="32419dest_path_image015.GIF" wi="52" he="24" />,用X={<img file="524580dest_path_image008.GIF" wi="25" he="28" />,<img file="766206dest_path_image009.GIF" wi="25" he="28" />}基测量,若<img file="103646dest_path_image016.GIF" wi="55" he="31" />,用Z={<img file="310899dest_path_image006.GIF" wi="24" he="28" />,<img file="646065dest_path_image007.GIF" wi="21" he="28" />}基测量;假定A和B对合同<img file="dest_path_image017.GIF" wi="17" he="20" />、识别码PIN、时限<img file="dest_path_image018.GIF" wi="9" he="17" />和其它约定信息m达成一致,此时并未对合同C承诺;A和B分别计算<img file="dest_path_image019.GIF" wi="205" he="25" />,其中,<img file="dest_path_image020.GIF" wi="116" he="25" />是方案事先约定采用的无碰撞安全Hash函数,它将任意长度的消息转换为长度为N的比特串;最后A和B根据Hash值<img file="dest_path_image021.GIF" wi="98" he="22" />选择相应的测量基分别测量他们的量子态集<img file="296358dest_path_image002.GIF" wi="80" he="41" />和<img file="266851dest_path_image003.GIF" wi="81" he="40" />,并交换彼此测量结果,不失一般性,假定A首先开始执行承诺协议:<img file="764828dest_path_image001.GIF" wi="17" he="21" />A选择Accept‑basis测量量子态<img file="dest_path_image022.GIF" wi="43" he="44" />,即若<img file="dest_path_image023.GIF" wi="55" he="31" />,A用Z基测量<img file="661109dest_path_image022.GIF" wi="43" he="44" />;若<img file="175529dest_path_image023.GIF" wi="55" he="31" />,A用X基测量<img file="120351dest_path_image022.GIF" wi="43" he="44" />,并分别记测量结果<img file="535152dest_path_image006.GIF" wi="24" he="28" />,<img file="540017dest_path_image007.GIF" wi="21" he="28" />,<img file="977952dest_path_image008.GIF" wi="25" he="28" />,<img file="132990dest_path_image009.GIF" wi="25" he="28" />为<img file="dest_path_image024.GIF" wi="34" he="34" />=00,01,10,11;最后A将测量结果<img file="497237dest_path_image024.GIF" wi="29" he="29" />发送给B;<img file="673004dest_path_image011.GIF" wi="17" he="21" />若B在t时刻内未收到A发送的测量结果<img file="598234dest_path_image024.GIF" wi="34" he="34" />或发现<img file="884859dest_path_image024.GIF" wi="34" he="34" />的第一个比特与<img file="dest_path_image025.GIF" wi="14" he="24" />不相同,则B立即联系TTP执行仲裁协议;否则,B进一步验证A是否选择了正确的基测量<img file="dest_path_image026.GIF" wi="44" he="45" />,若A选择的基与量子态<img file="572455dest_path_image026.GIF" wi="44" he="45" />一致但<img file="dest_path_image027.GIF" wi="84" he="38" />,则B也立即联系TTP执行仲裁协议;若A选择的基与量子态<img file="981439dest_path_image026.GIF" wi="44" he="45" />不一致或<img file="128387dest_path_image027.GIF" wi="84" he="38" />,则B用Accept‑basis测量<img file="dest_path_image028.GIF" wi="40" he="38" />,并分别记测量结果<img file="872282dest_path_image006.GIF" wi="24" he="28" />,<img file="53865dest_path_image007.GIF" wi="21" he="28" />,<img file="305855dest_path_image008.GIF" wi="25" he="28" />,<img file="267994dest_path_image009.GIF" wi="25" he="28" />为<img file="dest_path_image029.GIF" wi="29" he="29" />=00,01,10,11;最后B将测量结果<img file="dest_path_image030.GIF" wi="33" he="38" />发送给A;<img file="dest_path_image031.GIF" wi="17" he="21" />若A在<img file="dest_path_image032.GIF" wi="9" he="17" />时刻内未收到B发送的测量结果<img file="522521dest_path_image030.GIF" wi="28" he="28" />或发现<img file="886506dest_path_image030.GIF" wi="28" he="28" />的第一个比特与<img file="247080dest_path_image025.GIF" wi="16" he="24" />不相同,则B立即联系TTP执行仲裁协议;否则,A进一步验证B是否选择了正确的基测量<img file="dest_path_image033.GIF" wi="42" he="43" />,若B选择的基与量子态<img file="368620dest_path_image033.GIF" wi="42" he="43" />一致但<img file="dest_path_image034.GIF" wi="83" he="37" />,则A也立即联系TTP执行仲裁协议;若B选择的基与量子态<img file="692416dest_path_image033.GIF" wi="42" he="43" />不一致或<img file="583012dest_path_image034.GIF" wi="83" he="37" />,则A用Accept‑basis测量<img file="dest_path_image035.GIF" wi="43" he="46" />,并分别记测量结果<img file="6165dest_path_image006.GIF" wi="24" he="28" />,<img file="615001dest_path_image007.GIF" wi="21" he="28" />,<img file="850810dest_path_image008.GIF" wi="25" he="28" />,<img file="923808dest_path_image009.GIF" wi="25" he="28" />为<img file="dest_path_image036.GIF" wi="30" he="36" />=00,01,10,11;最后A将测量结果<img file="dest_path_image037.GIF" wi="33" he="36" />发送给B;重复<img file="688502dest_path_image001.GIF" wi="17" he="21" />‑<img file="784634dest_path_image031.GIF" wi="17" he="21" />,直至A最后收到B对<img file="dest_path_image038.GIF" wi="43" he="40" />的测量结果<img file="dest_path_image039.GIF" wi="36" he="35" />并判断无误,若无异议,A和B都收到了彼此对合同C的有效承诺,协议到此结束;否则,若出现一方未在t时刻内收到另一方的响应或对收到的信息存疑,或事后出现争议,则立即执行仲裁协议;步骤三、仲裁阶段TTP根据公开已知的概率分布<img file="dest_path_image040.GIF" wi="42" he="24" />确定数值<img file="dest_path_image041.GIF" wi="94" he="33" />;不失一般性,假定A联系TTP对合同承诺进行仲裁,A首先根据自己的偏好确定使合同有效或拒绝合同,如果A想使得合同有效,A用Accept‑basis测量剩下的量子态<img file="dest_path_image042.GIF" wi="143" he="41" />,即若<img file="dest_path_image043.GIF" wi="56" he="30" />,A选择Z基测量<img file="dest_path_image044.GIF" wi="40" he="43" />;若<img file="dest_path_image045.GIF" wi="46" he="24" />,A选择X基测量;反之,如果A想拒绝合同,A用Reject‑basis测量剩下的量子态<img file="dest_path_image046.GIF" wi="144" he="41" />,即若<img file="dest_path_image047.GIF" wi="57" he="32" />,A选择X基测量<img file="dest_path_image048.GIF" wi="44" he="40" />;若<img file="dest_path_image049.GIF" wi="49" he="31" />,A选择Z基测量<img file="dest_path_image050.GIF" wi="40" he="33" />;A和B分别将各自的测量结果、合同C、识别码PIN、时限t和其它约定信息m提交给TTP,TTP首先分别验证他们的测量结果和他们的诉求是否一致,并检查提交的信息是否与其存储的信息<img file="dest_path_image051.GIF" wi="84" he="30" />相悖,若发现任何一方欺骗,则只考虑诚实一方的测量结果;具体地:假定<img file="dest_path_image052.GIF" wi="32" he="29" />表示量子态集<img file="dest_path_image053.GIF" wi="83" he="41" />中与Accept‑basis一致的个数,假定<img file="dest_path_image054.GIF" wi="33" he="28" />表示量子态集<img file="dest_path_image055.GIF" wi="79" he="37" />中与Reject‑basis一致的个数,类似地,<img file="dest_path_image056.GIF" wi="32" he="34" />表示量子态集<img file="dest_path_image057.GIF" wi="80" he="40" />中与Accept‑basis一致的个数,<img file="dest_path_image058.GIF" wi="34" he="35" />表示量子态集<img file="dest_path_image059.GIF" wi="78" he="42" />中与Reject‑basis一致的个数;如果A提交Accept‑basis测量结果的个数不小于<img file="dest_path_image060.GIF" wi="42" he="31" />,同时B提交的Reject‑basis测量结果的个数不大于<img file="dest_path_image061.GIF" wi="43" he="32" />,或者B提交Accept‑basis测量结果的个数不小于<img file="dest_path_image062.GIF" wi="46" he="39" />,并且A提交的Reject‑basis测量结果的个数不大于<img file="dest_path_image063.GIF" wi="41" he="29" />,则TTP判定合同有效;若TTP发现一方,比如B方提供了不正确的结果,同时A方提交了Accept‑basis测量结果的个数不小于<img file="dest_path_image064.GIF" wi="44" he="36" />,则认为合同有效;其它情况均认定合同无效。
地址 471000 河南省洛阳市洛龙区洛龙路71号