×

兹马思-数学第一资源

布兰切特,布鲁诺

计算距离:
作者ID: 布兰切特布鲁诺最近的zbMATH文章由“布兰切特,布鲁诺”
发布为: 布兰切特,布鲁诺
编制索引的文档: 23种出版物2001年以来

按年份列出的出版物

zbMATH公开赛中包含的引文

22出版物有被引用163时间130份文件 引用人
安全关键实时嵌入式软件专用静态程序分析仪的设计与实现。 Zbl 1026.68514号
布兰切特,布鲁诺;库索,帕特里克;库索,拉迪亚;费雷特,杰罗姆;莫博涅,劳伦特;敏妮,安托万;蒙尼亚,大卫;对手,泽维尔
51
2002
自动验证安全协议的选定等效项。 Zbl 1135.68007
布兰切特,布鲁诺;阿巴迪,马丁;福奈特,塞德里克
30
2008
分析具有保密类型和逻辑程序的安全协议。 Zbl 1204.68030
阿巴迪,马丁;布兰切特,布鲁诺
13
2005
用ProVerif证明更多的观测等价性。 Zbl 1391.94737号
雪娃,文森特;布兰切特,布鲁诺
9
2013
自动安全证明与游戏序列。 Zbl 1161.94388号
布兰切特,布鲁诺;波因切瓦尔,大卫
8
2006
从保密到安全协议的真实性。 Zbl 1015.68070
布兰切特,布鲁诺
8
2002
密码协议的验证:标记强制终止。 Zbl 1029.94501
布兰切特,布鲁诺;波德尔斯基,安德烈亚斯
7
2003
分析具有保密类型和逻辑程序的安全协议。 Zbl 1323.68259
阿巴迪,马丁;布兰切特,布鲁诺
6
2002
非对称通信的保密类型。 Zbl 1038.68081
阿巴迪,马丁;布兰切特,布鲁诺
4
2003
安全协议:从线性逻辑到经典逻辑的抽象解释。 Zbl 1185.68310
布兰切特,布鲁诺
4
2005
协议安全模型与证明:进展报告。 Zbl 1242.68095
阿巴迪,马丁;布兰切特,布鲁诺;科蒙·隆德,休伯特
4
2009
密码协议的验证:标记强制终止。 Zbl 1070.68033
布兰切特,布鲁诺;波德尔斯基,安德烈亚斯
2005
安全协议验证:符号和计算模型。 Zbl 1297.68072
布兰切特,布鲁诺
2012
只是快速输入π微积分。 Zbl 1126.68382
阿巴迪,马丁;布兰切特,布鲁诺;福奈特,塞德里克
2004
使用列表验证安全协议:从长度1到无限长。 Zbl 1353.68021
派奥拉,米里亚姆;布兰切特,布鲁诺
2
2012
应用pi演算,移动值,新名称,安全通信。 Zbl 1426.68037
阿巴迪,马丁;布兰切特,布鲁诺;福奈特,塞德里克
2
2018
认证电子邮件协议的计算机辅助验证。 Zbl 1076.68532
阿巴迪,马丁;布兰切特,布鲁诺
1
2005
证明了从计算安全协议规范生成的实现。 兹布1390.68274
凯德,大卫;布兰切特,布鲁诺
1
2013
非对称通信的保密类型。 Zbl 0978.68059
阿巴迪,马丁;布兰切特,布鲁诺
1
2001
用Prolog规则抽象密码协议。 Zbl 0997.68556
布兰切特,布鲁诺
1
2001
安全移动性的微积分。 Zbl 1215.68145
布兰切特,布鲁诺;阿齐兹,本杰明
1
2003
符号模型中安全协议的自动验证:verifier ProVerif。 Zbl 1448.68185
布兰切特,布鲁诺
1
2014
应用pi演算,移动值,新名称,安全通信。 Zbl 1426.68037
阿巴迪,马丁;布兰切特,布鲁诺;福奈特,塞德里克
2
2018
符号模型中安全协议的自动验证:verifier ProVerif。 Zbl 1448.68185
布兰切特,布鲁诺
1
2014
用ProVerif证明更多的观测等价性。 Zbl 1391.94737号
雪娃,文森特;布兰切特,布鲁诺
9
2013
证明了从计算安全协议规范生成的实现。 兹布1390.68274
凯德,大卫;布兰切特,布鲁诺
1
2013
安全协议验证:符号和计算模型。 Zbl 1297.68072
布兰切特,布鲁诺
2012
使用列表验证安全协议:从长度1到无限长。 Zbl 1353.68021
派奥拉,米里亚姆;布兰切特,布鲁诺
2
2012
协议安全模型与证明:进展报告。 Zbl 1242.68095
阿巴迪,马丁;布兰切特,布鲁诺;科蒙·隆德,休伯特
4
2009
自动验证安全协议的选定等效项。 Zbl 1135.68007
布兰切特,布鲁诺;阿巴迪,马丁;福奈特,塞德里克
30
2008
自动安全证明与游戏序列。 116948.ZB381号
布兰切特,布鲁诺;波因切瓦尔,大卫
8
2006
分析具有保密类型和逻辑程序的安全协议。 Zbl 1204.68030
阿巴迪,马丁;布兰切特,布鲁诺
13
2005
安全协议:从线性逻辑到经典逻辑的抽象解释。 Zbl 1185.68310
布兰切特,布鲁诺
4
2005
密码协议的验证:标记强制终止。 Zbl 1070.68033
布兰切特,布鲁诺;波德尔斯基,安德烈亚斯
2005
认证电子邮件协议的计算机辅助验证。 Zbl 1076.68532
阿巴迪,马丁;布兰切特,布鲁诺
1
2005
只是快速输入π微积分。 Zbl 1126.68382
阿巴迪,马丁;布兰切特,布鲁诺;福奈特,塞德里克
2004
密码协议的验证:标记强制终止。 Zbl 1029.94501
布兰切特,布鲁诺;波德尔斯基,安德烈亚斯
7
2003
非对称通信的保密类型。 Zbl 1038.68081
阿巴迪,马丁;布兰切特,布鲁诺
4
2003
安全移动性的微积分。 Zbl 1215.68145
布兰切特,布鲁诺;阿齐兹,本杰明
1
2003
安全关键实时嵌入式软件专用静态程序分析仪的设计与实现。 Zbl 1026.68514号
布兰切特,布鲁诺;库索,帕特里克;库索,拉迪亚;费雷特,杰罗姆;莫博涅,劳伦特;敏妮,安托万;蒙尼亚,大卫;对手,泽维尔
51
2002
从保密到安全协议的真实性。 Zbl 1015.68070
布兰切特,布鲁诺
8
2002
分析具有保密类型和逻辑程序的安全协议。 Zbl 1323.68259
阿巴迪,马丁;布兰切特,布鲁诺
6
2002
非对称通信的保密类型。 Zbl 0978.68059
阿巴迪,马丁;布兰切特,布鲁诺
1
2001
用Prolog规则抽象密码协议。 Zbl 0997.68556
布兰切特,布鲁诺
1
2001
全部的 前5名

