×

兹马思-数学第一资源

梅多斯,凯瑟琳A。

计算距离:
作者ID: 梅多斯。凯瑟琳-a最近的zbMATH文章由“Meadows,Catherine A。”
发布为: 梅多斯,凯瑟琳;梅多斯,凯瑟琳A。;梅多斯,C。
编制索引的文档: 29种出版物自1984年以来,包括1本书
传记参考: 2个出版物

按年份列出的出版物

zbMATH公开赛中包含的引文

22出版物有被引用151时间121份文件 引用人
NRL协议分析器:概述。 Zbl 0871.68052
梅多斯,凯瑟琳
32
1996
匝道方案的安全性。 Zbl 1359.68062
布拉克利,G.R。;梅多斯,凯瑟琳
32
1985
密码学协议分析模方程性质。 Zbl 1252.94061号
圣地亚哥埃斯科巴;梅多斯,凯瑟琳;梅斯盖尔,何塞
22
2009
基于重写的NRL协议分析器推理系统及其元逻辑特性。 Zbl 1153.94375
圣地亚哥埃斯科巴;梅多斯,凯瑟琳;梅斯盖尔,何塞
16
2006
密码协议分析的三个系统。 Zbl 0814.94011
肯默尔,R。;梅多斯,C。;米伦,J。
12
1994
密码协议的形式化验证:综述。 Zbl 0872.94035
梅多斯,凯瑟琳A。
6
1995
加密协议要求的一种形式化语言。 Zbl 0843.94010
赛弗森,保罗;梅多斯,凯瑟琳
5
1996
二次系统的线性投影的裁剪。 Zbl 0578.14004
梅多斯,凯瑟琳
1984
Maude-NRL协议分析器的状态空间缩减。 Zbl 1360.94307
圣地亚哥埃斯科巴;梅多斯,凯瑟琳;梅斯盖尔,何塞;圣地亚哥,索尼娅
2014
认证协议的环境要求。 Zbl 1033.94553
卡内蒂,兰;梅多斯,凯瑟琳;赛弗森,保罗
2003
公开密钥加密的自由代数模型的相对可靠性。 Zbl 1272.94049
林奇,克里斯托弗;梅多斯,凯瑟琳
2005
一种用于风险评估的协议攻击表示。 Zbl 0889.68053
梅多斯,凯瑟琳
2
1998
使用重写规则对Diffie-Hellman进行声音近似。 Zbl 1109.68475
林奇,克里斯托弗;梅多斯,凯瑟琳
2
2004
非对称统一:密码协议分析的新统一范式。 Zbl 1381.68264
埃尔巴特,塞尔达尔;圣地亚哥埃斯科巴;卡普尔,迪帕克;刘志强;林奇,克里斯托弗A。;梅多斯,凯瑟琳;梅斯盖尔,何塞;纳伦德兰,佩利思;圣地亚哥,索尼娅;萨塞,拉尔夫
2
2013
基于模方程理论的符号协议分析。 Zbl 1437.94060
圣地亚哥埃斯科巴;梅多斯,凯瑟琳;梅斯盖尔,何塞;圣地亚哥,索尼娅
1
2015
论不相交理论中的非对称统一与组合问题。 Zbl 1405.68315
埃尔巴特,塞尔达尔;卡普尔,迪帕克;马歇尔,安德鲁M。;梅多斯,凯瑟琳;纳伦德兰,佩利思;林格森,克里斯托夫
1
2014
贝叶斯认证:量化Hancke-Kuhn协议的安全性。 Zbl 1343.94077
帕夫洛维奇,达斯科;梅多斯,凯瑟琳
1
2010
统一模单侧分配性:算法,变量和不对称性。 Zbl 1391.68065
马歇尔,安德鲁M。;梅多斯,凯瑟琳;纳伦德兰,佩利思
1
2015
模型检查安全协议。 Zbl 1392.68228
脸盆,大卫;中科院克雷默斯;梅多斯,凯瑟琳
1
2018
一些无中心密钥分配的门限方案。 Zbl 0602.94011
梅多斯,凯瑟琳
1
1985
从撒旦菜单排序:密码协议形式化分析的需求规范综述。 Zbl 1072.68535
梅多斯,凯瑟琳
1
2004
密码协议分析的形式化方法中存在的问题。 6868ZB10024升
梅多斯,凯瑟琳
1
2001
模型检查安全协议。 Zbl 1392.68228
脸盆,大卫;中科院克雷默斯;梅多斯,凯瑟琳
1
2018
基于模方程理论的符号协议分析。 Zbl 1437.94060
圣地亚哥埃斯科巴;梅多斯,凯瑟琳;梅斯盖尔,何塞;圣地亚哥,索尼娅
1
2015
统一模单侧分配性:算法,变量和不对称性。 Zbl 1391.68065
马歇尔,安德鲁M。;梅多斯,凯瑟琳;纳伦德兰,佩利思
1
2015
Maude-NRL协议分析器的状态空间缩减。 Zbl 1360.94307
圣地亚哥埃斯科巴;梅多斯,凯瑟琳;梅斯盖尔,何塞;圣地亚哥,索尼娅
2014
论不相交理论中的非对称统一与组合问题。 Zbl 1405.68315
埃尔巴特,塞尔达尔;卡普尔,迪帕克;马歇尔,安德鲁M。;梅多斯,凯瑟琳;纳伦德兰,佩利思;林格森,克里斯托夫
1
2014
非对称统一:密码协议分析的新统一范式。 Zbl 1381.68264
埃尔巴特,塞尔达尔;圣地亚哥埃斯科巴;卡普尔,迪帕克;刘志强;林奇,克里斯托弗A。;梅多斯,凯瑟琳;梅斯盖尔,何塞;纳伦德兰,佩利思;圣地亚哥,索尼娅;萨塞,拉尔夫
2
2013
贝叶斯认证:量化Hancke-Kuhn协议的安全性。 Zbl 1343.94077
帕夫洛维奇,达斯科;梅多斯,凯瑟琳
1
2010
密码学协议分析模方程性质。 Zbl 1252.94061号
圣地亚哥埃斯科巴;梅多斯,凯瑟琳;梅斯盖尔,何塞
22
2009
基于重写的NRL协议分析器推理系统及其元逻辑特性。 Zbl 1153.94375
圣地亚哥埃斯科巴;梅多斯,凯瑟琳;梅斯盖尔,何塞
16
2006
公开密钥加密的自由代数模型的相对可靠性。 Zbl 1272.94049
林奇,克里斯托弗;梅多斯,凯瑟琳
2005
使用重写规则对Diffie-Hellman进行声音近似。 Zbl 1109.68475
林奇,克里斯托弗;梅多斯,凯瑟琳
2
2004
从撒旦菜单排序:密码协议形式化分析的需求规范综述。 Zbl 1072.68535
梅多斯,凯瑟琳
1
2004
认证协议的环境要求。 Zbl 1033.94553
卡内蒂,兰;凯瑟琳,梅多斯;赛弗森,保罗
2003
密码协议分析的形式化方法中存在的问题。 Zbl 1002.68654
梅多斯,凯瑟琳
1
2001
一种用于风险评估的协议攻击表示。 Zbl 0889.68053
梅多斯,凯瑟琳
2
1998
NRL协议分析器:概述。 Zbl 0871.68052
梅多斯,凯瑟琳
32
1996
加密协议要求的一种形式化语言。 Zbl 0843.94010
赛弗森,保罗;梅多斯,凯瑟琳
5
1996
密码协议的形式化验证:综述。 Zbl 0872.94035
梅多斯,凯瑟琳A。
6
1995
密码协议分析的三个系统。 Zbl 0814.94011
肯默尔,R。;梅多斯,C。;米伦,J。
12
1994
匝道方案的安全性。 Zbl 1359.68062
布拉克利,G.R。;梅多斯,凯瑟琳
32
1985
一些无中心密钥分配的门限方案。 Zbl 0602.94011
梅多斯,凯瑟琳
1
1985
用二次曲线在各种投影上裁剪出的线性系统。 Zbl 0578.14004
梅多斯,凯瑟琳
1984
全部的 前5名

