樱田秀树 协议匿名性的自动验证。 (英语) Zbl 1329.68099号 JSIAM信函。 3, 97-100 (2011).MSC公司:第68页第25页 91B12号机组 PDF格式BibTeX公司 XML格式引用 \textit{H.樱田},JSIAM Lett。3、97--100(2011年;Zbl 1329.68099) 全文: 内政部 链接
高,韩;弗莱明·尼尔森;尼尔森,Hanne Riis CaPiTo公司:服务的协议栈。 (英语) Zbl 1226.68029号 正式Asp。计算。 23,第4期,541-565(2011).MSC公司:68号30 68问题85 60年第68季度 68个M12 PDF格式BibTeX公司 XML格式引用 \textit{H.Gao}等人,正式Asp。计算。23,第4号,541--565(2011;Zbl 1226.68029) 全文: 内政部
拉尔夫·库斯特斯;托马斯·特鲁德隆 在基于Horn理论的方法中,将使用XOR的协议分析减少到无XOR的情况。 (英语) Zbl 1213.94119号 J.汽车。推理 46,编号3-4,325-352(2011).MSC公司:94A60型 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{R.Küsters}和\textit{T.Truderung},J.Autom。推理46,No.3--4325--352(2011;Zbl 1213.94119) 全文: 内政部 arXiv公司
兰·卡内蒂;乔纳森·赫尔佐格 通用组合符号安全分析。 (英语) Zbl 1208.94039号 J.密码学 24,第1期,第83-147页(2011年).MSC公司:94A60型 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{R.Canetti}和\textit{J.Herzog},J.Cryptology 24,No.1,83--147(2011;Zbl 1208.94039) 全文: 内政部