×

兹马思-数学第一资源

福卡迪,里卡多

计算距离:
作者ID: 福卡迪。里卡多“福卡迪,里卡多”最近发表的zbMATH文章
发布为: 福卡迪,里卡多;福卡迪,里卡多;福卡迪,里卡多;佛卡迪,R。
外部链接: 半兽人
编制索引的文档: 44种出版物自1999年以来,包括4本书

按年份列出的出版物

开放式数学引文

30出版物有被引用144时间104份文件 引用人
安全属性的分类。一: 信息流。 Zbl 1007.68508号
福卡迪,里卡多;戈里里,罗伯托
27
2001
超立方体中的反馈顶点集。 Zbl 1338.68218
福卡迪,里卡多;卢西奥,弗拉米尼亚L。;贝利,大卫
25
2000
密码协议分析的无干扰性。 Zbl 0973.94517
福卡迪,里卡多;戈里里,罗伯托;马丁内利,法比奥
16
2000
信息流安全的证明系统。 Zbl 1278.68158
波西,安娜丽莎;福卡迪,里卡多;广场,卡拉;罗西,萨宾娜
9
2003
定义安全属性的统一方法。 Zbl 0972.94042
福卡迪,里卡多;马丁内利,法比奥
9
1999
正在验证永久安全属性。 Zbl 1072.68065
波西,安娜丽莎;福卡迪,里卡多;广场,卡拉;罗西,萨宾娜
6
2004
通过赢一个游戏来猜银行的别针。 Zbl 1254.68116
福卡迪,里卡多;卢西奥,弗拉米尼亚L。
5
2012
用于验证可能安全属性的相互模拟和展开。 Zbl 1022.68085
波西,安娜丽莎;福卡迪,里卡多;广场,卡拉;罗西,萨宾娜
5
2003
安全属性的分类。二: 网络安全。 Zbl 1202.68168
福卡迪,里卡多;戈里里,罗伯托;马丁内利,法比奥
4
2004
三种身份验证属性的比较。 Zbl 1052.68033
福卡迪,里卡多;戈里里,罗伯托;马丁内利,法比奥
4
2003
具有安全边界的移动环境控制流分析。 Zbl 1048.68025
布拉金,恰拉;科特斯,阿戈斯蒂诺;福卡迪,里卡多
4
2002
边界环境中的信息流安全。 Zbl 1147.68330
布拉金,恰拉;科特斯,阿戈斯蒂诺;福卡迪,里卡多
2008
桥接基于语言和过程计算的安全性。 68ZB1158.9升
福卡迪,里卡多;罗西,萨宾娜;安德烈,萨伯菲尔德
2005
移动环境中的安全边界。 Zbl 1028.68004
布拉金,恰拉;科特斯,阿戈斯蒂诺;福卡迪,里卡多
2002
安全协议中的保密性。 Zbl 0966.68008
佛卡迪,R。;戈里里,R。;马丁内利,F。
2
1999
移动环境的嵌套分析。 Zbl 1072.68066
布拉金,恰拉;科特斯,阿戈斯蒂诺;福卡迪,里卡多;卢西奥,弗拉米尼亚L。;广场,卡拉
2
2004
CVS在工作:关于一些密码协议的新故障的报告。 Zbl 0992.94505
杜兰特,安东尼奥;福卡迪,里卡多;戈里里,罗伯托
2
2001
安全共享数据空间协调语言:过程代数综述。 Zbl 1103.68432
福卡迪,里卡多;卢奇,罗伯托;扎瓦塔罗,詹路易吉
2
2006
香蕉-边界环境嵌套分析工具。 Zbl 1031.68659
布拉金,恰拉;科特斯,阿戈斯蒂诺;菲利普斯,斯特凡诺;福卡迪,里卡多;卢西奥,弗拉米尼亚L。;广场,卡拉
2
2003
安全分析与设计基础。辅导讲座。 Zbl 0974.00025
福卡迪,里卡多(编辑);戈里里,罗伯托(编辑)
1
2001
安全抽象和入侵者模型(扩展抽象)。 Zbl 1291.68249
布格里西,米歇尔;福卡迪,里卡多
1
2009
攻击重构的静态证据。 Zbl 1437.94051号
博德,恰拉;布罗多,琳达;福卡迪,里卡多
1
2015
基于互模拟的信息流安全性证明方法。 Zbl 1057.68065
福卡迪,里卡多;广场,卡拉;罗西,萨宾娜
1
2002
安全API分析简介。 Zbl 1344.68071
福卡迪,里卡多;卢西奥,弗拉米尼亚L。;钢铁,格雷厄姆
1
2011
边界环境中的信息泄漏检测。 兹布1270.68206
布拉金,恰拉;科特斯,阿戈斯蒂诺;福卡迪,里卡多
1
2003
加密硬件上的高效填充oracle攻击。 Zbl 1296.94078号
巴杜,罗曼;福卡迪,里卡多;川本,裕介;西米奥纳托,洛伦佐;钢铁,格雷厄姆;蔡,乔凯
1
2012
无干扰消息认证。 Zbl 0983.68067
福卡迪,里卡多;戈里里,罗伯托;马丁内利,法比奥
1
2000
过程代数中的认证原语。 Zbl 1050.68103
博德,恰拉;德加诺,皮尔波洛;福卡迪,里卡多;普里亚米,科拉多
1
2002
一种模块化的萌芽方法。 Zbl 1098.91028号
福卡迪,里卡多;卢西奥,弗拉米尼亚L。
1
2004
组合认证协议分析。 Zbl 1126.94346
布格里西,米歇尔;福卡迪,里卡多;马菲,马特奥
1
2004
攻击重构的静态证据。 Zbl 1437.94051号
博德,恰拉;布罗多,琳达;福卡迪,里卡多
1
2015
通过赢一个游戏来猜银行的别针。 Zbl 1254.68116
福卡迪,里卡多;卢西奥,弗拉米尼亚L。
5
2012
加密硬件上的高效填充oracle攻击。 Zbl 1296.94078号
巴杜,罗曼;福卡迪,里卡多;川本,裕介;西米奥纳托,洛伦佐;钢铁,格雷厄姆;蔡,乔凯
1
2012
安全API分析简介。 Zbl 1344.68071
福卡迪,里卡多;卢西奥,弗拉米尼亚L。;钢铁,格雷厄姆
1
2011
安全抽象和入侵者模型(扩展抽象)。 Zbl 1291.68249
布格里西,米歇尔;福卡迪,里卡多
1
2009
边界环境中的信息流安全。 Zbl 1147.68330
布拉金,恰拉;科特斯,阿戈斯蒂诺;福卡迪,里卡多
2008
安全共享数据空间协调语言:过程代数综述。 Zbl 1103.68432
福卡迪,里卡多;卢奇,罗伯托;扎瓦塔罗,詹路易吉
2
2006
桥接基于语言和过程计算的安全性。 Zbl 1118.68569
福卡迪,里卡多;罗西,萨宾娜;安德烈,萨伯菲尔德
2005
正在验证永久安全属性。 Zbl 1072.68065
波西,安娜丽莎;福卡迪,里卡多;广场,卡拉;罗西,萨宾娜
6
2004
安全属性的分类。二: 网络安全。 Zbl 1202.68168
福卡迪,里卡多;戈里里,罗伯托;马丁内利,法比奥
4
2004
移动环境的嵌套分析。 Zbl 1072.68066
布拉金,恰拉;科特斯,阿戈斯蒂诺;福卡迪,里卡多;卢西奥,弗拉米尼亚L。;广场,卡拉
2
2004
一种模块化的萌芽方法。 Zbl 1098.91028号
福卡迪,里卡多;卢西奥,弗拉米尼亚L。
1
2004
认证协议的组成分析。 Zbl 1126.94346
布格里西,米歇尔;福卡迪,里卡多;马菲,马特奥
1
2004
信息流安全的证明系统。 Zbl 1278.68158
波西,安娜丽莎;福卡迪,里卡多;广场,卡拉;罗西,萨宾娜
9
2003
用于验证可能安全属性的相互模拟和展开。 Zbl 1022.68085
波西,安娜丽莎;福卡迪,里卡多;广场,卡拉;罗西,萨宾娜
5
2003
三种身份验证属性的比较。 Zbl 1052.68033
福卡迪,里卡多;戈里里,罗伯托;马丁内利,法比奥
4
2003
香蕉-边界环境嵌套分析工具。 Zbl 1031.68659
布拉金,恰拉;科尔塔戈斯汀;菲利普斯,斯特凡诺;福卡迪,里卡多;卢西奥,弗拉米尼亚L。;广场,卡拉
2
2003
边界环境中的信息泄漏检测。 兹布1270.68206
布拉金,恰拉;科特斯,阿戈斯蒂诺;福卡迪,里卡多
1
2003
具有安全边界的移动环境控制流分析。 Zbl 1048.68025
布拉金,恰拉;科特斯,阿戈斯蒂诺;福卡迪,里卡多
4
2002
移动环境中的安全边界。 Zbl 1028.68004
布拉金,恰拉;科特斯,阿戈斯蒂诺;福卡迪,里卡多
2002
基于互模拟的信息流安全性证明方法。 Zbl 1057.68065
福卡迪,里卡多;广场,卡拉;罗西,萨宾娜
1
2002
过程代数中的认证原语。 Zbl 1050.68103
博德,恰拉;德加诺,皮尔波洛;福卡迪,里卡多;普里亚米,科拉多
1
2002
安全属性的分类。一: 信息流。 Zbl 1007.68508号
福卡迪,里卡多;戈里里,罗伯托
27
2001
CVS在工作:关于一些密码协议的新故障的报告。 Zbl 0992.94505
杜兰特,安东尼奥;福卡迪,里卡多;戈里里,罗伯托
2
2001
安全分析与设计基础。辅导讲座。 Zbl 0974.00025
福卡迪,里卡多;戈里里,罗伯托
1
2001
超立方体中的反馈顶点集。 Zbl 1338.68218
福卡迪,里卡多;卢西奥,弗拉米尼亚L。;贝利,大卫
25
2000
密码协议分析的无干扰性。 Zbl 0973.94517
福卡迪,里卡多;戈里里,罗伯托;马丁内利,法比奥
16
2000
无干扰消息认证。 Zbl 0983.68067
福卡迪,里卡多;戈里里,罗伯托;马丁内利,法比奥
1
2000
定义安全属性的统一方法。 Zbl 0972.94042
福卡迪,里卡多;马丁内利,法比奥
9
1999
安全协议中的保密性。 Zbl 0966.68008
佛卡迪,R。;戈里里,R。;马丁内利,F。
2
1999
全部的 前5名

