里卡多·福卡迪;罗伯托·戈里埃里;法比奥·马蒂内利 安全属性的分类。二: 网络安全。 (英语) 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) 全文: 内政部
里卡多·福卡迪;罗伯托·戈里埃里;法比奥·马丁内利 三种身份验证属性的比较。 (英语) 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) 全文: 内政部
安东尼奥·杜兰特;里卡多·福卡迪;罗伯托·戈里埃里 工作中的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) 全文: 链接
里卡多·福卡迪(编辑);罗伯托·戈里埃里(编辑) 安全分析和设计基础。辅导讲座。 (英语) Zbl 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)