约翰·米切尔（John C.Mitchell）。;阿吉思·拉马纳森;安德烈·斯克洛夫;瓦妮莎·提格 用于密码协议分析的概率多项式时间过程演算。 （英语） 兹比尔1088.68126 西奥。计算。科学。 353，编号1-3，118-164（2006）.MSC公司：68问题85 94A60 PDF格式BibTeX公司 XML格式引用 \textit{J.C.Mitchell}等人，Theor。计算。科学。353，编号1--3，118-164（2006；Zbl 1088.68126） 全文： 内政部
J·米切尔。;A.拉马纳森。;A.斯克洛夫。;提格，V。 用于密码协议分析的概率多项式时间演算（初步报告）。 （英语） Zbl 1260.68109号 Brooks，Stephen（编辑）等人，MFPS 2001。2001年5月23日至26日在丹麦奥胡斯奥胡斯大学举行的第17届编程语义数学基础会议上发表的论文。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记45，280-310（2001）。MSC公司：68号30 68问题85 94A60 PDF格式BibTeX公司 XML格式引用 \textit{J.Mitchell}等人，《电子》。理论注释。计算。科学。45280-310（2001年；Zbl 1260.68109） 全文： 内政部