里卡多·福卡迪;弗拉米尼娅·卢西奥。 确保链空间中的密钥管理策略的安全。 （英语） Zbl 1498.94060号 Daniel Dougherty（编辑）等人，《协议、链和逻辑》。在约书亚·古特曼66.66岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13066, 175-197 (2021).MSC公司：94A60型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Focardi}和\textit{F.L.Luccio}，莱克特。注释计算。科学。13066，175--197（2021；Zbl 1498.94060） 全文： 内政部
里卡多·福卡迪;弗拉米尼娅·卢西奥。 通过赢得智囊团游戏来猜测银行PIN。 （英语） Zbl 1254.68116号 理论计算。系统。 50，第1期，52-71（2012）.MSC公司：68第25页 91A80 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{R.Focardi}和\textit{F.L.Luccio}，理论计算。系统。50，第1号，52--71（2012；Zbl 1254.68116） 全文： 内政部
里卡多·福卡迪;弗拉米尼娅·卢西奥。;格雷厄姆·斯蒂尔 安全API分析简介。 （英语） 兹比尔1344.68071 Aldini，Alessandro（编辑）等人，《安全分析和设计基础》，第六版，FOSAD教程讲座。柏林：施普林格出版社（ISBN 978-3-642-23081-3/pbk）。计算机科学课堂讲稿6858，35-65（2011）。MSC公司：68第25页 68英里11 PDF格式BibTeX公司 XML格式引用 \textit{R.Focardi}等人，Lect。注释计算。科学。6858、35-65（2011年；Zbl 1344.68071） 全文： 内政部
米歇尔·布格列西;里卡多·福卡迪 用于网络安全的通道抽象。 （英语） Zbl 1191.68269号 数学。结构。计算。科学。 20，第1期，第3-44页（2010年）.MSC公司：68第25页 68问题85 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{M.Bugliesi}和\textit{R.Focardi}，数学。结构。计算。科学。20，第1号，第3-44号（2010；Zbl 1191.68269） 全文： 内政部
奇亚拉·布拉金;阿戈斯蒂诺·科尔特斯;里卡多·福卡迪 边界环境中的信息流安全。 （英语） Zbl 1147.68330号 Inf.计算。 206，编号2-4，460-489（2008）.MSC公司：68M10个 PDF格式BibTeX公司 XML格式引用 \textit{C.Braghin}等人，《信息计算》。206，编号2--4，460-489（2008；Zbl 1147.68330） 全文： 内政部
安娜丽莎·博西;里卡多·福卡迪;卡拉广场;萨宾娜·罗西 验证持久安全属性。 （英语） Zbl 1072.68065号 计算。语言系统。结构。 30，编号3-4，231-258（2004）.MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Bossi}等人，计算。语言系统。结构。30，编号3--4，231--258（2004；Zbl 1072.68065） 全文： 内政部
奇亚拉·布拉金;阿戈斯蒂诺·科尔特斯;里卡多·福卡迪;弗拉米尼娅·卢西奥。;卡拉广场 移动环境的嵌套分析。 （英语） Zbl 1072.68066号 计算。语言系统。结构。 30，编号3-4，207-230（2004）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Braghin}等人，计算。语言系统。结构。30，编号3--4，207--230（2004；Zbl 1072.68066） 全文： 内政部
里卡多·福卡迪;罗伯托·戈里埃里;法比奥·马蒂内利 三种身份验证属性的比较。 （英语） 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 1028.68004号 计算。语言系统。结构。 第1101-127号第28页（2002年）.MSC公司：68M10个 68第25页 PDF格式BibTeX公司 XML格式引用 \textit{C.Braghin}等人，计算。语言系统。结构。28，第1号，101--127（2002；Zbl 1028.68004） 全文： 内政部
博迪，恰拉;迪加诺，皮尔保罗;里卡多·福卡迪;科拉多·普里亚米 进程代数中身份验证的基本体。 （英语） Zbl 1050.68103号 西奥。计算。科学。 283，第2期，271-304（2002）.MSC公司：68问题85 68M99型 PDF格式BibTeX公司 XML格式引用 \textit{C.Bodei}等人，Theor。计算。科学。283，第2号，271--304（2002；Zbl 1050.68103） 全文： 内政部