×
拉德·索鲁斯·拉菲;Elahe Shirinkalam;斯梅茨，索尼娅

量子投票协议的逻辑分析。 （英语） Zbl 1394.81022号

国际J.Theor。物理学。 56，第12号，3991-4003（2017）.
摘要：在本文中，我们对匿名测量的量子投票协议进行了逻辑分析，该协议由D.霍洛什科和S.基林【物理学报，A 375，第8期，1172-1175（2011；Zbl 1242.81057号)]. 特别是，我们利用了量子程序的概率逻辑[A.Baltag公司等，国际期刊Theor。物理学。53，编号10，3628–3647（2014年；Zbl 1302.81082号)]提供协议的正式规范并推导其正确性。我们的分析是量子逻辑应用于量子通信和量子计算协议形式验证的更广泛项目的一部分。

引用于1文件

MSC公司：

81页第10页 量子力学的逻辑基础；量子逻辑（量子理论方面）
03G12号机组 量子逻辑
81页68 量子计算

关键词：

动态量子逻辑;量子投票协议;协议验证

引文：

Zbl 1242.81057号;Zbl 1302.81082号
PDF格式BibTeX公司 XML格式引用
\textit{S.R.Rad}等人，国际期刊Theor。物理学。56，第12号，3991--4003（2017；Zbl 1394.81022）
全文： 内政部

参考文献：

[1] Baltag，A.，Smets，S.：量子程序的逻辑第二届量子程序设计语言国际研讨会会议记录，TUCS总出版物，第33卷（2004）·Zbl 1103.03031号
[2] Baltag，A.，Smets，S.：LQP：量子信息的动态逻辑。计算机科学中的数学结构，量子编程语言专刊16（3），491-525（2006）·Zbl 1103.03031号 ·doi:10.1017/S09601290506005299
[3] Baltag，A.，Smets，S.：量子作用的完全公理化。国际J.Theor。物理学。44(12), 2267-2282 (2005) ·Zbl 1110.81013号 ·doi:10.1007/s10773-005-8022-2
[4] Baltag，A，Smets，S.：量子行为的动态逻辑观点，Studia Logica。摘自：Douven，I.，Horsten，L.（编辑）《科学哲学中的应用逻辑》专刊，第89卷，第185-209页（2008）·Zbl 1144.81432号
[5] Baltag，A.，Smets，S.：作为动态逻辑的量子逻辑，综合。收录：Kuipers，T.、van Benthem，J.、Visser，H.（编辑）特刊（2011年）·Zbl 1221.81022号
[6] Baltag，A.，Smets，S：量子逻辑的动态转向。综合186（3）（2012）·Zbl 1275.03164号
[7] Baltag，A.、Bergfeld，J.、Kishida，K.、Smets，S.、Sack，J.和Zhong，S.：PLQP&Company：量子算法的决定逻辑。国际J.Theor。物理学。53 (10), 3628-3647 (2014) ·Zbl 1302.81082号 ·doi:10.1007/s10773-013-1987-3
[8] Baltag，A.，Smets，S.：相关知识，量子纠缠的认识论逻辑观点。国际J.Theor。物理学。49 (2010) ·Zbl 1204.81025号
[9] Baltag，A.，Smets，S.：相关信息变化建模：从条件信念到量子条件。柔软。计算。21, 1523-1535 (2017) ·Zbl 1382.03038号 ·doi:10.1007/s00500-017-2499-5
[10] Beltrametti，E.，Dalla Chiara，M.L.，Giuntini，R，Leporini，R.，Sergioli，G.：希尔伯特空间环境中的认识论量子计算结构。Fundam Inf 115，1-14（2012年）·Zbl 1248.03027号
[11] Beltrametti，E.，Dalla Chiara，M.L.，Giuntini，R.，Sergioli，G.：量子隐形传态和量子认知语义学。《斯洛文尼亚数学》62（6），1-24（2012）·Zbl 1274.81007号
[12] Beltrametti，E.、Dalla Chiara，M.L.、Giuntini，R.、Leporini，R.和Sergioli，G.：认知逻辑运算符的量子计算语义。第一部分：认知结构。国际J.Theor。物理学。53(10), 3279-3292 (2014) ·Zbl 1302.81073号 ·数字对象标识码：10.1007/s10773-013-1642-z
[13] Bergfeld，J.M.，Sack，J.：推导量子程序概率逻辑中量子协议的正确性。柔软。计算。21(6), 1421-1441 (2017) ·Zbl 1387.81146号 ·doi:10.1007/s00500-015-1802-6
[14] Birkhoff，G.，von Neumann，J.：量子力学的逻辑。安。数学。37, 823-843 (1936). 重印于胡克，C.A.（编辑），《量子力学的逻辑代数方法》，第1卷：第1-26页，（1975年）·Zbl 0015.14603号 ·doi:10.2307/1968621
[15] Dolev，S h，Pitowsky，B.：量子秘密投票，coRR abs/quant-ph/0602087（2006）·Zbl 1302.81073号
[16] Horoshko，D.，Kilin，S.：带有匿名检查的量子匿名投票。物理学。莱特。A 3751172-1175（2011）·Zbl 1242.81057号 ·doi:10.1016/j.physleta.2011.01.038
[17] Inamon，H.、Lutkenhaus，N.、Mayers，D.：实际量子密钥分发的无条件安全性。欧洲物理学。J.D 41（3），599-627（2007）·doi:10.1140/epjd/e2007-00010-4
[18] Sergioli，G.，Leporini，R.：认知语义学的量子方法。柔软。计算。21 (2017) ·Zbl 1387.81009号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。