里卡多·福卡迪;弗拉米尼娅·卢西奥。 确保链空间中的密钥管理策略的安全。 (英语) 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) 全文: 内政部
博迪,恰拉;琳达·布罗多;里卡多·福卡迪 用于攻击重建的静态证据。 (英语) Zbl 1437.94051号 Bodei,Chiara(编辑)等人,《生物和安全应用编程语言》。在皮耶保罗·德加诺65岁生日之际,为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。9465, 162-182 (2015).MSC公司:94A60型 PDF格式BibTeX公司 XML格式引用 \textit{C.Bodei}等人,Lect。注释计算。科学。9465、162--182(2015年;Zbl 1437.94051) 全文: 内政部
里卡多·福卡迪;弗拉米尼娅·卢西奥。 通过赢得智囊团游戏来猜测银行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) 全文: 内政部
罗曼·巴杜;里卡多·福卡迪;川本优助;洛伦佐·西米奥纳托;斯蒂尔,格雷厄姆;蔡乔凯 加密硬件上的高效填充预言攻击。 (英语) Zbl 1296.94078号 Safavi Naini,Reihaneh(编辑)等人,《密码学进展——2012年密码学》。2012年8月19日至23日,第32届年度密码学会议,美国加利福尼亚州圣巴巴拉。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-32008-8/pbk)。计算机科学课堂讲稿7417,608-625(2012)。MSC公司:94A60型 PDF格式BibTeX公司 XML格式引用 \textit{R.Bardou}等人,Lect。注释计算。科学。7417、608--625(2012年;Zbl 1296.94078) 全文: 内政部
马蒂奥·森特纳罗;里卡多·福卡迪;弗拉米尼娅·卢西奥。 PKCS#11密钥管理的基于类型的分析。 (英语) Zbl 1354.94023号 Degano,Pierpaolo(编辑)等人,《安全与信任原则》。2012年3月24日至4月1日,作为欧洲软件理论与实践联合会议(ETAPS 2012)的一部分,在爱沙尼亚塔林举行了第一届国际会议,即2012年邮政总局。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-28640-7/pbk)。计算机科学课堂讲稿7215,349-368(2012)。MSC公司:94A60型 PDF格式BibTeX公司 XML格式引用 \textit{M.Centenaro}等人,Lect。注释计算。科学。7215,349--368(2012;Zbl 1354.94023) 全文: 内政部 链接
里卡多·福卡迪 身份验证的静态分析。 (英语) Zbl 1168.94514号 Aldini,Alessandro(编辑)等人,《安全分析和设计基础III.FOSAD 2004/2005教程讲座》。柏林:施普林格出版社(ISBN 3-540-28955-0/pbk)。计算机科学课堂讲稿3655,109-132(2005)。MSC公司:94A62型 PDF格式BibTeX公司 XML格式引用 \textit{R.Focardi},莱克特。注释计算。科学。3655、109--132(2005年;Zbl 1168.94514) 全文: 内政部
里卡多·福卡迪;罗伯托·戈里埃里;法比奥·马丁内利 安全属性的分类。二: 网络安全。 (英语) 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 1202.68166号 Focardi,Riccardo(编辑)等人,《安全分析和设计基础II》。FOSAD 2001/2002辅导讲座。柏林:施普林格出版社(ISBN 3-540-20955-7/pbk)。莱克特。注释计算。科学。2946, 91-138 (2004).MSC公司:68第25页 68问题85 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bugliesi}等人,Lect。注释计算。科学。2946,91--138(2004;Zbl 1202.68166) 全文: 内政部
米歇尔·布格列西;里卡多·福卡尔迪;马特奥·马菲 身份验证协议的组成分析。 (英语) Zbl 1126.94346号 David Schmidt(编辑),《编程语言和系统》。2004年3月29日至4月2日在西班牙巴塞罗那举行的第13届欧洲编程研讨会(ESOP 2004),是欧洲软件理论与实践联合会议(ETAPS 2004)的一部分。诉讼程序。柏林:施普林格出版社(ISBN 3-540-21313-9/pbk)。计算机科学课堂讲稿2986140-154(2004)。MSC公司:94A62型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bugliesi}等人,Lect。注释计算。科学。29861940-154(2004年;兹bl 1126.94346) 全文: 内政部
米歇尔·布格列西;里卡多·福卡迪;马特奥·马菲 实体身份验证的原则。 (英语) 兹比尔1254.94047 Broy,Manfred(编辑)等人,《系统信息学的观点》。2003年7月9日至12日,俄罗斯新西伯利亚,阿卡德姆戈罗多克,第五届安德烈·埃尔肖夫国际纪念大会,PSI 2003。修订论文。柏林:施普林格出版社(ISBN 3-540-20813-5/pbk)。计算机科学课堂讲稿2890294-306(2003)。MSC公司:94A62型 68个M12 PDF格式BibTeX公司 XML格式引用 \textit{M.Bugliesi}等人,Lect。注释计算。科学。2890、294--306(2003年;Zbl 1254.94047) 全文: 内政部
里卡多·福卡迪;罗伯托·戈里埃里;法比奥·马蒂内利 三种身份验证属性的比较。 (英语) 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)
里卡多·福卡迪;法比奥·马蒂内利 定义安全属性的统一方法。 (英语) 兹伯利0972.94042 Wing,Jeannette M.(编辑)等人,FM’99。形式化方法。计算系统开发中的形式化方法世界大会。1999年9月20日至24日,法国图卢兹。诉讼程序。2卷。柏林:施普林格出版社(ISBN 3-540-66587-0/vol1;3-540-665088-9/vol2)。莱克特。注释计算。科学。1708; 1709, 794-813 (1999).MSC公司:94A62型 68第25页 PDF格式BibTeX公司 XML格式引用 \textit{R.Focardi}和\textit{F.Martinelli},Lect。注释计算。科学。1708794-813(1999年;Zbl 0972.94042)