×

使用组合设计解决广义俄罗斯卡片问题的附加构造。 (英语) Zbl 1408.94965号

总结:在广义俄罗斯纸牌问题中,我们有一张由(n)张纸牌组成的纸牌组(X)和三个参与者,Alice、Bob和Cathy,分别处理了(a)、(b)和(c)张卡片。一旦卡片被处理,Alice和Bob希望通过公开公告私下与对方沟通,而不需要共享秘密或公钥基础设施。就凯西而言,在爱丽丝和鲍伯宣布后,她应该对自己的名片一无所知。关于凯西在文学作品中的无知,人们认为凯西没有确切地了解任何一张卡片的命运(弱\(1\)-安全)在猜测某些(delta)卡的命运时没有获得任何概率优势(完美\(\增量\)-安全). 正如我们在这项工作中所证明的那样,广义俄罗斯卡片问题与组合设计领域有着密切的联系,我们非常依赖组合设计领域,尤其是对于完美的安全概念。当从可能的公告集中均匀随机选择公告时,我们的主要结果在块大小为(a)的点上建立了完全(δ)安全策略和(c+δ)设计之间的等价性。我们还提供了构造方法和示例解决方案,包括在(c=2)时生成针对Cathy的完美(1)-安全性的构造。根据我们的等价结果,我们可以使用已知的组合设计来构造一个具有(a=8)、(b=13)和(c=3)的完全安全策略。最后,我们考虑问题的一个变体,该变体产生的解决方案易于构建,并且在公告数量和实现的安全级别方面都是最优的。此外,这是第一种获得弱(delta)安全性的方法,允许Alice持有任意数量的卡,Cathy持有一组(c=lfloor\frac{a-delta}{2}\rfloor\)卡。或者,该构造可以得到任意(δ)、(c)和任意(aδ+2c)的解。

MSC公司:

94A60型 密码学
05年05月 砌块设计的组合方面
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

参考文献:

