格雷厄姆·斯蒂尔 PIN块攻击的形式化分析。 (英语) Zbl 1153.94461号 西奥。计算。科学。 367,编号1-2,257-270(2006).MSC公司:94A62型 60年第68季度 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{G.钢铁},Theor。计算。科学。367,编号1--2,257--270(2006;Zbl 1153.94461) 全文: 内政部
拉马努贾姆,R。;苏雷什,S.P。 安全协议的(受限)量词消除。 (英语) Zbl 1153.94008号 西奥。计算。科学。 367,编号1-2,228-256(2006).MSC公司:94A62型 03B25号 03C10号机组 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Ramanujam}和\textit{S.P.Suresh},Theor。计算。科学。367,编号1--2,228--256(2006;Zbl 1153.94008) 全文: 内政部
塞巴斯蒂安·南兹;克里斯·汉金 移动无线网络安全分析框架。 (英语) Zbl 1153.68322号 西奥。计算。科学。 367,编号1-2,203-227(2006).MSC公司:68M10个 68平方米 68第25页 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{S.Nanz}和\textit{C.Hankin},Theor。计算。科学。367,编号1--2,203-227(2006;Zbl 1153.68322) 全文: 内政部
圣地亚哥埃斯科瓦尔;凯瑟琳·梅多斯;何塞·梅塞盖尔 NRL协议分析器及其元逻辑属性的基于重写的推理系统。 (英语) Zbl 1153.94375号 西奥。计算。科学。 367,第1-2号,162-202(2006).MSC公司:94A60型 94A62型 2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Escobar}等人,Theor。计算。科学。367,编号1--2,162-202(2006;Zbl 1153.94375) 全文: 内政部
克里默斯,C.J.F。;毛,S。;德文克,E.P。 注入式同步:身份验证层次结构的扩展。 (英语) Zbl 1153.94453号 西奥。计算。科学。 367,编号1-2,139-161(2006).MSC公司:94A62型 PDF格式BibTeX公司 XML格式引用 \textit{C.J.F.Cremers}等人,Theor。计算。科学。367,编号1--2,139-161(2006;Zbl 1153.94453) 全文: 内政部 链接
康斯坦丁诺斯·查齐科科拉基斯;卡图西亚帕拉米德斯 重新审视了可能的无罪。 (英语) Zbl 1153.94451号 西奥。计算。科学。 367,编号1-2,123-138(2006).MSC公司:94A62型 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatzikokolakis}和\textit{C.Palamidessi},Theor。计算。科学。367,编号1--2,123-138(2006;Zbl 1153.94451) 全文: 内政部 链接
卡洛斯·卡莱罗;卢卡·维甘诺;戴维·巴恩斯 关于安全协议的Alice&Bob规范的语义。 (英语) Zbl 1153.94450号 西奥。计算。科学。 367,编号1-2,88-122(2006).MSC公司:94A62型 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Caleiro}等人,Theor。计算。科学。367,编号1--2,88-122(2006;Zbl 1153.94450) 全文: 内政部
弗雷德里克·巴特勒;伊利亚诺·塞维萨托;亚伦·贾加德。;安德烈·斯克洛夫;克里斯托弗·沃尔斯塔德 Kerberos 5的形式化分析。 (英语) Zbl 1153.94448号 西奥。计算。科学。 367,编号1-2,57-87(2006).MSC公司:94A62型 PDF格式BibTeX公司 XML格式引用 \textit{F.Butler}等人,Theor。计算。科学。367,编号1--2,57-87(2006;Zbl 1153.94448) 全文: 内政部
Backes,迈克尔;阿努帕姆·达塔;安特·德里克;约翰·米切尔(John C.Mitchell)。;马修·图鲁阿尼 合同设计协议的组成分析。 (英语) Zbl 1153.94447号 西奥。计算。科学。 367,编号1-2,33-56(2006).MSC公司:94A62型 PDF格式BibTeX公司 XML格式引用 \textit{M.Backes}等人,Theor。计算。科学。367,编号1--2,33-56(2006;Zbl 1153.94447) 全文: 内政部
马丁·阿巴迪;维罗尼克·科尔蒂尔 在等式理论下确定安全协议中的知识。 (英语) 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) 全文: 内政部
皮耶保罗·德加诺(编辑);卢卡·维甘诺(编辑) 特刊:安全协议分析的自动推理(ARSPA 2005)。根据2005年7月16日在葡萄牙里斯本举行的第二次研讨会上的演示文稿选出的论文。 (英语) Zbl 1125.68305号 西奥。计算。科学。367,第1-2期,270页。(2006). MSC公司:68-06 00B25型 PDF格式BibTeX公司 XML格式