克里斯托弗·林奇；梅多斯，凯瑟琳 使用重写规则对Diffie-Hellman进行合理近似。 （英语） Zbl 1109.68475号 Lopez，Javier（编辑）等人，《信息和通信安全》。2004年10月27日至29日在西班牙马拉加举行的ICICS 2004第六届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-23563-9/pbk）。计算机科学课堂讲稿3269262-277（2004）。 摘要：对Diffie-Hellman密钥交换建模所必需的幂运算的交换性可能导致在推理使用该加密构造的协议时效率低下。本文讨论了用一对重写规则逼近指数交换规则的可行性，在基于统一的系统中，统一算法的复杂性在变量数上从最好的指数变为最坏的二次。我们还导出并证明了近似模型相对于原始模型是合理的条件。由于这些条件使协议更容易推理，也不太容易出错，因此它们通常符合声音协议设计的公认原则。有关整个系列，请参见[Zbl 1062.68007号]. 引用于2文件 MSC公司： 68第25页 数据加密（计算机科学方面） 94A60型 密码学 94A62型 身份验证、数字签名和秘密共享 PDF格式BibTeX公司 XML格式引用 \textit{C.Lynch}和\textit{C.Meadows}，莱克特。票据计算。科学。3269262--277（2004年；Zbl 1109.68475） 全文： 内政部