迈托·阿拉皮尼斯;玛丽·杜弗洛特 在安全协议中免费绑定消息–对各种安全属性的扩展。 (英语) Zbl 1309.68059号 Inf.计算。 239, 182-215 (2014).MSC公司:68第25页 94A60型 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{M.Arapinis}和\textit{M.Duflot},Inf.Comput。239182-215(2014年;Zbl 1309.68059) 全文: 内政部
亚尼克·骑士;迈克尔·鲁西诺维奇 不相交入侵者理论结合中的符号协议分析:结合决策过程。 (英语) Zbl 1187.68204号 西奥。计算。科学。 411,第10号,1261-1282(2010).MSC公司:68第25页 PDF格式BibTeX公司 XML格式引用 \textit{Y.Chevalier}和\textit{M.Rusinovitch},Theor。计算。科学。411,第10号,1261--1282(2010;Zbl 1187.68204) 全文: 内政部
亚尼克·骑士;迈克尔·鲁西诺维奇 入侵者理论的层次组合。 (英语) Zbl 1147.68396号 Inf.计算。 206,编号2-4,352-377(2008).MSC公司:68个M12 68第25页 PDF格式BibTeX公司 XML格式引用 \textit{Y.Chevalier}和\textit{M.Rusinovitch},Inf.Compute。206,编号2--4,352--377(2008;Zbl 1147.68396) 全文: 内政部
让·古鲍特·拉雷克;穆里尔·罗杰;库马尔·内拉吉(Kumar Neeraj Verma) 抽象和解析模AC:如何自动验证Diffie–Hellman类协议。 (英语) Zbl 1078.68032号 J.日志。代数。程序。 64,第219-251号(2005年).MSC公司:68第25页 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{J.Goubault-Larrecq}等人,J.Log。代数。程序。64,第2号,219--251(2005;Zbl 1078.68032) 全文: 内政部