安德鲁·马歇尔。；梅多斯，凯瑟琳；巴利亚特·纳伦德兰 关于统一模单边分配性：算法、变量和不对称性。 （英语） Zbl 1391.68065号 日志。方法计算。科学。 11，第2号，第11号论文，39页（2015）. 摘要：统一模单边分布的算法是由E.潮汐和S.Arnborg公司[J.Symb.计算3，183–202（1987；Zbl 0638.68104号)]. 最近，由于许多密码运算符都满足这一特性，这一理论在密码协议分析中引起了人们的兴趣。不幸的是，本文中提出的算法虽然正确，但最近被证明并非如所声称的那样具有多项式时间限制。此外，在某些情况下，存在与输入大小成指数关系的大多数通用统一器。本文首先基于统一模单边分布的类型化理论，提出了一种新的多项式时间算法来解决非平凡子基的决策问题。接下来，我们提出了一种新的多项式算法来解决统一模单边分配的决策问题。采用字符串压缩的构造用于实现多项式界。最后，我们研究了新的非对称统一范式中的单边分配问题。我们给出了第一个单边分配的非对称统一算法。 引用于2文件 MSC公司： 2012年第68季度 语法和重写系统 65年第68季度 算法和问题复杂性分析 68吨15 定理证明（演绎、解析等）（MSC2010） 94A60型 密码学 关键词：统一；单边分配性；等式逻辑；非对称统一 引文：Zbl 0638.68104号 PDF格式BibTeX公司 XML格式引用 \textit｛A.M.Marshall｝等人，日志。方法计算。科学。11，第2号，第11号文件，第39页（2015年；兹bl 1391.68065） 全文： 内政部 arXiv公司