布鲁诺·布兰切特 安全协议验证：符号和计算模型。 （英文） Zbl 1297.68072号 Degano，Pierpaolo（编辑）等人，《安全与信任原则》。2012年3月24日至4月1日，作为欧洲软件理论与实践联合会议（ETAPS 2012）的一部分，在爱沙尼亚塔林举行了第一届国际会议，即2012年邮政总局。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-28640-7/pbk）。计算机科学课堂讲稿7215，3-29（2012）。MSC公司：68第25页 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{B.Blanchet}，莱克特。注释计算。科学。7215，3--29（2012；Zbl 1297.68072） 全文： 内政部
卡尔蒂基扬·巴尔干;塞德里克·Fornet;安德鲁·戈登。;谢霆锋（Stephen Tse） 已验证安全协议的互操作实现。 （英文） 兹比尔1137.68323 Broy，Manfred（编辑）等人，《软件系统可靠性和安全性》。《北约软件系统可靠性和安全高级研究所会议记录》，德国马克托伯恩多夫，2006年8月1日至13日。阿姆斯特丹：IOS出版社（ISBN 978-1-58603-731-4/hbk）。北约科学安全系列。D： 信息和通信安全9，87-115（2007）。MSC公司：68个M12 68第25页 PDF格式BibTeX公司 XML格式引用 \textit{K.Bhargavan}等人，in：软件系统可靠性和安全性。《北约软件系统可靠性和安全高级研究所会议记录》，德国马克托伯恩多夫，2006年8月1日至13日。阿姆斯特丹：IOS出版社。87-115（2007；Zbl 1137.68323）