编辑配置文件（在新选项卡中打开） 里卡多·福卡迪 合著者距离 作者ID： 福卡迪·里卡多 发布日期： 里卡多·福卡迪;里卡多·福卡迪;里卡多·福卡迪;福卡尔迪，R。 更多。。。较少的 外部链接： ORCID公司 已编制索引的文档： 41出版物自1999年起 4作为编辑的贡献 合著者： 38位合著者具有44联合出版物 755位合作作者 全部的 前5名合著者 1 单作者的 11 罗伯托·戈里埃里 10 弗拉米尼娅·卢西奥。 8 法比奥·马蒂内利 8 卡拉广场 7 奇亚拉·布拉金 7 阿戈斯蒂诺·科尔特斯 6 米歇尔·布格列西 6 萨宾娜·罗西 4 安娜丽莎·博西 三 奇亚拉博迪 2 迪加诺，皮尔保罗 2 马特奥·马菲 2 格雷厄姆·斯蒂尔 2 吉安路易吉·扎瓦塔罗 1 罗曼·巴杜 1 琳达·布罗多 1 斯特凡诺·卡尔扎瓦拉 1 朱塞佩·卡斯塔尼亚 1 Centenaro，马泰奥 1 西尔维亚·克拉法 1 达斯，山塔努 1 安东尼奥·杜兰特 1 斯特凡诺·菲利波内 1 川本优助 1 拉诺特、拉格罗 1 罗伯托·卢奇 1 安德烈亚·马吉奥洛·谢蒂尼 1 欧里庇得斯·马库 1 安德鲁·迈尔斯（Andrew C.Myers）。 1 大卫·佩莱格 1 普里阿米，科拉多 1 安德烈·萨贝尔菲尔德 1 弗拉迪米罗·萨松 1 洛伦佐·西米奥纳托 1 马尔科·斯夸西纳 1 西蒙·蒂尼 1 恩里科·特隆西 1 蔡乔凯 全部的 前5名系列 三 理论计算机科学 三 计算机语言、系统和结构 三 计算机科学课堂讲稿 1 离散应用数学 1 信息处理信件 1 计算机程序设计科学 1 信息与计算 1 骨髓间充质干细胞。计算机科学中的数学结构 1 计算系统理论 1 理论计算机科学电子笔记 1 程序设计中的逻辑和代数方法杂志 领域 37 计算机科学（68至XX） 16 信息与通信理论、电路（94-XX） 4 总体主题；集合（00-XX） 2 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 组合数学（05-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 32出版物有被引用178中的次126文件 引用人▼ 年份▼ 安全属性的分类。一： 信息流。 Zbl 1007.68508号 里卡多·福卡迪;罗伯托·戈里埃里 34 2001 超立方体中的反馈顶点集。 Zbl 1338.68218号 里卡多·福卡迪;弗拉米尼娅·卢西奥。;大卫·佩莱格 29 2000 密码协议分析无干扰。 Zbl 0973.94517号 里卡多·福卡迪;罗伯托·戈里埃里;法比奥·马蒂内利 19 2000 信息流安全性证明系统。 Zbl 1278.68158号 安娜丽莎·博西;里卡多·福卡迪;卡拉广场;萨宾娜·罗西 12 2003 定义安全属性的统一方法。 Zbl 0972.94042号 里卡多·福卡迪;法比奥·马蒂内利 10 1999 验证持久安全属性。 Zbl 1072.68065号 安娜丽莎·博西;里卡多·福卡迪;卡拉广场;萨宾娜·罗西 9 2004 用于验证可能的安全属性的相互模拟和展开。 Zbl 1022.68085号 安娜丽莎·博西;里卡多·福卡迪;卡拉广场;萨宾娜·罗西 7 2003 通过赢得智囊团游戏来猜测银行PIN。 Zbl 1254.68116号 里卡多·福卡迪;弗拉米尼娅·卢西奥。 6 2012 桥接基于语言的安全性和进程计算安全性。 Zbl 1118.68569号 里卡多·福卡迪;萨宾娜·罗西;安德烈·萨贝尔菲尔德 6 2005 三种身份验证属性的比较。 Zbl 1052.68033号 里卡多·福卡迪;罗伯托·戈里埃里;法比奥·马蒂内利 4 2003 安全属性的分类。二： 网络安全。 Zbl 1202.68168号 里卡多·福卡迪;罗伯托·戈里埃里;法比奥·马蒂内利 4 2004 具有安全边界的移动环境的控制流分析。 Zbl 1048.68025号 奇亚拉·布拉金;阿戈斯蒂诺·科尔特斯;里卡多·福卡迪 4 2002 边界环境中的信息流安全。 兹比尔1147.68330 奇亚拉·布拉金;阿戈斯蒂诺·科尔特斯;里卡多·福卡迪 三 2008 移动环境中的安全边界。 Zbl 1028.68004号 奇亚拉·布拉金;阿戈斯蒂诺·科尔特斯;里卡多·福卡迪 三 2002 进程代数中身份验证的基本体。 Zbl 1050.68103号 奇亚拉博迪;迪加诺，皮尔保罗;里卡多·福卡迪;普里阿米，科拉多 2 2002 工作中的CVS：一些加密协议的新故障报告。 Zbl 0992.94505号 安东尼奥·杜兰特;里卡多·福卡迪;罗伯托·戈里埃里 2 2001 安全API分析简介。 Zbl 1344.68071号 里卡多·福卡迪;弗拉米尼娅·卢西奥。;格雷厄姆·斯蒂尔 2 2011 安全共享数据空间协调语言：过程代数调查。 Zbl 1103.68432号 里卡多·福卡迪;罗伯托·卢奇;吉安路易吉·扎瓦塔罗 2 2006 BANANA–边界环境嵌套分析工具。 Zbl 1031.68659号 奇亚拉·布拉金;阿戈斯蒂诺·科尔特斯;斯特凡诺·菲利波内;里卡多·福卡迪;弗拉米尼娅·卢西奥。;卡拉广场 2 2003 安全协议中的保密性是不受干扰的。 Zbl 0966.68008号 福卡迪，R。;R.戈里埃里。;马蒂内利，F。 2 1999 萌芽的模块化方法。 Zbl 1098.91028号 里卡多·福卡迪;弗拉米尼娅·卢西奥。 2 2004 移动环境的嵌套分析。 Zbl 1072.68066号 奇亚拉·布拉金;阿戈斯蒂诺·科尔特斯;里卡多·福卡迪;弗拉米尼娅·卢西奥。;卡拉广场 2 2004 机器人聚集在一个有移动故障的环中。 Zbl 1417.68158号 达斯，山塔努;里卡多·福卡迪;弗拉米尼娅·卢西奥。;欧里庇得斯·马库;马尔科·斯夸西纳 2 2019 用于攻击重建的静态证据。 Zbl 1437.94051号 奇亚拉博迪;琳达·布罗多;里卡多·福卡迪 2 2015 安全分析和设计基础。辅导讲座。 Zbl 0974.00025号 1 2001 基于互模拟的信息流安全的证明方法。 Zbl 1057.68065号 里卡多·福卡迪;卡拉广场;萨宾娜·罗西 1 2002 通过无干扰进行消息身份验证。 Zbl 0983.68067号 里卡多·福卡迪;罗伯托·戈里埃里;法比奥·马蒂内利 1 2000 边界环境中的信息泄漏检测。 Zbl 1270.68206号 奇亚拉·布拉金;阿戈斯蒂诺·科尔特斯;里卡多·福卡迪 1 2003 安全抽象和入侵者模型（扩展抽象）。 兹比尔1291.68249 米歇尔·布格列西;里卡多·福卡迪 1 2009 加密硬件上的高效填充预言机攻击。 Zbl 1296.94078号 罗曼·巴杜;里卡多·福卡迪;川本优助;洛伦佐·西米奥纳托;格雷厄姆·斯蒂尔;蔡乔凯 1 2012 身份验证协议的组成分析。 Zbl 1126.94346号 米歇尔·布格列西;里卡多·福卡迪;马特奥·马菲 1 2004 PKCS#11密钥管理的基于类型的分析。 Zbl 1354.94023号 马蒂奥·森特纳罗;里卡多·福卡迪;弗拉米尼娅·卢西奥。 1 2012 机器人聚集在一个有移动故障的环中。 Zbl 1417.68158号 达斯，山塔努;里卡多·福卡迪;弗拉米尼娅·卢西奥。;欧里庇得斯·马库;马尔科·斯夸西纳 2 2019 用于攻击重建的静态证据。 Zbl 1437.94051号 奇亚拉博迪;琳达·布罗多;里卡多·福卡迪 2 2015 通过赢得智囊团游戏来猜测银行PIN。 Zbl 1254.68116号 里卡多·福卡迪;弗拉米尼娅·卢西奥。 6 2012 加密硬件上的高效填充预言攻击。 Zbl 1296.94078号 罗曼·巴杜;里卡多·福卡迪;川本优助;洛伦佐·西米奥纳托;格雷厄姆·斯蒂尔;蔡乔凯 1 2012 PKCS#11密钥管理的基于类型的分析。 Zbl 1354.94023号 马蒂奥·森特纳罗;里卡多·福卡迪;弗拉米尼娅·卢西奥。 1 2012 安全API分析简介。 Zbl 1344.68071号 里卡多·福卡迪;弗拉米尼娅·卢西奥。;格雷厄姆·斯蒂尔 2 2011 安全抽象和入侵者模型（扩展抽象）。 Zbl 1291.68249号 米歇尔·布格列西;里卡多·福卡迪 1 2009 边界环境中的信息流安全。 兹比尔1147.68330 奇亚拉·布拉金;阿戈斯蒂诺·科尔特斯;里卡多·福卡迪 三 2008 安全共享数据空间协调语言：过程代数调查。 Zbl 1103.68432号 里卡多·福卡迪;罗伯托·卢奇;吉安路易吉·扎瓦塔罗 2 2006 桥接基于语言的安全性和进程计算安全性。 Zbl 1118.68569号 里卡多·福卡迪;萨宾娜·罗西;安德烈·萨贝尔菲尔德 6 2005 验证持久安全属性。 Zbl 1072.68065号 安娜丽莎·博西;里卡多·福卡迪;卡拉广场;萨宾娜·罗西 9 2004 安全属性的分类。二： 网络安全。 Zbl 1202.68168号 里卡多·福卡迪;罗伯托·戈里埃里;法比奥·马蒂内利 4 2004 萌芽的模块化方法。 Zbl 1098.91028号 里卡多·福卡迪;弗拉米尼娅·卢西奥。 2 2004 移动环境的嵌套分析。 Zbl 1072.68066号 奇亚拉·布拉金;阿戈斯蒂诺·科尔特斯;里卡多·福卡迪;弗拉米尼娅·卢西奥。;卡拉广场 2 2004 身份验证协议的组成分析。 Zbl 1126.94346号 米歇尔·布格列西;里卡多·福卡迪;马特奥·马菲 1 2004 信息流安全性证明系统。 Zbl 1278.68158号 安娜丽莎·博西;里卡多·福卡迪;卡拉广场;萨宾娜·罗西 12 2003 用于验证可能的安全属性的相互模拟和展开。 Zbl 1022.68085号 安娜丽莎·博西;里卡多·福卡迪;卡拉广场;萨宾娜·罗西 7 2003 三种身份验证属性的比较。 Zbl 1052.68033号 里卡多·福卡迪;罗伯托·戈里埃里;法比奥·马蒂内利 4 2003 BANANA–边界环境嵌套分析工具。 Zbl 1031.68659号 奇亚拉·布拉金;阿戈斯蒂诺·科尔特斯;斯特凡诺·菲利波内;里卡多·福卡迪;弗拉米尼娅·卢西奥。;卡拉广场 2 2003 边界环境中的信息泄漏检测。 Zbl 1270.68206号 奇亚拉·布拉金;阿戈斯蒂诺·科尔特斯;里卡多·福卡迪 1 2003 具有安全边界的移动环境的控制流分析。 Zbl 1048.68025号 奇亚拉·布拉金;阿戈斯蒂诺·科尔特斯;里卡多·福卡迪 4 2002 移动环境中的安全边界。 Zbl 1028.68004号 奇亚拉·布拉金;阿戈斯蒂诺·科尔特斯;里卡多·福卡迪 三 2002 进程代数中身份验证的基本体。 Zbl 1050.68103号 奇亚拉博迪;迪加诺，皮尔保罗;里卡多·福卡迪;普里阿米，科拉多 2 2002 基于互模拟的信息流安全的证明方法。 兹比尔1057.68065 里卡多·福卡迪;卡拉广场;萨宾娜·罗西 1 2002 安全属性的分类。一： 信息流。 Zbl 1007.68508号 里卡多·福卡迪;罗伯托·戈里埃里 34 2001 工作中的CVS：一些加密协议的新故障报告。 Zbl 0992.94505号 安东尼奥·杜兰特;里卡多·福卡迪;罗伯托·戈里埃里 2 2001 安全分析和设计基础。辅导讲座。 Zbl 0974.00025号 1 2001 超立方体中的反馈顶点集。 Zbl 1338.68218号 里卡多·福卡迪;弗拉米尼娅·卢西奥。;大卫·佩莱格 29 2000 加密协议分析的无干扰。 Zbl 0973.94517号 里卡多·福卡迪;罗伯托·戈里埃里;法比奥·马蒂内利 19 2000 通过无干扰进行消息身份验证。 Zbl 0983.68067号 里卡多·福卡迪;罗伯托·戈里埃里;法比奥·马蒂内利 1 2000 定义安全属性的统一方法。 Zbl 0972.94042号 里卡多·福卡迪;法比奥·马蒂内利 10 1999 安全协议中的保密性是不受干扰的。 Zbl 0966.68008号 福卡迪，R。;R.戈里埃里。;马蒂内利，F。 2 1999 所有引用出版物 前5名被引用出版物 全部的 前5名232位作者引用 12 里卡多·福卡迪 7 罗伯托·戈里埃里 7 卡拉广场 6 法比奥·马蒂内利 6 萨宾娜·罗西 5 弗拉米尼娅·卢西奥。 4 伊利亚州卡斯特拉尼 4 阿戈斯蒂诺·科尔特斯 4 杰罗德·贾格尔 4 罗恩·范德梅登 4 徐锡荣 三 奇亚拉博迪 三 奇亚拉·布拉金 三 弗兰克·卡塞兹 三 迪加诺，皮尔保罗 三 马里亚纽拉州Dezani-Ciancaglini 三 吉安·路易吉，法拉利 三 付洪林 三 高立清 三 拉诺特、拉格罗 三 加文·洛 三 安德烈亚·马吉奥洛·谢蒂尼 三 卡罗尔·C·摩根。 三 西蒙·蒂尼 三 王健 三 吴宝英（音） 三 徐俊明 三 张晨毅 2 保罗·巴尔丹 2 米奇斯·博罗维埃基（Mieczysław） 2 安娜丽莎·博西 2 萨拉·卡佩基 2 克雷默斯，Cas J.F。 2 德加斯·伯查特（Drgas-Burchardt，Ewa） 2 莫雷诺，法拉斯基 2 丹尼尔·戈拉 2 简·希尔斯顿 2 徐，Chiun-Chieh 2 姜伟 2 郭志忠 2 Kuo，Jyhmin先生 2 弗朗西丝卡·列维 2 连敏云 2 林议员 2 刘，田 2 安德烈亚·马林 2 绍克·莫 2 Annabelle K.McIver。 2 马里诺·米库兰 2 约翰·马林斯 2 弗莱明·尼尔森 2 米歇尔·帕斯夸 2 玛丽内拉·彼得罗奇 2 普里阿米，科拉多 2 罗萨里奥·普格利泽 2 任、韩 2 汉内·里斯·尼尔森 2 奥利维尔·H·鲁克斯。 2 王涛 2 吴业洲 2 徐，柯 2 杨超 2 杨元生 2 朱德军 1 塔库阿卜杜拉提夫 1 莎拉·斯宾塞·亚当斯 1 苏珊娜·安多瓦 1 艺术，托马斯 1 伊莎贝尔·阿塔利 1 本杰明·阿齐兹 1 迈克尔·巴克斯 1 马丁·巴尔科 1 马西莫·巴托莱蒂 1 David A.Basin。 1 亚历山德罗·贝吉亚托 1 本·赛义德、纳贾 1 克拉拉·贝纳克·厄尔 1 吉莱斯·贝纳塔 1 萨德克·本萨勒姆 1 马丁·伯杰（Martin J.Berger）。 1 Bernardinello，卢卡 1 卡尔蒂基扬·巴尔干 1 马修·布利斯克 1 杰拉德·布多尔 1 马吕斯·博兹加 1 琳达·布罗多 1 卡梅隆·J·布朗。 1 罗伯托·布鲁尼 1 米歇尔·布格列西 1 曹永昌 1 Ioannis的Caragiannis 1 Denis卡洛梅尔 1 阿尔贝托·卡拉罗 1 阿尔贝托·卡萨格兰德 1 张祖明 1 Chang、Maw-Shang 1 米歇尔·乔德隆 1 陈大仁 1 蒋春英 1 西塞隆、塞拉菲诺 …还有132位作者 全部的 前5名27篇连载文章中引用 24 理论计算机科学 8 信息处理信件 7 逻辑与代数程序设计杂志 5 离散应用数学 5 信息与计算 5 计算的形式方面 4 离散数学 4 计算机语言、系统和结构 三 计算机程序设计科学 三 自动推理杂志 2 信息学报 2 计算机与数学及其应用 2 骨髓间充质干细胞。计算机科学中的数学结构 2 计算机基础理论 2 离散数学、算法和应用 2 程序设计中的逻辑和代数方法杂志 1 信息科学 1 合成 1 国际计算机科学基础杂志 1 离散事件动态系统 1 系统设计中的形式化方法 1 讨论数学。图论 1 计算系统理论 1 组合优化期刊 1 图形算法与应用杂志 1 马来西亚数学科学学会公报。第二系列 1 对离散数学的贡献 全部的 前5名在9个字段中引用 102 计算机科学（68至XX） 25 组合数学（05-XX） 16 信息与通信理论、电路（94-XX） 8 博弈论、经济学、金融和其他社会和行为科学（91-XX） 4 数学逻辑和基础（03-XX） 2 历史和传记（01-XX） 1 概率论与随机过程（60-XX） 1 生物学和其他自然科学（92-XX） 1 系统论；控制（93至XX） 按年份列出的引文