布鲁诺·布兰切特 安全协议验证器ProVerif及其Horn子句解析算法。 (英语) Zbl 07806140号 Hamilton,Geoffrey W.(ed.)等人,《验证与合成用Horn条款第九次研讨会和验证与程序转换第十次国际研讨会会议记录》,HCVS/VPT 2022,德国慕尼黑,2022年4月3日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)373,14-22(2022)。MSC公司:68倍 94-XX年 PDF格式BibTeX公司 XML格式引用 \textit{B.Blanchet},电子。程序。西奥。计算。科学。(EPTCS)373,14--22(2022;Zbl 07806140) 全文: arXiv公司 链接
布鲁诺·布兰切特 符号模型中安全协议的自动验证:验证器ProVerif。 (英语) Zbl 1448.68185号 Aldini,Alessandro(编辑)等人,《安全分析和设计基础VII》。FOSAD 2012/2013辅导讲座。柏林:斯普林格。莱克特。注释计算。科学。8604, 54-87 (2014).MSC公司:68平方米25 第68季度第60季度 第68季度85 94A60型 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{B.Blanchet},莱克特。注释计算。科学。8604,54-87(2014;Zbl 1448.68185) 全文: 内政部
Cacciagrano、Diletta;弗拉维奥·科拉迪尼;杰苏斯·阿兰达;弗兰克·巴伦西亚。 异步像素中的线性、持久性和测试语义。 (英语) Zbl 1277.68167号 Amadio,Roberto(编辑)等人,第14届并发表达性国际研讨会论文集(EXPRESS 2007),葡萄牙里斯本,2007年9月3日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》194,第2期,59-84页(2008年)。MSC公司:第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{D.Cacciagrano}等人,《电子》。注释Theor。计算。科学。194,第2号,59--84(2008;Zbl 1277.68167) 全文: 内政部
塞巴斯蒂安·莫德谢姆 协议验证中模型之间的关系。 (英语) 兹比尔1146.68345 Inf.计算。 206,编号2-4,291-311(2008).MSC公司:68个M12 第68季度第60季度 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{S.Mödersheim},Inf.计算。206,编号2--4,291--311(2008;Zbl 1146.68345) 全文: 内政部
布鲁诺·布兰切特;马丁·阿巴迪;塞德里克·Fornet 自动验证安全协议的选定等效项。 (英语) Zbl 1135.68007号 J.日志。代数。程序。 75,第1期,第3-51页(2008年).MSC公司:68个M12 68米10 第68季度第60季度 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{B.Blanchet}等人,J.Log。代数。程序。75,第1、3--51号(2008;Zbl 1135.68007) 全文: 内政部