被265位作者引用

8 德劳恩,圣潘妮
7 克莱默,史蒂夫
6 科蒂埃,维罗尼克
5 敏妮,安托万
4 阿巴迪,马丁
4 布兰切特,布鲁诺
4 雪娃,文森特
4 拉福卡德,帕斯卡
4 亚辛·拉赫纳奇
4 蒙尼亚,大卫P。
布伊索,奥利弗
洛佐,弗朗西斯科
梅多斯,凯瑟琳A。
哦,哈珠
2 巴格纳,罗伯托
2 巴特,吉尔
2 塞尔维萨托,伊利亚诺
2 查普特,亚历山德拉
2 骑士,亚尼克
2 首席执行官,特凡
2 科特斯,阿戈斯蒂诺
2 库兰特,朱迪卡
2 多比格纳德,马里恩
2 伊恩,克里斯蒂安
2 Fähndrich,曼努埃尔
2 福卡迪,里卡多
2 福奈特,塞德里克
2 富拉拉,Jędrzej
2 戈登,安德鲁D。
2 哈尔布瓦克斯,尼古拉斯
2 嗨,基宏
2 希尔,帕特里夏·M。
2 雅库布奇克,克鲁兹托夫
2 国王,安迪
2 科宁,丹尼尔
2 诺瓦克,大卫·E。
2 皮查迪,大卫
2 对手,泽维尔
2 俄罗斯女巫,米夏埃尔
2 斯里拉姆Sankaranarayanan
2 斯凯德罗夫,安德烈
2 塞拉吉,亚萨米恩
2 杨红石
2 扎法内拉,埃尼亚
2 张宇
1 阿伯特,亚历山德罗
1 阿尔贝蒂,弗朗西斯科
1 阿尔拉赫曼,叶希亚·阿布德
1 卡拉皮默
1 阿兰达,耶稣
1 毛里西奥·阿亚拉·林克翁
1 阿齐兹,本杰明
1 巴贝尔,贵霜
1 巴博萨,曼纽尔
1 巴里,尼古拉斯
1 盆地,大卫A。
1 波德,马修
1 Bauereiß,托马斯
1 贝克尔,斯蒂芬R。
1 贝克舒尔茨,伊娃
1 本·萨西,穆罕默德·阿明
1 贝松,弗里德里克
1 贝塔特,古斯塔沃
1 拜尔,德克
1 巴格文,卡蒂克扬
1 博雷尔,米歇尔
1 布托内特,雷米
1 布莱班特,托马斯
1 布劳尔,约格
1 布莱罗,安吉洛
1 布鲁托梅索,罗伯托
1 布格里西,米歇尔
1 布尔苏,塞尔吉乌
1 布塞米,玛丽亚·格拉齐亚
1 Cacciagrano和Diletta Romana
1 蔡小娟
1 卡尔扎瓦拉,斯特凡诺
1 坎波,胡安·迭戈
1 卡内蒂,兰
1 卡德利,卢卡
1 卡塞兹,弗兰克
1 卡斯塔格纳,朱塞佩
1 卡塔鲁扎,达里奥
1 查,苏英
1 查达,罗希特
1 乔杜里,阿维克
1 查德哈里,阿齐姆
1 陈火旺
1 切瓦利埃,塞莱恩
1 天哪,雷米
1 科隆,迈克尔A。
1 科蒙·隆德,休伯特
1 库克,拜伦
1 弗拉维奥,科拉迪尼
1 科斯坦蒂尼,朱利亚
1 库索,帕特里克
1 库索,拉迪亚
1 克劳福德·卡尔,彼得
1 克里默斯,Cas J.F。
1 康明斯,布里
…还有165位作者

按年份列出的引文