迪帕克·卡普尔;巴利亚特·纳伦德兰;王丽达 用于分析使用模幂运算的协议的E-统一算法。 （英语） Zbl 1043.94537号 Nieuwenhuis，Robert（编辑），重写技术和应用。2003年6月9日至11日在西班牙巴伦西亚举行的RTA 2003第14届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40254-3/pbk）。莱克特。注释计算。科学。2706, 165-179 (2003). 摘要：模乘和幂运算是现代密码学中常见的运算。研究了这些运算所满足的一些方程理论的统一问题。分析了两种不同但相关的方程理论。针对一种依赖于求解多元积分多项式上非交不定项的合子的理论，给出了一种统一算法。对于另一种理论，其中假定了乘法上指数的分配性，通过采用作者之一开发的一种结构，将Hilbert的第10个问题简化为半环上线性方程的可解性问题，证明了一致性问题是不可判定的。提出了计算多项式环（mathbb{Z}langleX_1，ldots，X_nrangle）上右理想的强Gröbner基的新算法；Baader、Madlener和Reinert提出的算法只适用于具有有界性的右容许项序，与之不同的是，该算法适用于任何右容许项次序。一些统一问题的算法预计将集成到海军研究实验室的协议分析器（NPA）中，该工具由凯瑟琳·梅多斯（Catherine Meadows）开发，已成功用于分析密码协议，尤其是新兴标准，如互联网工程任务组（IETF）Internet密钥交换和组域解释协议。因此，来自几个不同领域的技术——特别是符号计算（理想理论和Gröbner基算法）和统一理论——被用于解决基于状态的加密协议分析中出现的问题。有关整个系列，请参见[Zbl 1029.00060号]. 引用于9文件 MSC公司： 94A60型 密码学 68瓦30 符号计算和代数计算 13页第10页 Gröbner碱；理想和模块的其他基础（例如Janet和border基础） 2012年第68季度 语法和重写系统 PDF格式BibTeX公司 XML格式引用 \textit｛D.Kapur｝等人，Lect。注释计算。科学。2706、165--179（2003年；Zbl 1043.94537） 全文： 链接