阿努帕姆·达塔;安特·德里克;约翰·米切尔（John C.Mitchell）。;阿纳布·罗伊 协议组合逻辑（PCL）。 （英语） 兹比尔1277.68033 Cardelli，Luca（编辑）等人，《计算、意义和逻辑》。献给戈登·普洛金的文章。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记172，311-358（2007）。MSC公司：68个M12 03B70号 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{A.Datta}等人，《电子》。注释Theor。计算。科学。172311--358（2007；Zbl 1277.68033） 全文： 内政部
约翰·米切尔。;阿吉思·拉马纳森;安德烈·斯克洛夫;瓦妮莎·提格 用于密码协议分析的概率多项式时间过程演算。 （英语） 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） 全文： 内政部
维塔利·什马提科夫;约翰·米切尔（John C.Mitchell）。 两种合同签订协议的有限状态分析。 （英语） Zbl 0997.68007号 西奥。计算。科学。 283，第2期，419-450（2002）.MSC公司：68个M12 PDF格式BibTeX公司 XML格式引用 \textit{V.Shmatikov}和\textit{J.C.Mitchell}，Theor。计算。科学。283，编号2，419--450（2002；Zbl 0997.68007） 全文： 内政部
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}等人，《电子》。注释Theor。计算。科学。45280-310（2001年；Zbl 1260.68109） 全文： 内政部