约翰·米切尔（John C.Mitchell）。;阿吉思·拉马纳森;安德烈·斯克洛夫;瓦妮莎·提格 用于密码协议分析的概率多项式时间过程演算。 （英语） Zbl 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） 全文： 内政部
林肯，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).MSC公司：94A62型 03B70号 68第25页 PDF格式BibTeX公司 XML格式引用 \textit{P.Lincoln}等人，Lect。注释计算。科学。1708776-793（1999年；兹bl 0976.94029）