文森特·雪瓦尔；休伯特·科蒙·隆德；斯特凡尼德劳恩 确定约束系统集之间符号等价性的过程。 （英语） Zbl 1371.68189号 Inf.计算。 255，第1部分，94-125（2017）.MSC公司：68问题85 60年第68季度 94A60型 PDF格式BibTeX公司 XML格式引用 \textit｛V.Cheval｝等人，Inf.Comput。255，第1部分，94-125（2017；Zbl 1371.68189） 全文： DOI程序 链接
迈托·阿拉皮尼斯；斯特凡尼德劳恩；史蒂夫·克莱默 安全协议的动态标签。 （英语） 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） 全文： DOI程序 arXiv公司
马修·波德特；维罗尼克·科尔蒂尔；斯特凡尼德劳恩 YAPA：计算入侵者知识的通用工具。 （英语） Zbl 1353.68019号 ACM事务处理。计算。日志。 第14号第1条第4条第32页（2013年）.MSC公司：68个M12 2012年第68季度 60年第68季度 68问题85 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{M.Baudet}等人，ACM Trans。计算。日志。14，第1号，第4条，32页（2013；Zbl 1353.68019） 全文： DOI程序
文森特·雪瓦尔；维罗尼克·科尔蒂尔；斯特凡尼德劳恩 使用约束求解确定基于等效的特性。 （英语） Zbl 1294.68111号 西奥。计算。科学。 492，1-39（2013）.MSC公司：68问题85 68个M12 60年第68季度 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{V.Cheval}等人，Theor。计算。科学。492，1--39（2013年；Zbl 1294.68111） 全文： DOI程序
瑟·特凡·乔巴赫；斯特凡尼德劳恩；史蒂夫·克莱默 在收敛方程理论下计算安全协议知识。 （英语） Zbl 1242.68098号 J.汽车。推理 48，第2期，219-262（2012）.MSC公司：第68页第25页 68个M12 68吨15 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{ö.Ciobác}等人，J.Autom。推理48，No.2，219--262（2012；Zbl 1242.68098） 全文： DOI程序
穆赫贝丁·贝里玛；本·拉杰布，纳吉斯；维罗尼克·科尔蒂尔 根据一些电子投票理论确定安全协议中的知识。 （英语） Zbl 1223.68016号 西奥·雷罗。通知。申请。 第3期第45页，第269-299页（2011年）.MSC公司：68个M12 94A60型 94A62型 2007年7月68日 PDF格式BibTeX公司 XML格式引用 \textit{M.Berrima}等人，RAIRO，Theor。通知。申请。45，第3号，269--299（2011；Zbl 1223.68016） 全文： DOI程序 欧洲DML 链接
罗兰·布鲁莱；雷蒙德·魔鬼队；汉娜·克劳代尔；伊丽莎白·佩尔兹；法兰克·波默罗 使用基于角色的规范和Petri网对安全协议进行建模和分析。 （英语） Zbl 1143.68476号 van Hee，Kees M.（编辑）等人，《Petri网的应用和理论》。2008年6月23日至27日，第29届国际会议，PETRI NETS 2008，中国西安。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-68745-0/pbk）。计算机科学课堂讲稿506272-91（2008）。MSC公司：68问题85 60年第68季度 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{R.Bouroulet}等人，Lect。注释计算。科学。5062,72--91（2008年；Zbl 1143.68476） 全文： DOI程序 哈尔
塞巴斯蒂安·莫德谢姆 协议验证中模型之间的关系。 （英语） Zbl 1146.68345号 Inf.计算。 206，编号2-4，291-311（2008）.MSC公司：68个M12 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Mödersheim}，Inf.计算。206，编号2--4，291--311（2008；Zbl 1146.68345） 全文： DOI程序