×

找到11个文档(结果1-11)

结合证明器和自动定理证明器进行安全协议验证。 (英语) Zbl 07178986号

Fontaine,Pascal(编辑),自动扣除-CADE 27。第27届自动扣减国际会议,巴西纳塔尔,2019年8月27日至30日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。11716, 354-365 (2019).
MSC公司:03B35型 68伏15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

爱丽丝和鲍勃遇到了等式理论。 (英语) Zbl 1321.68343号

Martí-Oliet,Narciso(编辑)等人,《逻辑、重写和并发》。纪念何塞·梅塞盖尔65岁生日的文章。查姆:施普林格(ISBN 978-3-319-23164-8/pbk;978-3-3169-23165-5/电子书)。计算机科学讲座笔记9200,160-180(2015)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

符号模型中安全协议的自动验证:验证器ProVerif。 (英语) Zbl 1448.68185号

Aldini,Alessandro(编辑)等人,《安全分析和设计基础VII》。FOSAD 2012/2013辅导讲座。柏林:斯普林格。莱克特。注释计算。科学。8604, 54-87 (2014).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

YAPA:计算入侵者知识的通用工具。 (英语) Zbl 1242.94018号

Treinen,Ralf(编辑),重写技术和应用。2009年6月29日至7月1日在巴西巴西利亚举行的RTA 2009第20届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02347-7/pbk)。计算机科学课堂讲稿5595148-163(2009)。
MSC公司:94A60型 03B25号 68第25页 2012年第68季度 第68页第15页
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段