雷米鹦鹉;米卡·布莱迪;奥利维尔·H·鲁克斯。 用定时Petri网设计和验证流水线电路。 (英语) Zbl 1519.93147号 离散事件动态。系统。 33,编号1,1-24(2023).MSC公司:93元65角 94C15号机组 PDF格式BibTeX公司 XML格式引用 \textit{R.Parrot}等人,离散事件动态。系统。33,编号1,1--24(2023;Zbl 1519.93147) 全文: 内政部
赵文奇;李慧;袁玉明 了解算法稳定元的波动性:建模、验证和实证分析。 (英语) Zbl 1492.91463号 Bernhard,Matthew(编辑)等人,《金融加密和数据安全》。FC 2021国际研讨会。Codecfin、DeFi、VOTING和WTSC,虚拟活动,2021年3月5日。修订了选定的论文。柏林:斯普林格。莱克特。注释计算。科学。12676, 97-108 (2021).MSC公司:91G99型 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{W.Zhao}等人,Lect。注释计算。科学。12676,97-108(2021;Zbl 1492.91463) 全文: 内政部 arXiv公司
David A.Basin。;安德烈亚斯·洛赫比勒;塞菲加·雷扎 CryptHOL:高阶逻辑中基于游戏的证明。 (英语) Zbl 1455.94121号 J.密码学 33,第2期,494-566(2020年).MSC公司:94A60型 94A62型 68伏15 91A99型 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Basin}等人,《密码学杂志》33,第2期,494--566(2020;Zbl 1455.94121) 全文: 内政部
瑞典雅各布斯;穆罕默德·萨克尔 一种用于渴望策略的懒惰合成的符号算法。 (英语) Zbl 1435.68198号 学报信息。 57,编号1-2,81-106(2020).MSC公司:60年第68季度 68T20型 91A80型 94C11号机组 PDF格式BibTeX公司 XML格式引用 \textit{S.Jacobs}和\textit{M.Sakr},《学报》第57期,第1--2,81-106号(2020年;Zbl 1435.68198) 全文: 内政部
卢卡·卡德利;米尔科·特里巴斯通;马克斯·柴科夫斯基;安德烈·范丁 通过可达性分析保证近似模型抽象的误差界。 (英语) Zbl 07703951号 McIver,Annabelle(编辑)等人,《系统的定量评估》。2018年9月4日至7日,第15届QEST国际会议,中国北京。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11024, 104-121 (2018).MSC公司:65磅 94C05(二氧化碳) PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}等人,Lect。注释计算。科学。11024,104-121(2018;Zbl 07703951) 全文: 内政部 arXiv公司
安德烈亚斯·洛赫比勒 高阶逻辑中的概率函数和密码预言。 (英语) Zbl 1335.68033号 Peter Thiemann(编辑),《编程语言和系统》。2016年4月2日至8日,作为欧洲软件理论与实践联合会议的一部分,在荷兰埃因霍温举行了第25届欧洲编程研讨会,即2016年ESOP。诉讼程序。柏林:施普林格出版社(ISBN 978-3-662-49497-4/pbk;978-3-662-49498-1/电子书)。计算机科学讲座笔记9632,503-531(2016)。MSC公司:68甲18 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{A.Lochbihler},莱克特。注释计算。科学。9632503--531(2016;Zbl 1335.68033) 全文: 内政部
渡边优平;Junji Shikata 基于身份的分层密钥隔离加密,无需随机预言机。 (英语) Zbl 1388.94084号 Cheng,Chen-Mou(编辑)等,公开密钥加密——PKC 2016。2016年3月6日至9日,第19届IACR公开密钥加密实践与理论国际会议,台湾台北。诉讼程序。第一部分柏林:施普林格出版社(ISBN 978-3-662-49383-0/pbk;978-3-562-49384-7/ebook)。计算机科学讲义9614,255-279(2016)。MSC公司:94A60型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Watanabe}和\textit{J.Shikata},莱克特。注释计算。科学。9614,255-279(2016;Zbl 1388.94084) 全文: 内政部
高弘松田;花冈、果一郎 交易明文-可模拟性,以实现选定的密文安全。 (英语) Zbl 1388.94073号 Cheng,Chen Mou(编辑)等人,《公钥密码术——PKC 2016》。2016年3月6日至9日,第19届IACR公开密钥加密实践与理论国际会议,台湾台北。诉讼程序。第一部分柏林:施普林格出版社(ISBN 978-3-662-49383-0/pbk;978-3-562-49384-7/ebook)。计算机科学讲座笔记9614,3-34(2016)。MSC公司:94A60型 PDF格式BibTeX公司 XML格式引用 \textit{T.Matsuda}和\textit{G.Hanaoka},莱克特。注释计算。科学。9614,3--34(2016;Zbl 1388.94073) 全文: 内政部
埃蒂安·安德烈;托马斯·查泰恩;劳伦·弗里堡;埃曼纽尔·恩克雷纳兹 参数时间自动机的逆方法。 (英语) Zbl 1337.68150号 Halava,Vesa(编辑)等人,计算模型可达性问题第二次研讨会论文集(RP 2008),英国利物浦,2008年9月15日至17日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记223,29-46(2008)。MSC公司:第68季度第45季度 60年第68季度 94立方厘米10 PDF格式BibTeX公司 XML格式引用 \textit{埃米·安德烈}等人,《电子》。理论注释。计算。科学。223、29-46(2008年;Zbl 1337.68150) 全文: 内政部
约翰·米切尔(John C.Mitchell)。;阿吉思·拉马纳森;安德烈·斯克洛夫;瓦妮莎·提格 用于密码协议分析的概率多项式时间过程演算。 (英语) Zbl 1088.68126号 西奥。计算。科学。 353,编号1-3,118-164(2006).MSC公司:68问题85 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{J.C.Mitchell}等人,Theor。计算。科学。353,编号1--3,118-164(2006;Zbl 1088.68126) 全文: 内政部
Ying,明生 \(\pi\)-带噪声信道的微积分。 (英语) Zbl 1079.68067号 学报信息。 41,编号9,525-593(2005).MSC公司:68问题85 94甲15 94A40型 PDF格式BibTeX公司 XML格式引用 \textit{M.Ying},《学报》第41期,第9期,第525--593页(2005年;Zbl 1079.68067) 全文: 内政部 链接
罗伯托·祖尼诺;皮耶保罗·德加诺 削弱了Dolev-Yao对手的完美加密假设。 (英语) Zbl 1068.94023号 西奥。计算。科学。 340,第1期,154-178(2005).MSC公司:94A62型 68个M12 68第25页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Zunino}和\textit{P.Degano},Theor。计算。科学。340,第1号,154--178(2005;Zbl 1068.94023) 全文: 内政部
Mitchell,J。;A.拉马纳森。;A.斯克洛夫。;提格,V。 用于密码协议分析的概率多项式时间演算(初步报告)。 (英语) Zbl 1260.68109号 Brooks,Stephen(编辑)等人,MFPS 2001。2001年5月23日至26日在丹麦奥胡斯奥胡斯大学举行的第17届编程语义数学基础会议上发表的论文。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记45,280-310(2001)。MSC公司:68号30 68问题85 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{J.Mitchell}等人,《电子》。理论注释。计算。科学。45280-310(2001年;Zbl 1260.68109) 全文: 内政部
兰斯·克莱维兰;泽恩·达亚尔;斯科特·斯莫尔卡。;袁,Shoji 测试概率过程的预订单。 (英语) Zbl 1045.68564号 Inf.计算。 154,第2号,93-148(1999).MSC公司:2010年第68季度 60J10型 94A05级 PDF格式BibTeX公司 XML格式引用 \textit{R.Cleaveland}等人,《信息计算》。154,第2号,93-148(1999年;兹bl 1045.68564) 全文: 内政部