×

量子安全的经典知识。 (英语) Zbl 1348.81201号

Coecke,Bob(ed.)等人,《第五届量子物理和逻辑国际研讨会论文集》和第四届计算模型发展研讨会论文集(QPL/DCM 2008),冰岛雷克雅未克,2008年7月12-13日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记270,第1期,155-163(2011)。
摘要:我们提出了一种用于分析量子密码协议安全性的决策过程,将代数逻辑重写系统与量子分布式计算的操作语义相结合。我们将我们的方法用于推理最近开发的量子秘密共享协议的安全属性。
关于整个系列,请参见[兹比尔1281.03004].

MSC公司:

81页94 量子密码术(量子理论方面)
2012年第68季度 语法和重写系统
81页68 量子计算
94A62型 身份验证、数字签名和秘密共享

软件:

Aximo公司
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Baltag,A。;Moss,L.S.,《认知程序的逻辑》,综合,139(2004)·Zbl 1100.03010号
[2] Baltag,A。;科克,B。;Sadrzadeh,M.,《认识论行动作为资源》,《逻辑与计算杂志》,第17、3期(2007年5月)·Zbl 1183.03010号
[3] Bennett,C.H。;Brassard,G.,《量子密码学:公开密钥分配和抛硬币》,(IEEE计算机、系统和信号处理国际会议论文集。IEEE国际计算机、系统与信号处理会议论文集,印度班加罗尔(1984),IEEE出版社),175·Zbl 1306.81030号
[4] 科克,B。;摩尔,D.J。;Stubbe,I.,描述物理特性因果关系和传播的量子类,《物理通讯基础》,14(2001)
[5] V.Danos、E.D’Hondt、E.Kashefi和P.Panangaden,“基于分布式测量的量子计算”,摘自第三届量子编程语言研讨会论文集(QPL05; V.Danos、E.D’Hondt、E.Kashefi和P.Panangaden,“基于分布式测量的量子计算”,摘自第三届量子编程语言研讨会论文集(QPL05·Zbl 1277.68174号
[6] Danos,V。;Kashefi,E。;Panangaden,P.,《测量微积分》,美国医学会杂志,54,2(2007)·Zbl 1311.81076号
[7] V.Danos和E.D’Hondt,《密码推理的量子知识》程序。第三届计算模型开发国际研讨会(DCM07; V.Danos和E.D’Hondt,《密码推理的量子知识》程序。第三届国际计算模型开发研讨会(DCM07
[8] D’Hondt,E。;Panangaden,P.,《关于量子知识的推理》,(《第25届软件技术和理论计算机科学基础会议论文集》,《第25次软件技术和计算机理论科学基础会议文献集》,LNCS,第382卷(2006)),0544c
[9] Ekert,A.K.,基于贝尔定理的量子密码术,物理学。修订稿。,67, 6, 661-663 (1991) ·Zbl 0990.94509号
[10] 费金,R。;Halpern,J.Y。;摩西,Y。;M.Y.Vardi,《知识推理》(1995),麻省理工学院出版社·Zbl 0839.68095号
[11] 西蒙·盖伊(Simon J.Gay)。;拉贾戈帕尔·纳加拉扬;Papanikolaou,Nikolaos,量子协议的概率模型检查(2005)·Zbl 1196.68135号
[12] D.Markham、A.Roy和B.Sanders,“量子秘密共享的图形状态”,私人通信,2008年。;D.Markham、A.Roy和B.Sanders,“量子秘密共享的图形状态”,私人通信,2008年·Zbl 1255.81125号
[13] 尼尔森,硕士。;Chuang,I.,《量子计算与量子信息》(2000),剑桥大学出版社·Zbl 1049.81015号
[14] 帕南加登,P。;Taylor,K.,《并发公共知识:定义异步系统的协议》,《分布式计算杂志》,6(1992)·Zbl 0773.68009号
[15] S.Richards和M.Sadrzadeh,”模态逻辑方法第五次研讨会论文集理论计算机科学电子笔记; S.Richards和M.Sadrzadeh,”模态逻辑方法第五次研讨会论文集理论计算机科学电子笔记
[16] Sadrzadeh,M.,语言学和多智能体系统中的高级量子结构,(AAAI量子交互春季研讨会论文集(2007),AAAI出版社)
[17] M.Sadrzadeh,“认识逻辑中的行动和资源”,魁北克大学蒙特利尔分校博士论文,2005年,http://eprints.ecs.soton.ac.uk/12823/01/all.pdf; M.Sadrzadeh,“认识逻辑中的行动和资源”,魁北克大学蒙特利尔分校博士论文,2005年,http://eprints.ecs.soton.ac.uk/12823/01/all.pdf
[18] L.Xiao、G.Gong、F-G.Deng和J-W.Pan。”高效多方量子秘密共享方案。版次A,69。;L.Xiao、G.Gong、F-G.Deng和J-W.Pan。”高效多方量子秘密共享方案。版次A,69。
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。