被203位作者引用

12 圣地亚哥埃斯科巴
12 梅斯盖尔·瓜伊塔,何塞
8 梅多斯,凯瑟琳A。
6 玛蒂奥利特,纳西索
6 俄罗斯女巫,米夏埃尔
5 法拉斯,奥利奥
5 松本龙太郎
5 斯凯德罗夫,安德烈
4 塞尔维萨托,伊利亚诺
4 骑士,亚尼克
4 米切尔,约翰·C。
4 斯汀森,道格拉斯·罗伯特
4 塔尔科特,卡罗琳L。
阿普特,玛里亚
盆地,大卫A。
科蒂埃,维罗尼克
达科,保罗
弗朗西斯科,杜伦
埃克,史蒂文
帕德罗,卡尔
萨塞,拉尔夫
那我,普拉桑娜
图鲁阿尼,马修
2 阿巴迪,马丁
2 阿吉尔,路易斯·安东尼奥
2 阿瓦尼索夫,提格兰
2 毛里西奥·阿亚拉·林克翁
2 布兰切特,布鲁诺
2 克里默斯,Cas J.F。
2 德桑蒂斯,阿尔弗雷多
2 德劳恩,圣潘妮
2 埃尔巴特,塞尔达尔
2 费尔南德斯,玛丽贝尔
2 伊博拉,何塞
2 科迪,芭芭拉
2 克莱默,史蒂夫
2 刘志强
2 林奇,克里斯托弗A。
2 马歇尔,安德鲁M。
2 Mödersheim,塞巴斯蒂安A。
2 西田,直木
2 帕洛米诺,米格尔
2 帕特森,毛拉·贝丝
2 皮塔,伊莎贝尔
2 拉多米罗维奇,萨沙
2 拉曼纳森,阿吉思
2 林格森,克里斯托夫
2 萨法维·奈尼,雷哈尼
2 圣地亚哥,索尼娅
2 施维泽,帕特里克
2 索布里尼奥,丹尼尔南特
2 蒂格,瓦妮莎·乔伊
2 瓦卡罗,乌戈
2 杰尔姆,维登
2 维甘,卢卡
2 王华雄
1 阿迪,卡梅尔
1 安多娃,苏珊娜
1 阿拉皮尼斯,迈托
1 阿曼多,亚历山德罗
1 巴克,迈克尔
1 巴里科,爱德华多
1 贝梅尔,阿莫斯
1 巴格文,卡蒂克扬
1 布兰多,卡罗
1 博德,恰拉
1 博格达诺夫,安德烈
1 博伊丘特,尤汉
1 布里亚努,约阿纳
1 波扎诺,马可
1 卡洛斯,卡莱罗
1 卡波切利,雷纳托·M。
1 卡本,罗伯托
1 卡鲁奇·艾埃洛,路易嘉
1 查达,罗希特
1 查利塔,哈利勒
1 陈,广州
1 陈可飞
1 雪娃,文森特
1 首席执行官,特凡
1 克莱维尔,曼纽尔
1 科恩,米卡
1 康巴尼亚,卢卡
1 克里斯蒂娅,马克西米利亚诺
1 达格路,伊万·比耶尔
1 达塔,阿努帕姆
1 德卡瓦略·塞贡多,华盛顿
1 德普里斯科,罗伯托
1 德巴比,穆拉德
1 皮耶尔帕诺
1 德尔扎诺,乔治
1 德里克,安特
1 德斯梅特,伊沃·G。
1 狄克逊,克莱尔
1 多明戈·费勒,约瑟普
1 德雷尔,詹尼克
1 杜阿里,巴伦
1 杜弗洛特,玛丽
1 杜梅尼尔,查尔斯
1 埃拉拉,阿杰·库马尔
…还有103位作者

按年份列出的引文