马丁·阿巴迪;维罗尼克·科尔蒂尔 在等式理论下确定安全协议中的知识。 (英语) Zbl 1153.94339号 西奥。计算。科学。 367,第1-2、2-32号(2006).MSC公司:94A60型 94A62型 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{M.Abadi}和\textit{V.Cortier},Theor。计算。科学。367,编号1--2,2--32(2006;Zbl 1153.94339) 全文: 内政部
马丁·阿巴迪;布鲁诺·布兰切特 非对称通信的保密类型。 (英语) 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) 全文: 内政部