加塞米,法特梅;Wan Fokkink公司;阿里·莫瓦加尔 移动自组网的验证:代数方法。 (英语) Zbl 1216.68160号 西奥。计算。科学。 412,第28号,3262-3282(2011).MSC公司:60年第68季度 2007年7月68日 68平方米 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Ghassemi}等人,Theor。计算。科学。412,第28号,3262-3282(2011;Zbl 1216.68160) 全文: 内政部
塞巴斯蒂安·南兹;克里斯·汉金 移动无线网络安全分析框架。 (英语) 兹比尔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) 全文: 内政部
卡尔蒂基扬·巴尔干;塞德里克·Fornet;安德鲁·D·戈登。 web服务身份验证的语义。 (英语) Zbl 1142.68587号 西奥。计算。科学。 340,第1期,102-153(2005).MSC公司:68单位35 68M10个 60年第68季度 94A62型 PDF格式BibTeX公司 XML格式引用 \文本{K.Bhargavan}等人,Theor。计算。科学。340,编号1,102--153(2005;Zbl 1142.68587) 全文: 内政部