×

找到14份文件(结果1-14)

了解算法稳定元的波动性:建模、验证和实证分析。 (英语) Zbl 1492.91463号

Bernhard,Matthew(编辑)等人,《金融加密和数据安全》。FC 2021国际研讨会。Codecfin、DeFi、VOTING和WTSC,虚拟活动,2021年3月5日。修订了选定的论文。柏林:斯普林格。莱克特。注释计算。科学。12676, 97-108 (2021).
MSC公司:91G99型 94A60型
PDF格式BibTeX公司 XML格式引用

通过可达性分析保证近似模型抽象的误差界。 (英语) Zbl 07703951号

McIver,Annabelle(编辑)等人,《系统的定量评估》。2018年9月4日至7日,第15届QEST国际会议,中国北京。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11024, 104-121 (2018).
PDF格式BibTeX公司 XML格式引用

高阶逻辑中的概率函数和密码预言。 (英语) 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格式引用
全文: 内政部

基于身份的分层密钥隔离加密,无需随机预言机。 (英语) 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格式引用
全文: 内政部

交易明文-可模拟性,以实现选定的密文安全。 (英语) 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格式引用
全文: 内政部

参数时间自动机的逆方法。 (英语) 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格式引用
全文: 内政部

用于密码协议分析的概率多项式时间演算(初步报告)。 (英语) Zbl 1260.68109号

Brooks,Stephen(编辑)等人,MFPS 2001。2001年5月23日至26日在丹麦奥胡斯奥胡斯大学举行的第17届编程语义数学基础会议上发表的论文。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记45,280-310(2001)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份