克里斯·布尔祖斯卡;安托万,Deligna-Lavoud;克里斯托弗·艾格;塞德里克·Fornet;Kohbrok,Konrad公司;马尔库夫·科尔韦斯 TLS 1.3标准的密钥调度安全性。 (英语) Zbl 1519.94067号 Agrawal,Shweta(编辑)等人,《密码学进展——亚洲密码2022》。第28届国际密码学和信息安全理论与应用会议,台湾台北,2022年12月5日至9日。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。13791, 621-650 (2023).MSC公司:94A60型 PDF格式BibTeX公司 XML格式引用 \textit{C.Brzuska}等人,Lect。注释计算。科学。13791、621--650(2023年;Zbl 1519.94067) 全文: 内政部 链接
朱利安·瓦内格 对抗逻辑。 (英语) Zbl 1524.68105号 Singh,Gagandeep(编辑)等人,《静态分析》。第29届国际研讨会,SAS 2022,新西兰奥克兰,2022年12月5-7日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13790, 422-448 (2022).MSC公司:68号30 03B70号 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{J.Vanegue},莱克特。注释计算。科学。13790422--448(2022年;Zbl 1524.68105) 全文: 内政部
斯特凡尼德劳恩;约瑟夫·拉勒曼德 一票就足以分析隐私。 (英语) Zbl 1523.68019号 Atluri,Vijayalakshmi(编辑)等人,《计算机安全–ESORICS 2022》。第27届欧洲计算机安全研究研讨会,丹麦哥本哈根,2022年9月26日至30日。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。13554, 173-194 (2022).MSC公司:68平方米25 68第27页 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{S.Delaune}和\textit{J.Lallemand},莱克特。注释计算。科学。13554173-194(2022年;兹比尔1523.68019) 全文: 内政部 哈尔
E.M.维纳斯基。;德马科夫,A.V。 AKE协议的ProVerif程序优化。 (英语) Zbl 1514.94137号 程序。计算。柔和。 第8号第48页,第781-787页(2022).MSC公司:94A60型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{E.M.Vinarskii}和\textit{A.V.Demakov},程序。计算。柔和。48,编号8,781--787(2022;Zbl 1514.94137) 全文: 内政部
洛伊奇费雷拉 用于受约束设备的隐私保护认证密钥交换。 (英语) Zbl 1509.68025号 Ateniese,Giuseppe(编辑)等人,《应用密码学和网络安全》。第20届国际会议,ACNS 2022,意大利罗马,2022年6月20日至23日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13269, 293-312 (2022).MSC公司:68平方米25 68英里11 94A60型 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{L.Ferreira},莱克特。注释计算。科学。13269,293--312(2022;Zbl 1509.68025) 全文: 内政部
索菲亚·塞利;阿曼多·法兹·埃尔南德斯;尼克·沙利文;古塔姆·塔姆瓦达;卢克·瓦伦塔;托姆·威格斯;巴斯·韦斯特班;克里斯托弗·伍德(Christopher A.Wood)。 实施和测量KEMTLS公司. (英语) Zbl 1497.81040号 Patrick Longa(编辑)等人,密码学进展-LATINCRYPT 2021。第七届拉丁美洲密码学和信息安全国际会议,哥伦比亚波哥大,2021年10月6日至8日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。1291288-107(2021)。MSC公司:81页94 94A60型 81页70 94A62型 60升10 PDF格式BibTeX公司 XML格式引用 \textit{S.Celi}等人,Lect。注释计算。科学。12912,88-107(2021;Zbl 1497.81040) 全文: 内政部
史,程;和崎市Yoneyama 基于比特币智能合约的公平交换正式验证。 (英语) Zbl 1492.91459号 Bhargavan,Karthikeyan(编辑)等人,《密码学进展——INDOCRYPT 2020》。2020年12月13-16日在印度班加罗尔举行的第21届国际密码学会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12578, 89-106 (2020).MSC公司:91G99型 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{C.Shi}和\textit{K.Yoneyama},莱克特。注释计算。科学。12578,89-106(2020;Zbl 1492.91459) 全文: 内政部
李迪龙;Tiu,Alwen先生 将ProVerify和自动定理证明器结合起来进行安全协议验证。 (英语) Zbl 07178986号 Fontaine,Pascal(编辑),自动扣除-CADE 27。第27届自动扣减国际会议,巴西纳塔尔,2019年8月27日至30日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11716, 354-365 (2019).MSC公司:60年第68季度 68伏15 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{D.L.Li}和\textit{A.Tiu},Lect。注释计算。科学。11716、354--365(2019;Zbl 07178986) 全文: 内政部
王维金;刘景斌;秦、余;冯登国 无TTP黑名单匿名凭证系统的形式化分析。 (英语) Zbl 1452.94108号 Qing,Sihan(编辑)等,《信息与通信安全》。2017年ICICS第19届国际会议,2017年12月6日至8日,中国北京。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10631, 3-16 (2018).MSC公司:94A62型 PDF格式BibTeX公司 XML格式引用 \textit{W.Wang}等人,Lect。注释计算。科学。10631,3-16(2018;Zbl 1452.94108) 全文: 内政部
戴维·巴恩斯;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 1444.68037号 Maffei,Matteo(编辑)等人,《安全与信任原则》。2017年4月22日至29日在瑞典乌普萨拉举行的第六届国际会议,即2017年POST,是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。10204, 95-116 (2017).MSC公司:68平方米25 60年第68季度 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{S.Bursuc}等人,Lect。注释计算。科学。10204,95-116(2017;Zbl 1444.68037) 全文: 内政部 arXiv公司
奥马尔·阿穆萨;塞巴斯蒂安·莫德谢姆;卢卡·维甘诺 Alice和Bob:协调正式模型和实现。 (英语) Zbl 1434.68294号 Bodei,Chiara(编辑)等人,《生物和安全应用编程语言》。在皮尔保罗·德加诺65岁生日之际献给他的散文。查姆:斯普林格。莱克特。注释计算。科学。9465, 66-85 (2015).MSC公司:68问题55 68平方米25 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{O.Almousa}等人,Lect。注释计算。科学。9465,66-85(2015年;兹比尔1434.68294) 全文: 内政部 链接
戴维·巴恩斯;凯勒,米歇尔;萨沙拉多米罗维奇;拉尔夫·萨西 爱丽丝和鲍勃遇到了等式理论。 (英语) 兹比尔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) 全文: 内政部
文森特·雪瓦尔;布鲁诺·布兰切特 证明与ProVerify的更多观测等价性。 (英语) Zbl 1391.94737号 David Basin(编辑)等人,《安全与信任原则》。2013年3月16日至24日在意大利罗马举行的第二届国际会议,即2013年POST,是欧洲软件理论与实践联合会议(ETAPS 2013)的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-36829-5/pbk)。计算机科学课堂讲稿7796,226-246(2013)。MSC公司:94A60型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{V.Cheval}和\textit{B.Blanchet},莱克特。注释计算。科学。7796,226--246(2013;Zbl 1391.94737) 全文: 内政部
卢安图;孙骏;刘,杨;董金松 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)
米里亚姆·帕奥拉;布鲁诺·布兰切特 使用列表验证安全协议:从长度1到无限长度。 (英语) 兹比尔1353.68021 Degano,Pierpaolo(编辑)等人,《安全与信任原则》。2012年3月24日至4月1日,作为欧洲软件理论与实践联合会议(ETAPS 2012)的一部分,在爱沙尼亚塔林举行了第一届国际会议,即2012年邮政总局。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-28640-7/pbk)。计算机科学课堂讲稿7215,69-88(2012)。MSC公司:68个M12 60年第68季度 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{M.Paiola}和\textit{B.Blanchet},莱克特。注释计算。科学。7215,69-88(2012;Zbl 1353.68021) 全文: 内政部
维罗尼克·科尔蒂尔;简·迪格里克;斯特凡尼德劳恩 分析路由协议:四个节点拓扑就足够了。 (英语) Zbl 1353.68020号 Degano,Pierpaolo(编辑)等人,《安全与信任原则》。2012年3月24日至4月1日,作为欧洲软件理论与实践联合会议(ETAPS 2012)的一部分,在爱沙尼亚塔林举行了第一届国际会议,即2012年邮政总局。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-28640-7/pbk)。计算机科学讲义7215,30-50(2012)。MSC公司:68个M12 94A60型 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{V.Cortier}等人,Lect。注释计算。科学。7215,30-50(2012;Zbl 1353.68020) 全文: 内政部
布鲁诺·布兰切特 安全协议验证:符号和计算模型。 (英语) Zbl 1297.68072号 Degano,Pierpaolo(编辑)等人,《安全与信任原则》。2012年3月24日至4月1日,作为欧洲软件理论与实践联合会议(ETAPS 2012)的一部分,在爱沙尼亚塔林举行了第一届国际会议,即2012年邮政总局。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-28640-7/pbk)。计算机科学课堂讲稿7215,3-29(2012)。MSC公司:68第25页 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{B.Blanchet},莱克特。注释计算。科学。7215,3--29(2012;Zbl 1297.68072) 全文: 内政部
拉尔夫·库斯特斯;托马斯·特鲁德隆 在基于Horn理论的方法中将使用XOR的协议分析简化为无XOR的情况。 (英语) Zbl 1213.94119号 J.汽车。推理 46,编号3-4,325-352(2011).MSC公司:94A60型 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{R.Küsters}和\textit{T.Truderung},J.Autom。推理46,No.3--4325--352(2011;Zbl 1213.94119) 全文: 内政部 arXiv公司
兰·卡内蒂;乔纳森·赫尔佐格 通用组合符号安全分析。 (英语) Zbl 1208.94039号 J.密码学 24,第1期,第83-147页(2011年).MSC公司:94A60型 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{R.Canetti}和\textit{J.Herzog},J.Cryptology 24,No.1,83--147(2011;Zbl 1208.94039) 全文: 内政部
马修·波德特;维罗尼克·科尔蒂尔;斯特凡尼德劳恩 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公司
兰·卡内蒂;乔纳森·赫尔佐格 相互认证和密钥交换协议的普遍可组合符号分析。 (英语) Zbl 1112.94025号 Halevi,Shai(编辑)等人,《密码学理论》。第三届密码学理论会议,TCC 2006,美国纽约,2006年3月4日至7日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-32731-2/pbk)。计算机科学课堂讲稿3876380-403(2006)。MSC公司:94A62型 PDF格式BibTeX公司 XML格式引用 \textit{R.Canetti}和\textit{J.Herzog},莱克特。注释计算。科学。3876380--403(2006;Zbl 1112.94025) 全文: 内政部