×
Miner More，萨拉;帕维尔·瑙莫夫

多方秘密的超图。 （英语） Zbl 1238.68156号

安。数学。Artif公司。智力。 62，编号1-279-101（2011）.
摘要：本文考虑多方系统中机密之间的相互依赖性。假设每个秘密都只为特定的固定组成员所知。这些集可以看作是顶点是系统各方的超图的边。相互依赖的性质通过一个称为独立性的多参数关系来表示，独立性是二元关系的推广，也称为不可导性。主要结果是一个完整的可判定逻辑系统，它描述了可能存在于固定超图上的相互依赖性。此外，该系统中的公理和推理规则在标准逻辑意义上是独立的。

引用于三文件

理学硕士：

68T27型 人工智能中的逻辑
05C65号 Hypergraphs（Hypergraph）
68立方英尺 知识表示
94A62型 身份验证、数字签名和秘密共享

关键词：

信息流;不可还原性;独立;超图
PDF格式BibTeX公司 XML格式引用
\textit{S.Miner More}和\textit{P.Naumov}，Ann.Math。Artif公司。智力。62，编号1--2，79-101（2011；Zbl 1238.68156）
全文： 内政部

参考文献：

[1] Armstrong，W.W.：数据库关系的依赖结构。In：信息处理74。程序。IFIP大会，斯德哥尔摩，第580-583页。荷兰北部，阿姆斯特丹（1974年）
[2] Garcia-Molina，H.，Ullman，J.，Widom，J.：《数据库系统：全书》，第二版。Prentice-Hall（2009年）
[3] Beeri，C.，Fagin，R.，Howard，J.H.：数据库关系中函数依赖和多值依赖的完整公理化。参见：SIGMOD’77：1977年ACM SIGMOD-数据管理国际会议记录，第47-61页。美国纽约州纽约市ACM（1977年）
[4] Väänänen，J.：依赖逻辑。伦敦数学学会学生课本，第70卷。独立友好逻辑的新方法。剑桥大学出版社，剑桥（2007）·Zbl 1117.03037号
[5] 萨瑟兰：信息模型。摘自：第九届全国计算机安全会议记录，第175-183页（1986年）
[6] Halpern，J.Y.，O'Neill，K.R.：多智能体系统中的保密性。ACM事务处理。信息系统。安全。12(1), 1–47 (2008) ·数字对象标识代码：10.1145/1410234.1410239
[7] Miner More，S.，Naumov，P.：秘密集的独立关系。螺柱日志。94(1), 73–85 (2010) ·兹比尔1197.03015 ·doi:10.1007/s11225-010-9223-0
[8] Geiger，D.，Paz，A.，Pearl，J.：涉及概率独立性的推理公理和算法。Inf.计算。91(1), 128–141 (1991) ·Zbl 0800.68842号 ·doi:10.1016/0890-5401（91）90077-F
[9] Kelvey，R.、Miner More，S.、Naumov，P.、Sapp，B.：秘密的独立性和功能依赖关系。摘自：《第十二届知识表示与推理原则国际会议论文集》，多伦多，2010年，第528-533页。AAAI（2010年）
[10] Shamir，A.：如何分享一个秘密。Commun公司。ACM 22（11），612–613（1979）·Zbl 0414.94021号 ·doi:10.1145/359168.359176
[11] Miner More，S.，Naumov，P.：关于协作网络中秘密的相互依赖性。摘自：《理性与知识的理论方面第十二届会议论文集》，第208-217页。斯坦福大学（2009年）·Zbl 1246.03055号
[12] Miner More，S.，Naumov，P.：秘密超图的函数依赖关系。参加：第十二届多智能体系统计算逻辑国际研讨会CLIMA XI。西班牙巴塞罗那。斯普林格（2011年出版）·Zbl 1348.68265号
[13] Ahlswede，R.、Cai，N.、Li，S.Y.R.、Yeung，R.W.：网络信息流。IEEE传输。信息论46（4），1204–1216（2000）·Zbl 0991.90015号 ·数字对象标识代码：10.1109/18.850663
[14] Bartlett，K.A.，Scantlebury，R.A.，Wilkinson，P.T.：关于半双工链路上可靠的全双工传输的说明。Commun公司。ACM 12（5），260-261（1969）·doi:10.1145/362946.362970
[15] Berge，C.：超图。北荷兰数学图书馆，第45卷。有限集合的组合数学，从法语翻译而来。荷兰出版公司，阿姆斯特丹（1989）·Zbl 0674.05001号
[16] Miner More，S.，Naumov，P.：秘密集的独立关系。收录于：Ono，H.、Kanazawa，M.、de Queiroz，R.（编辑）《第16届逻辑、语言、信息和计算研讨会论文集》，东京，2009年，第296–304页。LNAI 5514。施普林格（2009）·Zbl 1246.03055号
[17] Gallo，G.，Longo，G.，Pallottino，S.，Nguyen，S.：有向超图及其应用。离散应用程序。数学。42（2-3），177-201（1993）（组合结构和算法）·Zbl 0771.05074号 ·doi:10.1016/0166-218X（93）90045-P
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。