吉尔·巴特；弗朗索瓦州杜普斯托尔；本杰明·格雷戈里；塞萨尔·库茨；Benedikt施密特；Pierre-Yves支柱 EasyCrypt：教程。 （英语） Zbl 1448.68184号 Aldini，Alessandro（编辑）等人，《安全分析和设计基础VII》。FOSAD 2012/2013辅导讲座。柏林：斯普林格。莱克特。注释计算。科学。8604, 146-166 (2014).MSC公司：68平方米25 94A60型 PDF格式BibTeX公司 XML格式引用 \textit｛G.Barthe｝等人，Lect。注释计算。科学。8604146-166（2014年；Zbl 1448.68184） 全文： 内政部
布鲁诺·布兰切特 符号模型中安全协议的自动验证：验证器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） 全文： 内政部