布鲁诺·布兰切特;马丁·阿巴迪;塞德里克·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 1225.68036号 Najm,Elie(编辑)等人,网络和分布式系统的形式化技术–FORTE 2006。2006年9月26日至29日,第26届IFIP WG 6.1国际会议,法国巴黎。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-46219-4/pbk)。计算机科学课堂讲稿422999-114(2006)。MSC公司:68米14 68第25页 PDF格式BibTeX公司 XML格式引用 \textit{A.Chaudhuri}和\textit{M.Abadi},莱克特。注释计算。科学。422999-114(2006年;Zbl 1225.68036) 全文: 内政部
马丁·阿巴迪;维罗尼克·科尔蒂尔 在等式理论下确定安全协议中的知识。 (英语) 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) 全文: 内政部