×
阿南塔拉曼，湿婆;林，海;克里斯托弗·林奇;巴利亚特·纳伦德兰;迈克尔·鲁西诺维奇

统一模同态加密。 （英语） Zbl 1242.68096号

J.汽车。推理 48，第2期，135-158（2012）.
摘要：加密“分布在对上”是几种加密协议中使用的一种技术。我们证明了统一对于方程理论是可以判定的，HE指定了这样的加密。该方法包括对任何给定问题进行转换，转换后的问题可以通过对包含同态的方程进行基于图形的推理，并对其配对进行语法推理来解决。我们证明了HE统一是NP难的，并且是EXPTIME中的。我们还简要说明了如何将HE-unification扩展到Cap统一模HE，该模可用作建模和分析加密协议的工具，其中加密遵循ECB模式，即对消息进行分块。

引用于三文件

理学硕士：

68第25页 数据加密（计算机科学方面）
68个M12 网络协议
2012年第68季度 语法和重写系统
第68页第15页 定理证明（演绎、解析等）（MSC2010）
94A60型 密码学

关键词：

重写;统一;协议分析
PDF格式BibTeX公司 XML格式引用
\textit{S.Anantharaman}等人，J.Autom。推理48，No.2，135--158（2012；Zbl 1242.68096）
全文： 内政部

参考文献：

[1] Anantharaman，S.，Narendran，P.，Rusinowitch，M.：带帽入侵者。In：程序。RTA’07国际会议。LNCS，第4533卷，第20-35页。Springer-Verlag（2007）·Zbl 1203.94091号
[2] Anantharaman，S.，Lin，H.，Lynch，C.，Narendran，P.，Rusinovitch，M.：统一模同态加密。In：程序。2009年国际会议FROCOS，TRENTO-意大利。LNAI，第5749卷，第100-116页。Springer-Verlag（2009）·Zbl 1193.68231号
[3] Anantharaman，S.、Lin，H.、Lynch，C.、Narendran，P.、Rusinovitch，M.：Cap统一：协议安全模同态加密应用。In：程序。第五交响乐团。《信息、计算机和通信安全》，ASIACCS’10，第192-203页。ACM，纽约（2010年）·Zbl 1242.68096号
[4] Baader，F.，Nipkow，T.：术语重写和所有这些。剑桥大学出版社，纽约（1998年）·Zbl 0948.68098号
[5] Baudet，M.：针对离线猜测攻击确定协议的安全性。In：程序。第12届ACM计算机和通信安全会议，CCS’05，第16-25页。ACM，纽约（2005）
[6] Comon-Lundh，H.，Treinen，R.：简单的入侵者推断。验证：理论与实践参见：LNCS 2772，第225-242页。Springer-Verlag（2004）·Zbl 1201.68049号
[7] Comon-Lundh，H.，Shmatikov，V.：存在排他性订单的入侵者推断、约束求解和不安全决策。In：程序。《计算机科学会议中的逻辑》，LICS’03，第271-280页。IEEE计算机学会出版社（2003）
[8] Cortier，V.，Delaune，S.，Lafourcade，P.：密码协议中使用的代数属性的调查。J.计算。安全。14(1), 1–43 (2006)
[9] Cortier，V.，Rusinowitch，M.，Zalinescu，E.：一种使用CBC加密和盲签名验证加密协议的解决策略。In：程序。第七届ACM SIGPLAN会议，PPDP’05，第12–22页（2005）
[10] Delaune，S.，Jacquemard，F.：使用显式析构函数验证安全协议的决策过程。In：程序。第11届ACM计算机和通信安全会议（CCS'04），第278-287页。ACM，华盛顿（2004）
[11] Kremer，S.、Ryan，M.D.：分析协议产生已知对和选择文本攻击的漏洞。In：程序。第二届协调模型、语言和系统安全问题国际研讨会（SecCo 2004），ENTCS，第128卷，第5期，第87–104页（2004）
[12] Lafourcade，P.：统一问题和入侵者演绎问题之间的关系。In：程序。第三届安全与重写技术国际研讨会（SecReT’08）。美国匹兹堡（2008年）
[13] Lafourcade，P.，Lugiez，D.，Treinen，R.：使用分配加密的Abelian群方程理论的入侵者演绎。Inf.计算。205(4), 581–623 (2007) ·Zbl 1112.68048号 ·doi:10.1016/j.ic.2006.10.008
[14] Millen，J.，Shmatikov，V.：有界过程密码协议分析的约束求解。In：程序。第八届ACM计算机和通信安全会议，第166-175页。ACM，纽约（2001）
[15] Narendran，P.，Marshall，A.，Mahapatra，B.：关于统一模单面分布的Tiden-Arnborg算法的复杂性。2010年联合国国际单项体育联合会国际研讨会，爱丁堡（2010）
[16] Narendran，P.，Pfenning，F.，Statman，R.：关于笛卡尔闭范畴的统一问题。In：程序。LICS’93计算机科学会议逻辑，第57–63页（1993）·Zbl 0882.03044号
[17] Schaefer，T.J.：可满足性问题的复杂性。In：程序。第十届ACM计算理论年会，第216–226页（1978）·兹比尔1282.68143
[18] Tiden，E.，Arnborg，S.：单边分布的统一问题。J.塞姆。计算。3(1–2), 183–202 (1987) ·Zbl 0638.68104号 ·doi:10.1016/S0747-7171（87）80026-3
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。