巴特勒,D。;Lochbihler,A。;阿斯皮纳尔D。;A.加斯科恩。 使用CryptHOL对协议和承诺方案进行形式化。 (英语) Zbl 1524.94063号 J.汽车。推理 65,第4期,521-567(2021年).MSC公司:94A60型 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{D.Butler}等人,J.Autom。推理65,No.4,521--567(2021;Zbl 1524.94063) 全文: 内政部
吉尔·巴特;古斯塔沃·贝塔特;胡安·迭戈·坎波;卡洛斯·卢纳;大卫·皮哈迪 恒定时间加密的系统级不干涉。二: 已验证静态分析和隐形内存。 (英语) Zbl 1459.68027号 J.汽车。推理 64,第8期,1685-1729(2020).MSC公司:68平方米25 68伏15 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{G.Barthe}等人,J.Autom。推理64,No.8,1685--1729(2020;Zbl 1459.68027) 全文: 内政部
Randal E.布莱恩特。 二进制和零抑制决策图的链约简。 (英语) Zbl 1468.68080号 J.汽车。推理 64,第7期,1361-1391(2020).MSC公司:68第05页 68周05 94C11号机组 PDF格式BibTeX公司 XML格式引用 \textit{R.E.Bryant},J.Autom。推理64,No.7,1361--1391(2020;Zbl 1468.68080) 全文: 内政部 arXiv公司
雷纳尔德·阿弗尔德;雅克·加里格;高福美斋川 线性纠错码的形式化库。 (英语) 兹比尔1468.68314 J.汽车。推理 64,第6期,1123-1164(2020年).MSC公司:68V20型 94B05型 94B15号机组 94B35码 PDF格式BibTeX公司 XML格式引用 \textit{R.Affeldt}等人,J.Autom。推理64,编号6,1123-1164(2020;兹bl 1468.68314) 全文: 内政部
帕特里克·贝洛特;吉尔·巴特;乌戈·达尔拉戈 次递归定义的隐式计算复杂性及其在密码证明中的应用。 (英语) Zbl 1468.68057号 J.汽车。推理 63,第4号,813-855(2019).MSC公司:68甲18 第03页 65年第68季度 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{P.Baillot}等人,J.Autom。推理63,No.4,813--855(2019;Zbl 1468.68057) 全文: 内政部 哈尔
吉尔·巴特;古斯塔沃·贝塔特;胡安·迭戈·坎波;卡洛斯·卢纳 恒定时间加密的系统级不干涉。一: 模型。 (英语) Zbl 1459.68026号 J.汽车。推理 63,第1期,1-51页(2019年).MSC公司:68平方米25 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{G.Barthe}等人,J.Autom。推理63,No.1,1-51(2019;Zbl 1459.68026) 全文: 内政部
马丁·加涅;帕斯卡·拉福卡德;亚辛·拉赫内奇;萨法维·奈尼,雷哈内 分组密码操作模式的自动证明。 (英语) Zbl 1356.68188号 J.汽车。推理 56,第1号,49-94(2016).MSC公司:68吨15 03B70号 68号30 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{M.Gagné}等人,J.Autom。推理56,No.1,49--94(2016;Zbl 1356.68188) 全文: 内政部 哈尔
雷纳尔德·阿弗尔德;马纳布哈吉瓦拉;乔纳斯·塞尼泽格斯 香农定理的形式化。 (英语) Zbl 1315.68216号 J.汽车。推理 53,第1期,63-103(2014).MSC公司:68吨15 94甲17 94A24型 PDF格式BibTeX公司 XML格式引用 \textit{R.Affeldt}等人,J.Autom。推理53,No.1,63--103(2014;Zbl 1315.68216) 全文: 内政部
Yuichi富田;冈崎弘之;Yasunai Shidama 使用Mizar对有限素域上椭圆曲线的定义和定理进行形式化。 (英语) 兹比尔1260.68371 J.汽车。推理 50,第2期,161-172(2013).MSC公司:68吨15 11吨71 2016年11月 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Futa}等人,J.Autom。推理50,No.2,161--172(2013;Zbl 1260.68371) 全文: 内政部
Järvisalo,马蒂;阿明·比尔;Heule,Marijn J.H。 在CNF上模拟电路级简化。 (英语) Zbl 1267.94144号 J.汽车。推理 49,第4期,583-619(2012).MSC公司:94立方厘米 68吨15 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Järvisalo}等人,J.Autom。推理49,No.4,583--619(2012;Zbl 1267.94144) 全文: 内政部
阿南塔拉曼,湿婆;林海;克里斯托弗·林奇;巴利亚特·纳伦德兰;迈克尔·鲁西诺维奇 统一模同态加密。 (英语) Zbl 1242.68096号 J.汽车。推理 48,第2期,135-158(2012).MSC公司:68第25页 68个M12 第68季度第42季度 68吨15 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{S.Anantharaman}等人,J.Autom。推理48,No.2,135--158(2012;Zbl 1242.68096) 全文: 内政部
Ciobâcă,沙特凡;斯特凡尼德劳恩;史蒂夫·克莱默 在收敛方程理论下计算安全协议知识。 (英语) Zbl 1242.68098号 J.汽车。推理 第219-262号第48页(2012年).MSC公司:68第25页 68个M12 68吨15 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{ö.Ciobác}等人,J.Autom。推理48,No.2,219--262(2012;Zbl 1242.68098) 全文: 内政部
亚尼克·骑士;米歇尔·鲁西诺维奇 符号推导等价性的判定。 (英语) Zbl 1242.68097号 J.汽车。推理 48,第2期,263-292(2012).MSC公司:68第25页 68个M12 68吨15 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Chevalier}和\textit{M.Rusinovitch},J.Autom。推理48,No.2,263--292(2012;Zbl 1242.68097) 全文: 内政部
约书亚·D·古特曼。 链空间的状态和进展:证明公平交换。 (英语) Zbl 1242.68100号 J.汽车。推理 48,第2期,159-195(2012).MSC公司:68第25页 68个M12 60年第68季度 68吨15 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{J.D.Guttman}、J.Autom。推理48,No.2,159--195(2012;Zbl 1242.68100) 全文: 内政部
史蒂夫·克莱默;安托万·梅西耶;拉尔夫·特里宁 简化方程理论以确定静态等效性。 (英语) Zbl 1242.68104号 J.汽车。推理 48,第2期,197-217(2012).MSC公司:68第25页 68个M12 68吨15 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{S.Kremer}等人,J.Autom。推理48,No.2,197--217(2012;Zbl 1242.68104) 全文: 内政部 链接
乔安娜·马提尼奥;安托尼奥·拉瓦拉 使用多进制同步在微积分中对密码原语进行编码。 (英语) 兹比尔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) 全文: 内政部 arXiv公司
维罗尼克·科尔蒂尔;史蒂夫·克莱默;沃林斯基,博格丹 密码系统计算分析中的符号方法综述。 (英语) 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。;Y.Lakhnech。 非对称加密的自动证明。 (英语) Zbl 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) 全文: 内政部
罗伯托·戈里埃里;法比奥·马蒂内利;玛丽内拉·彼得罗奇 有线和无线网络中安全组播的形式化模型和分析。 (英语) Zbl 1191.68036号 J.汽车。推理 41,编号3-4,325-364(2008).MSC公司:68M10个 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{R.Gorrieri}等人,J.Autom。推理41,No.3--4,325--364(2008;Zbl 1191.68036) 全文: 内政部
罗希特·查达;史蒂夫·克莱默;安德烈·斯克洛夫 多方合同签订的形式分析。 (英语) Zbl 1134.94372号 J.汽车。推理 36,编号1-2,39-83(2006).MSC公司:94A62型 68个M12 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Chadha}等人,J.Autom。推理36,No.1--2,39-83(2006;Zbl 1134.94372) 全文: 内政部
詹保罗·贝拉;法比奥·马萨奇;劳伦斯·C·鲍尔森。 验证SET购买协议。 (英语) Zbl 1104.68465号 J.汽车。推理 36,编号1-2,5-37(2006).MSC公司:68第25页 68吨15 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{G.Bella}等人,J.Autom。推理36,No.1-2,5-37(2006;Zbl 1104.68465) 全文: 内政部
斯特凡尼德劳恩;佛罗伦萨·杰克马尔 针对离线字典攻击的概率加密协议的安全性决策过程。 (英语) Zbl 1107.68041号 J.汽车。推理 36,编号1-2,85-124(2006).MSC公司:68第25页 68吨15 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{S.Delaune}和\textit{F.Jacquemard},J.Autom。推理36,No.1--2,85-124(2006;Zbl 1107.68041) 全文: 内政部 链接
格雷厄姆·斯蒂尔;阿兰·邦迪 通过驳斥不正确的归纳推测攻击组协议。 (英语) Zbl 1134.94378号 J.汽车。推理 36,编号1-2,149-176(2006).MSC公司:94A62型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{G.Steel}和\textit{A.Bundy},J.Autom。推理36,No.1--2,149--176(2006;Zbl 1134.94378) 全文: 内政部 链接
汉斯·休特尔;吉·斯尔巴 扩展乒乓协议的可决定性问题。 (英语) Zbl 1107.68042号 J.汽车。推理 36,编号1-2,125-147(2006).MSC公司:68第25页 03B25号 60年第68季度 68问题85 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{H.Hüttel}和\textit{J.Srba},J.Autom。推理36,No.1--2,125-147(2006;Zbl 1107.68042) 全文: 内政部
查克拉巴蒂,I。;D.萨尔卡。;马朱姆达尔,A.K。 同步时序电路验证过程中感应特性的识别。 (英语) Zbl 0828.68108号 J.汽车。推理 14,第3期,427-462(1995).MSC公司:68吨15 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{I.Chakrabarti}等人,J.Autom。推理14,No.3,427--462(1995;Zbl 0828.68108) 全文: 内政部
弗拉赫,弗兰克 超大规模集成电路应用可满足性检查器中的简化。 (英语) Zbl 0783.94031号 J.汽车。推理 10,第1期,115-136(1993).MSC公司:94C12号机组 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Vlach},J.Autom。推理10,No.1,115--136(1993;Zbl 0783.94031) 全文: 内政部
内文·海因策;斯皮罗·米查洛夫;斯塔基,彼得 CLP\(({\mathfrak R})\)和一些电气工程问题。 (英语) Zbl 0800.68293号 J.汽车。推理 9,第231-260号(1992年).MSC公司:68N17号 94C05(二氧化碳) PDF格式BibTeX公司 XML格式引用 \textit{N.Heintze}等人,J.Autom。推理9,No.2,231--260(1992;Zbl 0800.68293) 全文: 内政部
Leung,K.S。;莱姆·W。 使用精确和不精确推理的模糊专家系统外壳。 (英语) Zbl 0676.68056号 J.汽车。推理 207-233(1989)第2期第5页.MSC公司:68吨15 03B52号 94D05型 68第20页 PDF格式BibTeX公司 XML格式引用 \textit{K.S.Leung}和\textit{W.Lam},J.Autom。推理5,No.2,207--233(1989;Zbl 0676.68056) 全文: 内政部