约翰·米切尔。 多集重写和安全协议分析。 （英语） Zbl 1045.68582号 苏菲·蒂森（编辑），《重写技术与应用》。第13届国际会议，RTA 2002，丹麦哥本哈根，2002年7月22日至24日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43916-1）。莱克特。票据计算。科学。2378，19-22（2002年）。 摘要：安全协议分析的Dolev-Yao模型可以使用基于存在量化的多集重写的符号进行规范化。本演示文稿描述了安全协议分析的多集重写方法、特定形式协议分析的算法上限和下限，以及此模型用于形式化特定协议的子站点属性的一些方法。关于整个系列，请参见[Zbl 0992.00043号]. 引用于1文件 MSC公司： 2012年第68季度 语法和重写系统 94A60型 密码学 PDF格式BibTeX公司 XML格式引用 \textit{J.C.Mitchell}，莱克特。票据计算。科学。2378、19-22（2002年；Zbl 1045.68582） 全文： 链接