文森特·雪瓦尔;史蒂夫·克莱默;伊察卡拉科托尼里纳 《搭便车者指南》介绍了安全协议中等价属性的可判定性和复杂性。 （英语） Zbl 07370024号 Nigam，Vivek（编辑）等人，《逻辑、语言和安全》。在安德烈·塞德罗夫65岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。12300, 127-145 (2020).MSC公司：03年XX月 PDF格式BibTeX公司 XML格式引用 \文本{V.Cheval}等人，Lect。注释计算。科学。12300，127--145（2020；Zbl 07370024） 全文： 内政部 哈尔
迈托·阿拉皮尼斯;斯特凡尼德劳恩;史蒂夫·克莱默 安全协议的动态标签。 （英语） Zbl 1315.94050号 日志。方法计算。科学。 10，第2号，第11号论文，50页（2014年）.MSC公司：94A60型 68个M12 68第25页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Arapinis}等人，日志。方法计算。科学。10，第2号，第11号论文，50页（2014；Zbl 1315.94050） 全文： 内政部 arXiv公司
雪莲骑士;斯特凡尼德劳恩;史蒂夫·克莱默 转换密码协议以编写。 （英语） Zbl 1246.68068号 Chakraborthy，Supraik（编辑）等人，IARCS软件技术和理论计算机科学基础年会（FSTTCS 2011），印度孟买，2011年12月12-14日。瓦登：达格斯图尔宫-莱布尼茨天顶宫（ISBN 978-3-939897-34-7）。LIPIcs–莱布尼茨国际信息学会议录13，204-216，仅电子版（2011年）。MSC公司：68个M12 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{C.Chevalier}等人，LIPIcs——莱布尼茨国际程序。通知。13、204--216（2011；Zbl 1246.68068） 全文： 内政部
马修·波德特;维罗尼克·科尔蒂尔;史蒂夫·克莱默 针对被动对手的等式理论的计算上合理的实现。 （英语） Zbl 1170.68016号 Inf.计算。 207，第4期，496-520（2009）.MSC公司：68第25页 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{M.Baudet}等人，《信息计算》。207，第4号，496--520（2009；Zbl 1170.68016） 全文： 内政部