林肯，P。;J·米切尔。;米切尔，M。;A.斯克洛夫。 概率多项式时间等价与安全性分析。 （英语） Zbl 0976.94029号 Jeannette M.Wing（编辑）等人，FM’99。形式化方法。计算系统开发中的形式化方法世界大会。1999年9月20日至24日，法国图卢兹。诉讼程序。2卷。柏林：施普林格出版社（ISBN 3-540-66587-0/vol1；3-540-665088-9/vol2）。莱克特。注释计算。科学。1708; 1709, 776-793 (1999). 摘要：我们使用概率过程演算的观测等价性来证明加密协议的认证属性。过程演算是（pi）演算的一种形式，在一种捕获概率多项式时间的术语语言上，用概率调度代替非确定性。此演算的操作语义优先考虑通过专用通道进行通信，因此专用通信的存在不会影响可见操作的可观察概率。我们对观测等价性的定义涉及均匀过程族的渐近比较，只要求等价于在消失误差概率内。该定义不同于先前的概率过程等效概念，该概念要求相应动作的概率相等；渐近性符合我们的预期应用，使等价具有传递性，从而证明了“等价”一词的使用。我们的安全证明使用了一系列关于概率观测等价的引理，这些引理很可能被证明对建立其他密码协议的正确性很有用。有关整个系列，请参见[Zbl 0929.00076号]. 引用于11文件 MSC公司： 94A62型 身份验证、数字签名和秘密共享 03B70号 计算机科学中的逻辑 68第25页 数据加密（计算机科学方面） 关键词：观察等价;概率过程演算;身份验证 PDF格式BibTeX公司 XML格式引用 \textit{P.Lincoln}等人，Lect。注释计算。科学。1708776-793（1999年；兹bl 0976.94029）