阿努吉·达瓦尔;格雷戈里·威尔塞纳赫 秩逻辑的对称电路。 (英语) Zbl 1508.68101号 ACM事务处理。计算。日志。 23,第1条,第6条,第35页(2021年).MSC公司:2006年第68季度 03B70号 19年第68季度 94C11号机组 PDF格式BibTeX公司 XML格式引用 \textit{A.Dawar}和\textit{G.Wilsenach},ACM Trans。计算。日志。23,第1号,第6条,第35页(2021年;Zbl 1508.68101) 全文: 内政部
吉尔·巴特;雅各布,查理;史蒂夫·克莱默 有限域上的普遍等价性和大多数概率程序。 (英语) Zbl 1508.68215号 ACM事务处理。计算。日志。 23,第1条,第5条,第42页(2021年).MSC公司:60年第68季度 2016年11月 68号30 68第27页 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{G.Barthe}等人,ACM Trans。计算。日志。23,第1号,第5条,第42页(2021年;Zbl 1508.68215) 全文: 内政部
格尔盖·巴纳;罗希特·查达;阿杰·库马尔·埃拉拉;冈田三弘 基于不可区分性的计算完全符号攻击者的验证方法。 (英语) 兹比尔1433.68075 ACM事务处理。计算。日志。 21,第1号,第2条,44页(2020年).MSC公司:68平方米25 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{G.Bana}等人,ACM Trans。计算。日志。21,第1号,第2条,44页(2020年;Zbl 1433.68075) 全文: 内政部
雷米·克雷蒂安;维罗尼克·科尔蒂尔;安托万·达隆;斯特凡尼德劳恩 在安全协议中免费键入消息。 (英语) Zbl 1433.68211号 ACM事务处理。计算。日志。 21,第1号,第1条,52页(2020年).MSC公司:60年第68季度 68问题85 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{R.Chrétien}等人,ACM Trans。计算。日志。21,第1号,第1条,52页(2020年;Zbl 1433.68211) 全文: 内政部
罗希特·查达;文森特·雪瓦尔;Ciobâcă,沙特凡;史蒂夫·克莱默 密码协议等价属性的自动验证。 (英语) Zbl 1367.68184号 ACM事务处理。计算。日志。 17号第4条第23条第32页(2016年).MSC公司:60年第68季度 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{R.Chadha}等人,ACM Trans。计算。日志。17,第4号,第23条,32页(2016年;Zbl 1367.68184) 全文: 内政部
雷米·克雷蒂安;维罗尼克·科尔蒂尔;斯特凡尼德劳恩 从安全协议到下推自动机。 (英语) 兹伯利1367.68186 ACM事务处理。计算。日志。 17,第1号,第3条,45页(2015年).MSC公司:60年第68季度 65年第68季度 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{R.Chrétien}等人,ACM Trans。计算。日志。17,第1号,第3条,第45页(2015年;兹bl 1367.68186) 全文: 内政部 哈尔
马修·波德特;维罗尼克·科尔蒂尔;斯特凡尼德劳恩 YAPA:计算入侵者知识的通用工具。 (英语) Zbl 1353.68019号 ACM事务处理。计算。日志。 第14号第1条第4条第32页(2013年).MSC公司:68个M12 第68季度第42季度 60年第68季度 68问题85 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{M.Baudet}等人,ACM Trans。计算。日志。14,第1号,第4条,32页(2013;Zbl 1353.68019) 全文: 内政部
纳鸿·德肖维茨;伊多·扎梅雷特 承诺下命题证明的复杂性。 (英语) Zbl 1351.03057号 ACM事务处理。计算。日志。 11,第3条,第18条,第30页(2010年).MSC公司:20层03 03B05号 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{N.Dershowitz}和\textit{I.Tzameret},ACM Trans。计算。日志。11,第3号,第18条,30页(2010年;Zbl 1351.03057) 全文: 内政部 arXiv公司
德特勒夫·卡勒;拉尔夫·库斯特斯;托马斯·威尔克 确定合同设计协议的策略属性。 (英语) Zbl 1351.94053号 ACM事务处理。计算。日志。 11,第3号,第17条,第42页(2010年).MSC公司:94A60型 91A80型 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{D.Kähler}等人,《美国医学杂志》。计算。日志。11,第3号,第17条,第42页(2010年;Zbl 1351.94053) 全文: 内政部
休伯特·科蒙·隆德;维罗尼克·科尔蒂尔;尤根·兹利内斯库 决定加密协议的安全属性。应用于关键周期。 (英语) Zbl 1351.94035号 ACM事务处理。计算。日志。 11,第2号,第9条,第42页(2010年).MSC公司:94A60型 68个M12 2017年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Comon-Lundh}等人,ACM Trans。计算。日志。11,第2号,第9条,第42页(2010年;Zbl 1351.94035) 全文: 内政部 arXiv公司
赫尔穆特·塞德尔;库马尔·内拉吉(Kumar Neeraj Verma) 扁平和单变量子句:使用单盲复制验证密码协议的复杂性。 (英语) Zbl 1367.68113号 ACM事务处理。计算。日志。 第9号第4条第28条第45页(2008年).MSC公司:65年第68季度 2017年第68季度 68吨15 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{H.Seidl}和\textit{K.N.Verma},ACM Trans。计算。日志。9,第4号,第28条,第45页(2008年;兹bl 1367.68113) 全文: 内政部
亚尼克·骑士;拉尔夫·库斯特斯;米歇尔·鲁西诺维奇;马修·图鲁阿尼 Diffie-Hellman幂运算和交换公钥加密的安全协议的复杂性结果。 (英语) Zbl 1367.94304号 ACM事务处理。计算。日志。 第9号第4条第24条第52页(2008年).MSC公司:94A60型 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Chevalier}等人,ACM Trans。计算。日志。9,第4号,第24条,52页(2008年;Zbl 1367.94304) 全文: 内政部
斯蒂芬·库克;尼尔·萨彭 弱运算中替换的强度。 (英语) Zbl 1407.03075号 ACM事务处理。计算。日志。 7,第4号,749-764(2006).MSC公司:03英尺30英寸 20层03 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{S.Cook}和\textit{N.Thapen},ACM翻译。计算。日志。7,第4号,749--764(2006;Zbl 1407.03075) 全文: 内政部 arXiv公司