被196位作者引用

10 福卡迪,里卡多
6 戈里里,罗伯托
6 马丁内利,法比奥
4 卡斯特拉尼,伊利亚
4 科特斯,阿戈斯蒂诺
4 Jäger,Gerold
4 广场,卡拉
4 范德梅登,罗恩
4 徐锡荣
博德,恰拉
布拉金,恰拉
卡塞兹,弗兰克
德加诺,皮尔波洛
Dezani Ciancaglini,马里安哥拉
傅洪林
高立青
拉诺特,拉格罗
加文,洛
卢西奥,弗拉米尼亚L。
Maggiolo Schettini,安德里亚
罗西,萨宾娜
蒂尼,西蒙妮
王健
徐俊明
张晨仪
2 保罗巴尔丹
2 博罗维茨基
2 波西,安娜丽莎
2 卡佩奇,萨拉
2 克里默斯,Cas J。F。
2 埃瓦州Burchardt博士
2 法拉利,吉安·路易吉
2 戈拉,丹妮尔
2 徐超哲
2 姜伟
2 郭志忠
2 郭,Jyhmin
2 列维,弗朗西斯卡
2 连敏云
2 林,仁先生
2 刘,田
2 莫,苏克
2 McIver,Annabelle K。
2 摩根,卡罗尔C。
2 马林斯,约翰
2 尼尔森,弗莱明
2 佩特罗奇,马里内拉
2 普里亚米,科拉多
2 普利斯,罗萨里奥
2 任,韩
2 蕾丝·尼尔森,汉恩
2 鲁克斯,奥利弗H。
2 吴,叶州
2 徐克
2 杨元生
2 朱德军
1 Abdelatif,Takuua
1 亚当斯,莎拉·斯彭斯
1 安多娃,苏珊娜
1 阿塔利,伊莎贝尔
1 阿齐兹,本杰明
1 巴托莱蒂,马西莫
1 贝吉亚托,亚历山德罗
1 本说,纳迦
1 贝纳塔,吉尔
1 本萨勒姆,萨德克
1 伯杰,马丁J。
1 伯纳迪内洛,卢卡
1 巴格文,卡蒂克扬
1 伯多尔,杰拉德
1 波兹加,马吕斯
1 布朗,卡梅隆J。
1 布格里西,米歇尔
1 曹永昌
1 卡拉吉安尼斯,约安尼斯
1 丹尼斯,卡罗梅尔
1 阿尔伯托卡拉罗
1 阿尔伯托卡萨格兰德
1 张若明
1 张茂尚
1 乔德龙,米歇尔
1 陈大仁
1 蒋春英
1 克拉法,西尔维亚
1 达塔,阿努帕姆
1 德尼古拉,洛克
1 德文,埃里克P。
1 德切森,弗朗西恩
1 德阿吉拉,菲利佩·卢娜
1 丹尼·卢,皮埃尔·马洛
1 迪皮埃罗,亚历山德拉
1 董长玉
1 德雷维斯,弗兰克
1 杜布雷尔,杰瑞米
1 杜莱,纳兰克
1 莫雷法尔斯诺
1 费廷,纪尧姆
1 福奈特,塞德里克
1 加布里埃利,毛里齐奥
1 嘉迪,纪尧姆
…还有96位作者

按年份列出的引文