丹尼尔·多尔蒂（Daniel J.Dougherty）。；乔舒亚·古特曼。；约翰·D·拉姆斯代尔。 上下文中的安全协议分析：使用SMT和CPSA计算最小执行量。 （英语） Zbl 1514.94078号 Furia，Carlo A.（编辑）等，《综合形式方法》。2018年9月5日至7日，第14届国际会议，2018年国际单项体育联合会，爱尔兰Maynooth。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11023, 130-150 (2018).MSC公司：94A60型 PDF格式BibTeX公司 XML格式引用 \textit{D.J.Dougherty}等人，Lect。注释计算。科学。11023、130-150（2018；Zbl 1514.94078） 全文： 内政部
阿里·卡西姆；伊利耶斯·法尔科内；帕斯卡·拉福卡德 电子考试的正式分析和离线监控。 （英语） Zbl 1370.68205号 形式方法系统。设计。 51，编号117-153（2017）.MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Kassem}等人，《形式方法系统》。设计。51，第1号，117--153（2017；Zbl 1370.68205） 全文： 内政部 哈尔
里卡多·福卡迪；弗拉米尼娅·卢西奥。；格雷厄姆·斯蒂尔 安全API分析简介。 （英语） Zbl 1344.68071号 Aldini，Alessandro（ed.）等人，《安全分析和设计基础VI》，FOSAD教程讲座。柏林：施普林格出版社（ISBN 978-3-642-23081-3/pbk）。计算机科学课堂讲稿6858，35-65（2011）。MSC公司：第68页第25页 68英里11 PDF格式BibTeX公司 XML格式引用 \textit{R.Focardi}等人，Lect。注释计算。科学。6858、35-65（2011年；Zbl 1344.68071） 全文： 内政部
周，梯；李梦君；李周军；陈火旺 使用约束对时间敏感的安全协议进行建模和验证。 （英语） Zbl 1286.68324号 Chen，Yixiang（编辑）等，《第一届信息学、计算与软件基础国际会议论文集》（FICS 2008），华东师范大学，中国上海，2008年6月3-6日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记212，103-118（2008）。MSC公司：60年第68季度 68个M12 PDF格式BibTeX公司 XML格式引用 \textit{T.Zhou}等人，《电子》。注释Theor。计算。科学。212、103——118（2008年；Zbl 1286.68324） 全文： 内政部
泰姆斯根Kahsai；马里诺·米库兰 使用标称技术实现spi演算。 （英语） Zbl 1142.68445号 Beckmann，Arnold（编辑）等人，《逻辑与算法理论》。第四届欧洲可计算性会议，2008年6月15日至20日，希腊雅典，CiE 2008。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-69405-2/pbk）。计算机科学课堂讲稿5028294-305（2008）。MSC公司：68问题85 03B70号 68吨15 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{T.Kahsai}和\textit{M.Miculan}，莱克特。注释计算。科学。5028294--305（2008年；Zbl 1142.68445） 全文： 内政部
周，梯；李周军；李梦君；陈火旺 安全协议验证中的约束抽象。 （英语） Zbl 1143.68465号 Preparia，Franco P.（编辑）等人，《算法的前沿》。第二届年度国际研讨会，2008年6月19日至21日，中国长沙，一汽2008。程序。柏林：施普林格出版社（ISBN 978-3-540-69310-9/pbk）。计算机科学课堂讲稿5059，252-263（2008）。MSC公司：60年第68季度 68个M12 PDF格式BibTeX公司 XML格式引用 \textit{T.Zhou}等人，Lect。注释计算。科学。5059252--263（2008年；Zbl 1143.68465） 全文： 内政部
伊利亚诺·塞维萨托；亚伦·D·贾加德。；安德烈·斯克洛夫；蔡乔凯；克里斯托弗·沃尔斯塔德 破坏和修复公钥Kerberos。 （英语） 兹比尔1147.68393 Inf.计算。 206，编号2-4，402-424（2008）.MSC公司：68个M12 68米10 第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{I.Cervesato}等人，《信息计算》。206，编号2--4，402--424（2008；Zbl 1147.68393） 全文： 内政部
布鲁诺·布兰切特；马丁·阿巴迪；塞德里克·Fornet 自动验证安全协议的选定等效项。 （英语） Zbl 1135.68007号 J.日志。阿尔盖布。程序。 75，第1期，第3-51页（2008年）.MSC公司：68个M12 68米10 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \文本{B.Blanchet}等人，J.Log。阿尔盖布。程序。75，第1、3--51号（2008；Zbl 1135.68007） 全文： 内政部
马丁·阿巴迪；维罗尼克·科尔蒂尔 在等式理论下确定安全协议中的知识。 （英语） Zbl 1153.94339号 西奥。计算。科学。 367，第1-2、2-32号（2006）.MSC公司：94A60型 94A62型 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{M.Abadi}和\textit{V.Cortier}，Theor。计算。科学。367，编号1--2，2--32（2006；Zbl 1153.94339） 全文： 内政部
本杰明·阿齐兹；杰夫·汉密尔顿；大卫·格雷 密码过程的静态分析：指称方法。 （英语） Zbl 1078.68027号 J.日志。阿尔盖布。程序。 64，第2期，285-320（2005）.MSC公司：第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit｛B.Aziz｝等人，J.Log。阿尔盖布。程序。64，第2号，285--320（2005；Zbl 1078.68027） 全文： 内政部
布鲁诺·布兰切特；安德烈亚斯·波德尔斯基 验证加密协议：标记强制终止。 （英语） Zbl 1070.68033号 西奥。计算。科学。 333，编号1-2，67-90（2005）.MSC公司：第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit｛B.Blanchet｝和\textit｛A.Podelski｝，Theor。计算。科学。333，编号1--2，67-90（2005；Zbl 1070.68033） 全文： 内政部