塞德里克·Fornet;卡尔蒂基扬·巴尔干;安德鲁·戈登。 通过键入样本协议实现进行加密验证。 （英语） Zbl 1344.68072号 Aldini，Alessandro（编辑）等人，《安全分析和设计基础》，第六版，FOSAD教程讲座。柏林：施普林格出版社（ISBN 978-3-642-23081-3/pbk）。计算机科学课堂讲稿6858，66-100（2011）。MSC公司：68第25页 94A60 PDF格式BibTeX公司 XML格式引用 \textit{C.Fournet}等人，Lect。注释计算。科学。6858、66-100（2011年；Zbl 1344.68072） 全文： 内政部 哈尔
布鲁诺·布兰切特;马丁·阿巴迪;塞德里克·Fornet 自动验证安全协议的选定等效项。 （英语） Zbl 1135.68007号 J.日志。阿尔盖布。程序。 75，第1期，第3-51页（2008年）.MSC公司：68平方米 68M10个 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Blanchet}等人，J.Log。阿尔盖布。程序。75，第1、3--51号（2008；Zbl 1135.68007） 全文： 内政部
卡尔蒂基扬·巴尔干;塞德里克·Fornet;安德鲁·戈登。 web服务身份验证的语义。 （英语） Zbl 1142.68587号 西奥。计算。科学。 340，第1期，102-153（2005）.MSC公司：68单位35 68M10个 60年第68季度 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{K.Bhargavan}等人，Theor。计算。科学。340，编号1，102--153（2005；Zbl 1142.68587） 全文： 内政部
塞德里克·Fornet;乔治·戈蒂尔 异步计算的等价层次。 （英语） Zbl 1066.68088号 J.日志。阿尔盖布。程序。 63，第1期，131-173（2005）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{C.Fournet}和\textit{G.Gonthier}，J.Log。阿尔盖布。程序。63，第1号，131--173（2005；Zbl 1066.68088） 全文： 内政部
马丁·阿巴迪;塞德里克·Fornet 私人身份验证。 （英语） Zbl 1071.68006号 西奥。计算。科学。 322，第3期，427-476（2004）.MSC公司：68平方米 68第25页 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{M.Abadi}和\textit{C.Fournet}，Theor。计算。科学。322，第3号，427--476（2004；Zbl 1071.68006） 全文： 内政部
塞德里克·Fornet;科西莫·拉内夫;吕克·马兰吉特;雷米，迪迪埃 连接演算中的继承。 （英语） Zbl 1035.03011号 J.日志。阿尔盖布。程序。 57，第1-2期，23-69（2003）.MSC公司：03B70号 68问题85 68号30 PDF格式BibTeX公司 XML格式引用 \textit{C.Fournet}等人，J.Log。阿尔盖布。程序。57、编号1--2、23-69（2003；Zbl 1035.03011） 全文： 内政部