[1] M.H.Albert、M.D.Atkinson、H.P.van Ditmarsch、C.Handley和R.E.L.Aldred。通过两步协议的组合设计为纸牌玩家提供安全通信。澳大利亚组合数学杂志,33:33-462005·Zbl 1173.94413号
[2] M.H.Albert、A.Cord´on-Franco、H.P.van Ditmarsch、D.Fern´andez-Duque、J.J.Joosten和F.Soler-Toscano。2010年,多代理系统中本地状态的安全通信。[3]的扩展版本。
[3] M.H.Albert、A.Cord´on-Franco、H.P.van Ditmarsch、D.Fern´andez-Duque、J.J.Joosten和F.Soler-Toscano。解释系统中本地状态的安全通信。《分布式计算与人工智能》(DCAI 2011)编辑A.Abraham、J.M.Corchado、S.Rodr´un guez-Gonz´alez和J.F.P.Santana,《软计算进展》第91卷,第117-124页。施普林格,2011年。
[4] M.D.Atkinson、H.P.van Ditmarsch和S.Roehling。避免卡加密中的偏见。《澳大利亚组合学杂志》,44:3-182009·Zbl 1173.94414号
[5] C.J.Colbourn和J.H.Dinitz。CRC组合设计手册。查普曼和霍尔/CRC,第二版,2006年·Zbl 1101.05001号
[6] A.Cord´on-Franco、H.P.van Ditmarsch、D.Fern´andez-Duque、J.J.Joosten和F.Soler-Toscano。用于纸牌播放器的安全附加协议。《澳大利亚组合数学杂志》,54:163-1762012年·Zbl 1286.94095号
[7] A.Cord´on-Franco、H.P.van Ditmarsch、D.Fern´andez-Duque和F.Soler-Toscano。广义俄罗斯卡片问题的着色协议。理论计算机科学,495:81-952013。组合数学电子期刊21(3)(2014),#P3.2929·Zbl 1295.94176号
[8] A.Cord´on-Franco、H.P.van Ditmarsch、D.Fern´andez-Duque和F.Soler-Toscano。卡片加密的几何协议。设计、代码和密码,第1-13页,2013年。
[9] A.Cyriac和K.M.Krishnan。俄罗斯卡问题的通信复杂性下限。CoRR,abs/0805.19742008年。
[10] 段振英和杨振英。无条件安全通信:俄罗斯卡协议。组合优化杂志,19:501-5302010·Zbl 1195.94053号
[11] M.J.Fischer、M.S.Paterson和C.Rackoff。使用随机牌的秘密比特传输。《离散数学与理论计算机科学》,DIMACS第2卷,第173-181页。美国数学学会,1991年·Zbl 0722.94019号
[12] M.J.Fischer和R.N.Wright。使用随机卡交易的多方密钥交换。在J.Feigenbaum编辑的《密码学进展——91年密码》中,《计算机科学讲义》第576卷,第141-155页。施普林格,1991年·Zbl 0763.94010号
[13] M.J.Fischer和R.N.Wright。博弈论技术在密码学中的应用。《离散数学和理论计算机科学》,DIMACS第13卷,第99-118页。美国数学学会,1993年·兹伯利0803.90148
[14] M.J.Fischer和R.N.Wright。一种有效的无条件安全密钥交换协议。在ACM-SIAM离散算法研讨会(SODA’93)上,第475-483页。工业和应用数学学会,1993年·Zbl 0798.94009号
[15] M.J.Fischer和R.N.Wright。使用随机卡牌进行密钥交换。《密码学杂志》,9(2):71-991996·Zbl 0851.94018号
[16] J.He和Z.Duan。基于俄罗斯卡协议的公共通信:案例研究。Wang、X.Zhu和D.Z.Du主编,《组合优化与应用》(COCOA 2011),《计算机科学讲义》第6831卷,第192-206页。施普林格,2011年·Zbl 1342.94070号
[17] 小泉(K.Koizumi)、水木(T.Mizuki)和西泽基(T.Nishizeki)。转换协议所需的足够数量的卡。K.-Y.Chwa和J.I.Munro,《计算与组合数学》(COCOON 2004)编辑,《计算机科学讲义》第3106卷,第92-101页。斯普林格,2004年·Zbl 1091.94506号
[18] R.Mathon和A.P.街。七点、八点和九点设计集的划分。统计规划与推断杂志,58(1):135-1501997·Zbl 0974.05017号
[19] 水木(T.Mizuki)、静亚(H.Shizuya)和西泽木(T.Nishizeki)。密钥交换协议系列的完整特征。《国际信息安全杂志》,1(2):131-1422002·Zbl 1047.68065号
[20] S.Schreiber。通过不相交的Steiner系统覆盖n个标记上的所有三元组。组合理论杂志,A辑,15(3):347-3501973·Zbl 0274.05021号
[21] D.R.Stinson。组合设计:构造与分析。Springer-Verlag,2003年。组合数学电子期刊21(3)(2014),#P3.2930·Zbl 1031.05001号
[22] D.R.Stinson、C.M.Swanson和T.van Trung。旧结构的新视角:从可解析的2个设计构造(简单)3个设计。离散数学,325(0):23-312014·兹比尔1288.05034
[23] C.M.斯旺森。无条件安全密码学:签名方案、用户私有信息检索和广义俄罗斯卡问题。滑铁卢大学博士论文,2013年。
[24] C.M.Swanson和D.R.Stinson。组合解决方案为广义俄罗斯卡问题提供了改进的安全性。设计、代码和密码,第1-23页,2012年。
[25] H.P.van Ditmarsch。俄罗斯纸牌问题。Logica研究所,75(1):31-622003·Zbl 1033.03008号
[26] H.P.van Ditmarsch。隐藏的手的情况。应用非经典逻辑杂志,15(4):437-4522005·Zbl 1182.68086号
[27] H.P.van Ditmarsch和F.Soler-Toscano。三个步骤。J.Leite、P.Torroni、T.˚Agotnes、G.Boella和L.van der Torre,《多智能体系统中的计算逻辑》(CLIMA XII)编辑,《计算机科学讲义》第6814卷,第41-57页。施普林格,2011年·Zbl 1348.68272号
[28] H.P.van Ditmarsch、W.van der Hoek、R.van der Meyden和J.Ruan。模型检查俄罗斯卡。理论计算机科学电子笔记,149(2):105-1232006·Zbl 1273.68245号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。