×
段振华;杨，陈

无条件安全通信：俄罗斯卡协议。 （英语） Zbl 1195.94053号

J.库姆。最佳方案。 19，第4期，501-530（2010）.
摘要：本文以无条件安全通信为目的，研究了俄罗斯卡问题。首先，给出了3人7张牌的选择规则、删除规则和安全通信条件。此外，该问题被推广到处理（n）名玩家和（n（n-1）+1）张牌。提出了一种新的构建公告的选择规则，并形式化了一个新的玩家确定对方卡片的删除规则。此外，还证明了通信的安全条件。此外，为了说明这种方法，文中给出了一个针对5名玩家和21张卡片的示例。

引用于1审查
引用于10文件

MSC公司：

94A60型 密码学

关键词：

俄罗斯卡问题;拣选规则;删除规则

软件：

自旋蛋白
PDF格式BibTeX公司 XML格式引用
\textit{Z.Duan}和\textit{C.Yang}，J.Comb。最佳方案。19，第4号，501--530（2010；Zbl 1195.94053）
全文： 内政部

参考文献：

[1] Albert MH、Aldred REL、Atkinson MD、van Ditmarsch HP、Handley CC（2005）通过两步协议的组合设计实现纸牌播放器的安全通信。澳大利亚J Comb 33:33–46·Zbl 1173.94413号
[2] Atkinson MD、van Ditmarsch HP、Roehling S（2007）《卡加密中的避免偏见》。副本cs/0702097·Zbl 1173.94414号
[3] Cyriac A，Krishnan KM（2008）《俄罗斯纸牌问题的通信复杂性下限》。1974年5月8日
[4] 丛T，振华D（2007）基于SPIN的命题投影时序逻辑模型检验。收录于：ICFEM07会议记录。计算机科学课堂讲稿，第4789卷。柏林施普林格，第246-265页
[5] Fischer MJ，Wright RN（1996）使用随机牌交易进行密钥交换。《密码学杂志》9（2）：71–99·Zbl 0851.94018号 ·数字对象标识代码：10.1007/s001459900004
[6] Holzmann GJ（2003）《自旋模型检查器：入门和参考手册》。Addison-Wesley，柏林
[7] Koichi K、Takaaki M、Takao N（2004）转换协议所需的足够数量的卡。计算机科学课堂讲稿，第3106卷。柏林施普林格，第92-101页·Zbl 1091.94506号
[8] Ramanujam R，Suresh SP（2001）基于信息的安全协议推理。电子笔记理论计算机科学55（1）：89–104
[9] Rivest R，Shamir A，Adleman L（1978）获取数字签名和公钥密码系统的方法。通信ACM 21（2）：120–126·Zbl 0368.94005号 ·数字对象标识代码：10.1145/359340.359342
[10] Roehling S（2005）《卡片和密码学》。奥塔哥大学计算机科学硕士部分结业报告
[11] Makarychev K（2001）Logicheskie voprosy peredachi informacii（信息传输的逻辑问题）。莫斯科国立大学硕士论文，Diplomnaja rabota，第一部分
[12] Stiglic A（2001）用一副牌进行计算。计算机科学理论259（1-2）：671-678·Zbl 0974.68054号 ·doi:10.1016/S0304-3975（00）00409-6
[13] van Ditmarsch HP（2003）《俄罗斯纸牌问题》。螺柱日志75:31–62·Zbl 1033.03008号 ·doi:10.1023/A:1026168632319
[14] van Ditmarsch HP（2005）《隐藏的手》。应用非分类日志15（4）：437–452·Zbl 1182.68086号 ·doi:10.3166/1月15日.437-452
[15] van Ditmarsch HP、van der Hoek W、van de Meyden R、Ruan J（2006）《模型检查俄罗斯卡》。计算机科学电子笔记149:105–123·doi:10.1016/j.entcs.2005.07.029
[16] Vasilenko O（2006）密码学中的数字理论算法。美国数学学会，波士顿。（数学专著翻译）·Zbl 1065.11099号
[17] 振华D，Koutny M（2004）一种框架时序逻辑编程语言。计算机科学技术杂志19:333–344
[18] Zhenhua D，Cong T，Li Z（2008a）具有无限模型的命题投影时间逻辑的决策过程。《通知学报》45（1）：43–78·Zbl 1141.68039号 ·doi:10.1007/s00236-007-0062-z
[19] 振华D，晓晓Y，Koutny M（2008b）框架时序逻辑编程。科学计算程序70:31–61·Zbl 1131.68036号 ·doi:10.1016/j.scico.2007.09.001
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。