马丁·阿巴迪;安德鲁·戈登。 密码协议演算: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;Zbl 0924.68073) 全文: 内政部
马丁·阿巴迪;安德鲁·戈登。 密码协议的互模拟方法。 (英语) Zbl 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.Comput。5,第4号,267--303(1998;Zbl 0913.68062)
马丁·阿巴迪;安德鲁·戈登。 spi演算中有关密码协议的推理。 (英语) Zbl 1512.94054号 Mazurkiewicz,Antoni(编辑)等人,CONCUR’97:并发理论。第八届国际会议。波兰华沙。1997年7月1日至4日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1243, 59-73 (1997).MSC公司:94A60型 PDF格式BibTeX公司 XML格式引用 \textit{M.Abadi}和\textit{A.D.Gordon},莱克特。注释计算。科学。1243、59-73(1997年;Zbl 1512.94054) 全文: 内政部