×

找到20个文档(结果1–20)

递归概率程序的模型检查时间属性。 (英语) Zbl 07793042号

Patricia Bouyer等人,《软件科学和计算结构基础》。第25届国际会议FOSSACS 2022,作为欧洲软件理论与实践联合会议ETAPS 2022的一部分,于2022年4月2日至7日在德国慕尼黑举行。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13242, 449-469 (2022).
MSC公司:68新元 68季度xx
PDF格式BibTeX公司 XML格式引用

带有定理证明的概率序列程序的自动推理。 (英语) Zbl 07670535号

Fahrenberg,Uli(编辑)等人,《计算机科学中的关系和代数方法》。第19届国际会议,RAMiCS 2021,法国马赛,2021年11月2-5日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13027, 465-482 (2021).
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

证明了一些随机分布式算法的不可能性结果和Coq分析。 (英语) Zbl 1482.68282号

Sampaio,Augusto(编辑)等人,《计算的理论方面——ICTAC 2016》。第十三届国际学术讨论会,中华民国台湾台北,2016年10月24日至31日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9965, 69-81 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

形式化概率程序预期运行时间的语义。 (英语) Zbl 1478.68138号

Blanchette,Jasmin Christian(编辑)等人,交互定理证明。2016年8月22日至25日在法国南希举行的2016年ITP第七届国际会议。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9807, 475-482 (2016).
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格式引用
全文: 内政部

VPHL:概率程序的验证部分正确性逻辑。 (英语) Zbl 1351.68080号

Dan Ghica(编辑),第31届编程语义数学基础会议论文集(MFPS XXXI),荷兰奈梅亨,2015年6月22日至25日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记319,351-367,仅电子版(2015)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

概率系统类型的形式化层次结构。珍珠校样。 (英语) Zbl 1465.68199号

Urban,Christian(ed.)等人,《交互式定理证明》。第六届国际会议,2015年ITP,中国南京,2015年8月24日至27日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9236, 203-220 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

形式化概率不干涉。 (英语) Zbl 1426.68287号

Gonthier,Georges(编辑)等人,《认证程序和证明》。第三届国际会议,2013年CPP,澳大利亚维多利亚州墨尔本,2013年12月11-13日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8307, 259-275 (2013).
MSC公司:68V20型 68甲15
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

计算模型中加密协议的认证安全证明:入侵恢复的应用。 (英语) Zbl 1350.68229号

Jouannaud,Jean-Pierre(编辑)等人,《认证程序和证明》。2011年12月7日至9日在台湾垦丁举行的CPP 2011第一届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-25378-2/pbk)。计算机科学讲义7086378-393(2011)。
MSC公司:68吨15 94A60型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

OAEP的可证明安全性以外的可验证IND-CCA安全性。 (英语) Zbl 1284.94052号

Kiayias,Aggelos(编辑),密码学主题–CT-RSA 2011。2011年2月14日至18日,美国加利福尼亚州旧金山举行的2011年RSA大会上,密码学家们的足迹。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-19073-5/pbk)。计算机科学课堂讲稿6558180-196(2011)。
MSC公司:94A60型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

全部的 前3名

主字段