西比尔·弗罗斯科尔 因果关系、行为等效性和网络物理系统的安全性。 （英语） Zbl 1444.68041号 Meyer，Roland（编辑）等人，《正确的系统设计》。2015年9月8日至9日，德国奥尔登堡，纪念Ernst-Rüdiger Olderog 60岁生日的研讨会。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。9360, 83-98 (2015).MSC公司：68平方米25 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Fröschle}，莱克特。票据计算。科学。9360，83-98（2015；Zbl 1444.68041） 全文： 内政部
布鲁诺·布兰切特 符号模型中安全协议的自动验证：验证器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） 全文： 内政部
休伯特·科蒙·隆德 安全协议自动验证的挑战。 （英语） Zbl 1165.68403号 阿曼多、亚历山德罗（编辑）等，《自动推理》。2008年8月12日至15日在澳大利亚悉尼举行的第四届国际联合会议。柏林：施普林格出版社（ISBN 978-3-540-71069-1/pbk）。计算机科学课堂讲稿5195。人工智能课堂讲稿，396-409（2008）。MSC公司：60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{H.科蒙·隆德}，莱克特。票据计算。科学。5195396--409（2008年；Zbl 1165.68403） 全文： 内政部
迈托·阿拉皮尼斯；玛丽·杜弗洛特 在安全协议中免费绑定消息。 （英语） Zbl 1135.68389号 Arvind，V.（ed.）等人，FSTTCS 2007：软件技术和理论计算机科学基础。第27届国际会议，印度新德里，2007年12月12-14日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-77049-7/pbk）。计算机科学课堂讲稿4855376-387（2007）。MSC公司：68第25页 94A60型 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{M.Arapinis}和\textit{M.Duflot}，莱克特。票据计算。科学。4855376-387（2007年；兹bl 1135.68389） 全文： 内政部