里卡多·福卡迪;罗伯托·戈里埃里;法比奥·马蒂内利 安全属性的分类。二： 网络安全。 （英语） Zbl 1202.68168号 Focardi，Riccardo（编辑）等人，《安全分析和设计基础II》。FOSAD 2001/2002辅导讲座。柏林：施普林格出版社（ISBN 3-540-20955-7/pbk）。莱克特。注释计算。科学。2946, 139-185 (2004).MSC公司：68第25页 68问题85 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{R.Focardi}等人，Lect。注释计算。科学。2946、139--185（2004年；Zbl 1202.68168） 全文： 内政部
里卡多·福卡迪（编辑）;罗伯托·戈里埃里（编辑） 安全分析和设计基础二。FOSAD 2001/2002辅导讲座。 （英语） 兹比尔1031.68062 计算机科学课堂讲稿. 2946. 柏林：斯普林格。vii，267页（2004年）。MSC公司：68第25页 68-06 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{R.Focardi}（编辑）和textit{R.Gorrieri}（编），安全分析和设计基础II。FOSAD 2001/2002辅导讲座。柏林：施普林格出版社（2004；Zbl 1031.68062） 全文： 内政部 链接
里卡多·福卡迪;罗伯托·戈里埃里;法比奥·马蒂内利 三种身份验证属性的比较。 （英语） Zbl 1052.68033号 西奥。计算。科学。 291，第3期，285-327（2003）.MSC公司：68第25页 68问题85 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{R.Focardi}等人，Theor。计算。科学。291，第3号，285--327（2003；Zbl 1052.68033） 全文： 内政部
里卡多·福卡迪;罗伯托·戈里埃里;拉诺特、拉格罗;安德烈亚·马吉奥洛·谢蒂尼;法比奥·马蒂内利;西蒙·蒂尼;恩里科·特隆西 网络隐私定时攻击的正式模型。 （英语） Zbl 1268.68036号 Lenisa，Mariana（编辑）等人，TOSCA 2001。并发理论、高级语言和类型研讨会论文集，意大利乌迪内，2001年11月19-21日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记62，229-243（2002）。MSC公司：68英里11 65年第68季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛R.Focardi｝等人，电子。注释Theor。计算。科学。62、229--243（2002年；Zbl 1268.68036） 全文： 内政部
博迪，恰拉;迪加诺，皮尔保罗;里卡多·福卡迪;罗伯托·戈里埃里;法比奥·马蒂内利 安全检查技术：无干扰与控制流分析。 （英语） Zbl 1268.68121号 Lenisa，Mariana（编辑）等人，TOSCA 2001。并发理论、高级语言和类型研讨会论文集，意大利乌迪内，2001年11月19-21日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记62，211-228（2002）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{C.Bodei}等人，《电子》。注释Theor。计算。科学。62211-228（2002年；Zbl 1268.68121） 全文： 内政部
里卡多·福卡迪;罗伯托·戈里埃里 安全属性的分类。一： 信息流。 （英语） Zbl 1007.68508号 Focardi，Riccardo（编辑）等人，《安全分析和设计基础》。辅导讲座。柏林：斯普林格。莱克特。注释计算。科学。2171, 331-396 (2001).MSC公司：68第25页 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Focardi}和\textit{R.Gorrieri}，莱克特。注释计算。科学。2171、331--396（2001年；Zbl 1007.68508） 全文： 链接
安东尼奥·杜兰特;里卡多·福卡迪;罗伯托·戈里埃里 工作中的CVS：一些加密协议的新故障报告。 （英语） Zbl 0992.94505号 Gorodetski，V.I.（编辑）等人，《计算机网络中的信息保证》。网络安全的方法、模型和体系结构。2001年5月21日至23日，俄罗斯圣彼得堡MMM-ACNS 2001国际研讨会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2052, 287-299 (2001).MSC公司：94A60型 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{A.Durante}等人，Lect。注释计算。科学。2052，287--299（2001；Zbl 0992.94505） 全文： 链接
里卡多·福卡迪（编辑）;罗伯托·戈里埃里（编辑） 安全分析和设计的基础。辅导讲座。 （英语） 兹比尔0974.00025 计算机科学课堂讲稿. 2171. 柏林：斯普林格。vii，397页（2001年）。MSC公司：00B15号机组 68-06 94-06 PDF格式BibTeX公司 XML格式引用 \textit{R.Focardi}（编辑）和\textit{R.Gorrieri}（编），安全分析和设计基础。辅导讲座。柏林：施普林格出版社（2001；Zbl 0974.00025）
里卡多·福卡迪;罗伯托·戈里埃里;法比奥·马蒂内利 通过无干扰进行消息身份验证。 （英语） Zbl 0983.68067号 Rus，Teodor（编辑），代数方法论和软件技术。2000年5月20日至27日，第八届国际会议，AMAST 2000，美国爱荷华州爱荷华城。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1816, 258-272 (2000).MSC公司：68第25页 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{R.Focardi}等人，Lect。注释计算。科学。1816，258--272（2000；Zbl 0983.68067）
里卡多·福卡迪;罗伯托·戈里埃里;法比奥·马蒂内利 密码协议分析无干扰。 （英语） Zbl 0973.94517号 Montanari，Ugo（编辑）等人，《自动化、语言和编程》。第27届国际学术讨论会，ICALP 2000，瑞士日内瓦，2000年7月9日至15日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1853, 354-372 (2000).MSC公司：94A60型 PDF格式BibTeX公司 XML格式引用 \textit{R.Focardi}等人，Lect。注释计算。科学。1853，354--372（2000；Zbl 0973.94517）
福卡迪，R。;R.戈里埃里。;马蒂内利，F。 作为非干扰的安全协议中的保密性。 （英语） Zbl 0966.68008号 Schneider，Steve（编辑）等人，《安全架构和信息流研讨会》。英国伦敦大学皇家霍洛韦分校，1999年12月1日至3日。阿姆斯特丹：爱思唯尔，理论计算机科学电子笔记。32，12 p.，仅电子版（1999年）。MSC公司：68个M12 68第25页 PDF格式BibTeX公司 XML格式引用 \textit{R.Focardi}等人，in：安全架构和信息流研讨会。英国伦敦大学皇家霍洛韦分校，1999年12月1日至3日。阿姆斯特丹：爱思唯尔。第12页（1999年；Zbl 0966.68008）