罗伯托·祖尼诺;皮耶保罗·德加诺 削弱了Dolev-Yao对手的完美加密假设。 (英语) Zbl 1068.94023号 西奥。计算。科学。 340,第1期,154-178(2005).MSC公司:94A62型 68个M12 68第25页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Zunino}和\textit{P.Degano},Theor。计算。科学。340,第1号,154--178(2005;Zbl 1068.94023) 全文: 内政部
卡尔蒂基扬·巴尔干;塞德里克·Fornet;安德鲁·戈登。 web服务身份验证的语义。 (英语) Zbl 1142.68587号 西奥。计算。科学。 340,第1期,102-153(2005).MSC公司:68单位35 68M10个 60年第68季度 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{K.Bhargavan}等人,Theor。计算。科学。340,编号1,102--153(2005;Zbl 1142.68587) 全文: 内政部
戈登·托马斯·罗尔梅尔;加文·洛 在入侵检测系统分析中使用数据相关性。 (英语) Zbl 1142.68446号 西奥。计算。科学。 340,第1期,82-101(2005).MSC公司:68问题85 68M10个 68个M12 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.T.Rohrmair}和\textit{G.Lowe},Theor。计算。科学。340,第1号,82--101(2005;Zbl 1142.68446) 全文: 内政部 链接
乔纳森·赫尔佐格 对多列夫·姚对手的计算解释。 (英语) Zbl 1068.94022号 西奥。计算。科学。 340,第1号,57-81(2005).MSC公司:94A62型 68个M12 第68页第25页 PDF格式BibTeX公司 XML格式引用 \文本{J.Herzog},Theor。计算。科学。340,编号1,57--81(2005;Zbl 1068.94022) 全文: 内政部
亚历山德拉·迪皮耶罗;克里斯·汉金;赫伯特,威克利基 测量概率系统的限制。 (英语) Zbl 1142.68444号 西奥。计算。科学。 340,第1期,3-56页(2005年).MSC公司:68问题85 2010年第68季度 68问题55 60二氧化碳 PDF格式BibTeX公司 XML格式引用 \textit{A.Di Pierro}等人,Theor。计算。科学。340,第1号,第3--56号(2005年;Zbl 1142.68444) 全文: 内政部