马丁·阿巴迪;塞德里克·Fornet;乔治·戈蒂尔 自上而下地查看安全消息。 （英文） Zbl 0983.94511号 Pandu Rangan，C.（编辑）等人，《软件技术和理论计算机科学基础》。第19届会议，印度钦奈，1999年12月13日至15日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1738, 122-141 (1999).MSC公司：94A60型 68第25页 PDF格式BibTeX公司 XML格式引用 \textit{M.Abadi}等人，Lect。注释计算。科学。1738122--141（1999年；Zbl 0983.94511）
马丁·阿巴迪;安德鲁·戈登。 密码协议演算：spi演算。 （英文） Zbl 0924.68073号 Inf.计算。 148，第1期，1-70页（1999年）.MSC公司：68第25页 PDF格式BibTeX公司 XML格式引用 \textit{M.Abadi}和\textit{A.D.Gordon}，Inf.Compute。148，第1，1-70号（1999年；兹bl 0924.68073） 全文： 内政部
马丁·阿巴迪;安德鲁·戈登。 密码协议的互模拟方法。 （英文） 兹比尔0913.68062 Nord.J.计算。 5，第4号，267-303（1998）.MSC公司：68第25页 68M10个 PDF格式BibTeX公司 XML格式引用 \textit{M.Abadi}和\textit{A.D.Gordon}，Nord.J.Compute。5，第4号，267--303（1998；Zbl 0913.68062）