塞尔达尔·埃尔巴图尔;安德鲁·马歇尔。;克里斯托夫·林盖森 计算子形式收敛理论方程扩展的知识。 (英语) 兹比尔1495.68113 数学。结构。计算。科学。 30,第6号,683-709(2020).MSC公司:2012年第68季度 68平方米25 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{S.Erbatur}等人,《数学》。结构。计算。科学。30,第6号,683--709(2020;Zbl 1495.68113) 全文: 内政部
李迪龙;Tiu,Alwen先生 结合证明器和自动定理证明器进行安全协议验证。 (英语) Zbl 07178986号 Fontaine,Pascal(编辑),自动扣除-CADE 27。第27届自动扣减国际会议,巴西纳塔尔,2019年8月27日至30日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。11716, 354-365 (2019).MSC公司:03B35型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{D.L.Li}和\textit{A.Tiu},Lect。注释计算。科学。11716、354--365(2019;Zbl 07178986) 全文: 内政部
马丁·阿巴迪;布鲁诺·布兰切特;塞德里克·Fornet 应用的pi演算、移动值、新名称和安全通信。 (英语) Zbl 1426.68037号 美国临床医学杂志 65,第1号,第1条,41页(2018年).MSC公司:68号30 68第25页 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Abadi}等人,J.ACM 65,第1号,第1条,41页(2018年;Zbl 1426.68037) 全文: 内政部 arXiv公司
戴维·巴恩斯;Cremers,卡斯;凯瑟琳·梅多斯 模型检查安全协议。 (英语) Zbl 1392.68228号 Clarke,Edmund M.(编辑)等人,《模型检查手册》。查姆:施普林格(ISBN 978-3-319-10574-1/hbk;978-3-3169-10575-8/电子书)。727-762 (2018).MSC公司:60年第68季度 68个M12 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{D.Basin}等人,in:模型检查手册。查姆:施普林格。727--762(2018;Zbl 1392.68228) 全文: 内政部
阿里·卡西姆;法尔科内,伊利斯;帕斯卡·拉福卡德 电子考试的正式分析和离线监控。 (英语) Zbl 1370.68205号 形式方法系统。设计。 51,第1期,117-153(2017).MSC公司:60年第68季度 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Kassem}等人,《形式方法系统》。设计。51,第1号,117--153(2017;Zbl 1370.68205) 全文: 内政部 哈尔
戴维·巴恩斯;米歇尔·凯勒;萨沙拉多米罗维奇;拉尔夫·萨西 爱丽丝和鲍勃遇到了等式理论。 (英语) Zbl 1321.68343号 Martí-Oliet,Narciso(编辑)等人,《逻辑、重写和并发》。纪念何塞·梅塞盖尔65岁生日的文章。查姆:施普林格(ISBN 978-3-319-23164-8/pbk;978-3-3169-23165-5/电子书)。计算机科学讲座笔记9200,160-180(2015)。MSC公司:60年第68季度 68个M12 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{D.Basin}等人,Lect。注释计算。科学。9200、160-180(2015年;Zbl 1321.68343) 全文: 内政部
萨塔扎德,贝南;Mehran S·法拉。 在存在折衷主体的情况下,对注入协议进行基于类型的自动分析。 (英语) Zbl 1337.68193号 J.日志。阿尔盖布。方法计划。 84,第5期,576-610(2015).MSC公司:68问题85 68个M12 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{B.Sattarzadeh}和\textit{M.S.Fallah},J.Log。阿尔盖布。方法计划。84,第5号,576--610(2015;Zbl 1337.68193) 全文: 内政部
布鲁诺·布兰切特 符号模型中安全协议的自动验证:验证器ProVerif。 (英语) Zbl 1448.68185号 Aldini,Alessandro(编辑)等人,《安全分析和设计基础VII》。FOSAD 2012/2013辅导讲座。柏林:斯普林格。莱克特。注释计算。科学。8604, 54-87 (2014).MSC公司:68平方米25 60年第68季度 68问题85 94A60型 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{B.Blanchet},莱克特。注释计算。科学。8604,54-87(2014;Zbl 1448.68185) 全文: 内政部
马修·波德特;维罗尼克·科尔蒂尔;斯特凡尼德劳恩 YAPA:计算入侵者知识的通用工具。 (英语) Zbl 1353.68019号 ACM事务处理。计算。日志。 第14号第1条第4条第32页(2013年).MSC公司:68个M12 2012年第68季度 60年第68季度 68问题85 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{M.Baudet}等人,ACM Trans。计算。日志。14,第1号,第4条,32页(2013;Zbl 1353.68019) 全文: 内政部
卢安图;孙骏;刘,杨;董金松 SeVe:安全协议验证的自动工具。 (英语) Zbl 1251.68142号 前面。计算。科学。 6,第1期,57-75(2012).MSC公司:60年第68季度 94A62型 68个M12 PDF格式BibTeX公司 XML格式引用 \textit{A.T.Luu}等人,前面。计算。科学。6,第1号,57-75(2012;Zbl 1251.68142)
马修·波德特;维罗尼克·科尔蒂尔;斯特凡尼德劳恩 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格式引用 \textit{M.Baudet}等人,Lect。注释计算。科学。5595148-163(2009年;Zbl 1242.94018) 全文: 内政部 arXiv公司