布鲁诺·布兰切特 符号模型中安全协议的自动验证：验证器ProVerif。 （英语） Zbl 1448.68185号 Aldini，Alessandro（编辑）等人，《安全分析和设计基础VII》。FOSAD 2012/2013辅导讲座。柏林：斯普林格。莱克特。注释计算。科学。8604, 54-87 (2014).MSC公司：68平方米25 60年第68季度 68问题85 94A60型 94A62型 PDF格式BibTeX公司 XML格式引用 \发短信{B.Blanchet}，Lect。注释计算。科学。8604，54-87（2014；Zbl 1448.68185） 全文： 内政部
布鲁诺·布兰切特；马丁·阿巴迪；塞德里克·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） 全文： 内政部
马丁·阿巴迪；布鲁诺·布兰切特 非对称通信的保密类型。 （英语） Zbl 1038.68081号 西奥。计算。科学。 298，第3期，387-415（2003）.MSC公司：68问题85 第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{M.Abadi}和\textit{B.Blanchet}，Theor。计算。科学。298，编号387--415（2003年；兹bl 1038.68081） 全文： 内政部