马丁·阿巴迪;布鲁诺·布兰切特;塞德里克·Fornet 应用的pi演算、移动值、新名称和安全通信。 （英语） Zbl 1426.68037号 美国临床医学杂志 65，第1号，第1条，41页（2018年）.MSC公司：68号30 68第25页 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Abadi}等人，J.ACM 65，第1号，第1条，41页（2018年；Zbl 1426.68037） 全文： 内政部 arXiv公司
马丁·阿巴迪;布鲁诺·布兰切特;休伯特·科蒙·隆德 协议安全性的模型和证明：一份进展报告。 （英语） Zbl 1242.68095号 Bouajjani，Ahmed（编辑）等人，《计算机辅助验证》。2009年6月26日至7月2日在法国格勒诺布尔举行的第21届CAV 2009国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02657-7/pbk）。《计算机科学讲义》5643，35-49（2009）。MSC公司：68第25页 PDF格式BibTeX公司 XML格式引用 \textit{M.Abadi}等人，Lect。注释计算。科学。5643、35-49（2009年；Zbl 1242.68095） 全文： 内政部
布鲁诺·布兰切特;马丁·阿巴迪;塞德里克·Fornet 自动验证安全协议的选定等效项。 （英语） Zbl 1135.68007号 J.日志。阿尔盖布。程序。 75，第1期，第3-51页（2008年）.MSC公司：68个M12 68M10个 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Blanchet}等人，J.Log。阿尔盖布。程序。75，第1、3--51号（2008；Zbl 1135.68007） 全文： 内政部
马丁·阿巴迪;布鲁诺·布兰切特 使用保密类型和逻辑程序分析安全协议。 （英语） Zbl 1204.68030号 美国临床医学杂志 52，第1期，102-146（2005）.MSC公司：68个M12 68问题55 60年第68季度 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{M.Abadi}和\textit{B.Blanchet}，J.ACM 52，第1期，第102--146页（2005；Zbl 1204.68030） 全文： 内政部
马丁·阿巴迪;布鲁诺·布兰切特 认证电子邮件协议的计算机辅助验证。 （英语） Zbl 1076.68532号 科学。计算。程序。 58，编号1-2，3-27（2005）.MSC公司：68第25页 68个M12 PDF格式BibTeX公司 XML格式引用 \textit{M.Abadi}和\textit{B.Blanchet}，科学。计算。程序。58，第1-2,3-27号（2005年；兹bl 1076.68532） 全文： 内政部
马丁·阿巴迪;布鲁诺·布兰切特;塞德里克·Fornet 只需快速键入π演算。 （英语） Zbl 1126.68382号 David Schmidt（编辑），《编程语言和系统》。2004年3月29日至4月2日在西班牙巴塞罗那举行的第13届欧洲编程研讨会（ESOP 2004），是欧洲软件理论与实践联合会议（ETAPS 2004）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 3-540-21313-9/pbk）。《计算机科学讲义》2986340-354（2004）。MSC公司：68第25页 68个M12 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{M.Abadi}等人，Lect。注释计算。科学。2986340-354（2004年；Zbl 1126.68382） 全文： 内政部
马丁·阿巴迪;布鲁诺·布兰切特 认证电子邮件协议的计算机辅助验证。 （英语） Zbl 1067.68564号 Cousot，Radhia（编辑），静态分析。2003年6月11日至13日，第十届国际研讨会，SAS 2003，美国加利福尼亚州圣地亚哥。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40325-6/pbk）。莱克特。注释计算。科学。2694, 316-335 (2003).MSC公司：68第25页 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{M.Abadi}和\textit{B.Blanchet}，莱克特。注释计算。科学。2694316-335（2003年；Zbl 1067.68564） 全文： 链接
马丁·阿巴迪;布鲁诺·布兰切特 非对称通信的保密类型。 （英语） Zbl 1038.68081号 西奥。计算。科学。 298，第3期，387-415（2003）.MSC公司：68问题85 68第25页 PDF格式BibTeX公司 XML格式引用 \textit{M.Abadi}和\textit{B.Blanchet}，Theor。计算。科学。298，第3号，387--415（2003；Zbl 1038.68081） 全文： 内政部
马丁·阿巴迪;布鲁诺·布兰切特 分析具有保密类型和逻辑程序的安全协议。 （英语） Zbl 1323.68259号 2002年1月16日至18日，美国俄勒冈州波特兰市POPL'02，第29届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-450-9）。33-44 (2002).MSC公司：68第25页 68N17号 60年第68季度 68问题85 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{M.Abadi}和\textit{B.Blanchet}，in：第29届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'02，波特兰，俄勒冈州，美国，2002年1月16-18日。纽约州纽约市：计算机协会（ACM）。33-44（2002年；Zbl 1323.68259） 全文： 内政部
马丁·阿巴迪;布鲁诺·布兰切特 非对称通信的保密类型。 （英语） Zbl 0978.68059号 Honsell，Furio（编辑）等人，《软件科学和计算结构基础》。2001年4月2日至6日在意大利热那亚举行的第四届国际会议FOSSACS 2001，该会议是欧洲软件理论与实践联合会议ETAPS 2001的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2030, 25-41 (2001).MSC公司：68第25页 PDF格式BibTeX公司 XML格式引用 \textit{M.Abadi}和\textit{B.Blanchet}，莱克特。注释计算。科学。2030年，25-41（2001年；Zbl 0978.68059） 全文： 链接