德莱恩，斯特凡尼;卢卡·赫斯基 密码协议中建立基于等价性属性的符号方法综述。 （英语） Zbl 1359.68023号 J.日志。阿尔盖布。方法计划。 87, 127-144 (2017).MSC公司：68平方米 94A60 PDF格式BibTeX公司 XML格式引用 \textit{S.Delaune}和\textit{L.Hirschi}，J.Log。阿尔盖布。方法计划。87、127--144（2017；Zbl 1359.68023） 全文： 内政部 arXiv公司
雪莲骑士;德莱恩，斯特凡尼;史蒂夫·克莱默;马克·D·瑞恩。 基于密码的协议的组成。 （英语） Zbl 1291.68035号 表格方法系统。设计。 43，第3期，369-413（2013）.MSC公司：68平方米 68英里11 94A60 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Chevalier}等人，《形式方法系统》。设计。43，第3号，369--413（2013；Zbl 1291.68035） 全文： 内政部 哈尔
文森特·雪瓦尔;维罗尼克·科尔蒂尔;德莱恩，斯特凡尼 使用约束求解确定基于等效的特性。 （英语） Zbl 1294.68111号 西奥。计算。科学。 492, 1-39 (2013).MSC公司：68问题85 68平方米 60年第68季度 94A60 PDF格式BibTeX公司 XML格式引用 \textit{V.Cheval}等人，Theor。计算。科学。492，1--39（2013年；Zbl 1294.68111） 全文： 内政部
维罗尼克·科尔蒂尔;德莱恩，斯特凡尼 安全地制定安全协议。 （英语） Zbl 1165.68358号 表格方法系统。设计。 34，第1期，1-36页（2009年）.MSC公司：68N99型 68M10个 68第25页 PDF格式BibTeX公司 XML格式引用 \textit{V.Cortier}和\textit{S.Delaune}，《形式方法系统》。设计。34，第1号，1-36（2009；Zbl 1165.68358） 全文： 内政部 链接
沙丁·多赫米（Shaddin F.Doghmi）。;约书亚·D·古特曼。;哈维尔·塞耶 骨架、同态和形状：协议执行的特征。 （英语） Zbl 1316.94067号 Fiore，Marcelo（编辑），第23届编程语义数学基础会议论文集（MFPS XXIII），美国洛杉矶新奥尔良，2007年4月11-14日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记173，85-102（2007）。MSC公司：94A60 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{S.F.Doghmi}等人，《电子》。理论注释。计算。科学。173、85-102（2007年；Zbl 1316.94067） 全文： 内政部
维罗尼克·科尔蒂尔;杰雷米·德莱特;德莱恩，斯特凡尼 安全地制定安全协议。 （英语） Zbl 1135.68392号 Arvind，V.（ed.）等人，FSTTCS 2007：软件技术和理论计算机科学基础。第27届国际会议，印度新德里，2007年12月12-14日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-77049-7/pbk）。计算机科学课堂讲稿4855，352-363（2007）。MSC公司：68第25页 PDF格式BibTeX公司 XML格式引用 \textit{V.Cortier}等人，Lect。注释计算。科学。4855、352--363（2007年；Zbl 1135.68392） 全文： 内政部
拉马努贾姆，R。;S.P.苏雷什。 安全协议的（受限）量词消除。 （英语） 兹比尔1153.94008 西奥。计算。科学。 367，编号1-2，228-256（2006）.MSC公司：94A62型 03B25号 03C10号机组 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Ramanujam}和\textit{S.P.Suresh}，Theor。计算。科学。367，编号1--2，228--256（2006；Zbl 1153.94008） 全文： 内政部
米歇尔·博雷尔;巴斯米，玛丽亚·格拉齐亚 安全协议的符号分析方法。 （英语） Zbl 1068.94009号 西奥。计算。科学。 338，编号1-3，393-425（2005）.MSC公司：94A60 68平方米 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Boreale}和\textit{M.G.Buscemi}，Theor。计算。科学。338，编号1-3393-425（2005年；兹bl 1068.94009） 全文： 内政部