马克斯·卡诺维奇;保罗·罗;安德烈·斯克洛夫 保密合作规划。 (英语) Zbl 1229.90072号 J.自动化。推理 46,编号3-4,389-421(2011). 审核人:Efstratios Rappos(奥邦) MSC公司:90B70型 68T20型 03B80号 PDF格式BibTeX公司 XML格式引用 \textit{M.Kanovich}等人,J.Autom。推理46,No.3-4389--421(2011;兹bl 1229.90072) 全文: 内政部
玛蒂尼奥,乔安娜;安托尼奥·拉瓦拉 使用多进制同步在微积分中对密码原语进行编码。 (英语) Zbl 1216.68194号 J.自动化。推理 46,编号3-4,293-323(2011).MSC公司:68问题85 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{J.Martinho}和\textit{A.Ravara},J.Autom。推理46,No.3--4,293--323(2011;Zbl 1216.68194) 全文: 内政部
拉尔夫·库斯特斯;托马斯·特鲁德隆 在基于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) 全文: 内政部
维罗尼克·科尔蒂尔;史蒂夫·克莱默;沃林斯基,博格丹 密码系统计算分析中的符号方法综述。 (英语) Zbl 1213.94093号 J.自动化。推理 46,第3-4、225-259号(2011年).MSC公司:94A60型 PDF格式BibTeX公司 XML格式引用 \textit{V.Cortier}等人,J.Autom。推理46,No.3--4,225-259(2011;Zbl 1213.94093) 全文: 内政部 链接
J.库兰特。;M.道比格纳德。;埃内,C。;拉福卡德,P。;Lakhnech,Y。 非对称加密的自动证明。 (英语) 兹比尔1213.94094 J.自动化。推理 46,编号3-4,261-291(2011).MSC公司:94A60型 60年第68季度 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{J.Courant}等人,J.Autom。推理46,No.3--4,261--291(2011;Zbl 1213.94094) 全文: 内政部 哈尔
阿尔萨克,维赫姆;詹保罗·贝拉;泽维尔·尚特里;卢卡·孔帕尼亚 多攻击者协议验证。 (英语) Zbl 1213.94077号 J.自动化。推理 46,编号3-4,353-388(2011).MSC公司:94A60型 60年第68季度 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{W.Arsac}等人,J.Autom。推理46,No.3--4,353--388(2011;Zbl 1213.94077) 全文: 内政部