蔡晓娟 应用pi演算的纯标记转换语义。 （英语） Zbl 1207.68221号 信息科学。 180，编号22，4436-4458（2010）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{X.Cai}，信息科学。180，第22号，4436-4458（2010；Zbl 1207.68221） 全文： 内政部
亚尼克·骑士;迈克尔·鲁西诺维奇 不相交入侵者理论结合中的符号协议分析：结合决策过程。 （英语） Zbl 1187.68204号 西奥。计算。科学。 411，第10号，1261-1282（2010）.MSC公司：第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{Y.Chevalier}和\textit{M.Rusinovitch}，Theor。计算。科学。411，第10号，1261--1282（2010；Zbl 1187.68204） 全文： 内政部
布鲁诺·布兰切特;马丁·阿巴迪;塞德里克·Fornet 自动验证安全协议的选定等效项。 （英语） Zbl 1135.68007号 J.日志。阿尔盖布。程序。 75，第1期，第3-51页（2008年）.MSC公司：68个M12 68米10 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \文本{B.Blanchet}等人，J.Log。阿尔盖布。程序。75，第1、3--51号（2008；Zbl 1135.68007） 全文： 内政部
迈克尔·巴克斯;比吉特·普菲茨曼 Dolev-Yao型异或密码实现的局限性。 （英语） Zbl 1487.94101号 de Capitani di Vimercati，Sabrina（编辑）等人，《计算机安全——ESORICS 2005》。第十届欧洲计算机安全研究研讨会，意大利米兰，2005年9月12-14日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。3679, 178-196 (2005).MSC公司：94A60型 PDF格式BibTeX公司 XML格式引用 \textit{M.Backes}和\textit{B.Pfitzmann}，莱克特。注释计算。科学。3679178-196（2005年；Zbl 1487.94101） 全文： 内政部