维罗尼克·科尔蒂尔;安托万·达隆;斯特凡尼德劳恩 有效地确定标准原语和阶段的等价性。 （英语） 兹比尔1496.68060 Lopez，Javier（编辑）等人，《计算机安全》。第23届欧洲计算机安全研究研讨会，2018年ESORICS，西班牙巴塞罗那，2018年9月3-7日。诉讼程序。第一部分查姆：施普林格。勒克特。注释计算。科学。11098, 491-511 (2018).MSC公司：68平方米25 68第27页 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{V.Cortier}等人，Lect。注释计算。科学。11098、491--511（2018；Zbl 1496.68060） 全文： 内政部 哈尔
克雷默斯，Cas J.F。;帕斯卡·拉福卡德;菲利普·纳多 比较自动安全协议分析中的状态空间。 （英语） Zbl 1242.94022号 Cortier，Véronique（编辑）等人，《从形式到实用的安全性》。2005-2008年法日合作发表的论文。柏林：施普林格出版社（ISBN 978-3-642-02001-8/pbk）。计算机科学课堂讲稿5458，70-94（2009）。MSC公司：94A60型 68第25页 PDF格式BibTeX公司 XML格式引用 \textit{C.J.F.Cremers}等人，Lect。注释计算。科学。5458、70-94（2009年；Zbl 1242.94022） 全文： 内政部 哈尔