×

兹马思-数学第一资源

巴格文,卡蒂克扬

计算距离:
作者ID: 巴格文。卡蒂克扬最近的zbMATH文章“Bhargavan,Karthikeyan”
发布为: 巴格文,卡蒂克扬
外部链接: MGP公司
编制索引的文档: 18种出版物自2000年以来,包括1本书

按年份列出的出版物

zbMATH公开赛中包含的引文

13出版物有被引用56时间49份文件 引用人
具有值相关类型的安全分布式编程。 Zbl 1323.68229
斯瓦米,尼克;陈娟;福奈特,塞德里克;斯特鲁布,皮埃尔·伊夫;巴格文,卡蒂克扬;杨,珍
12
2011
距离向量路由协议标准的形式化验证。 Zbl 1326.68039
巴格文,卡蒂克扬;奥布拉多维奇,达沃;冈特,卡尔A。
11
2002
证明TLS握手是安全的(事实如此)。 Zbl 1334.94060
巴格文,卡蒂克扬;福奈特,塞德里克;科尔韦斯,马库夫;皮龙蒂,阿尔弗雷多;斯特鲁布,皮埃尔·伊夫;圣地亚哥Zanella-Béguelin
6
2014
验证了安全协议的可互操作实现。 Zbl 1137.68323
巴格文,卡蒂克扬;福奈特,塞德里克;戈登,安德鲁D。;谢,斯蒂芬
6
2007
具有值相关类型的安全分布式编程。 Zbl 1290.68033
斯瓦米,尼克;陈娟;福奈特,塞德里克;斯特鲁布,皮埃尔·伊夫;巴格文,卡蒂克扬;杨,珍
5
2013
安全协议代码的模块化验证。 1316802升
巴格文,卡蒂克扬;福奈特,塞德里克;戈登,安德鲁D。
4
2010
TulaFale:一个web服务的安全工具。 Zbl 1104.68306
巴格文,卡蒂克扬;福奈特,塞德里克;戈登,安德鲁D。;普塞拉,里卡多
4
2004
HOL/SPIN中的路由信息协议。 Zbl 0974.68010
巴格文,卡蒂克扬;冈特,卡尔A。;奥布拉多维奇,达沃
2
2000
\(\mathrm{F}^*\)中的依赖类型和多元效应。 Zbl 1347.68038
斯瓦米,尼克;Hriţcu,Cătălin;凯勒,尚塔尔;拉斯托吉,阿塞姆;安托万德利尼特拉沃;森林,西蒙;巴格文,卡蒂克扬;福奈特,塞德里克;斯特鲁布,皮埃尔·伊夫;科尔韦斯,马库夫;津津多霍,让·卡里姆;圣地亚哥Zanella-Béguelin
2
2016
逐步输入安全地嵌入JavaScript中。 兹布1284.68108
斯瓦米,尼克;福奈特,塞德里克;拉斯托吉,阿塞姆;巴格文,卡蒂克扬;陈娟;斯特鲁布,皮埃尔·伊夫;比尔曼,加文
1
2014
什么包可能来:网络监控的自动机。 Zbl 1323.68199
巴格文,卡蒂克扬;钱德拉,萨蒂什;麦肯,彼得J。;冈特,卡尔A。
1
2001
网络事件识别。 Zbl 1083.68001
巴格文,卡蒂克扬;冈特,卡尔A。
1
2005
web服务身份验证的语义。 Zbl 1325.68140
巴格文,卡蒂克扬;福奈特,塞德里克;戈登,安德鲁D。
1
2004
\(\mathrm{F}^*\)中的依赖类型和多元效应。 Zbl 1347.68038
斯瓦米,尼克;Hriţcu,Cătălin;凯勒,尚塔尔;拉斯托吉,阿塞姆;安托万德利尼特拉沃;森林,西蒙;巴格文,卡蒂克扬;福奈特,塞德里克;斯特鲁布,皮埃尔·伊夫;科尔韦斯,马库夫;津津多霍,让·卡里姆;圣地亚哥Zanella-Béguelin
2
2016
证明TLS握手是安全的(事实如此)。 Zbl 1334.94060
巴格文,卡蒂克扬;福奈特,塞德里克;科尔韦斯,马库夫;皮龙蒂,阿尔弗雷多;斯特鲁布,皮埃尔·伊夫;圣地亚哥Zanella-Béguelin
6
2014
逐步输入安全地嵌入JavaScript中。 兹布1284.68108
斯瓦米,尼克;福奈特,塞德里克;拉斯托吉,阿塞姆;巴格文,卡蒂克扬;陈娟;皮埃尔·斯特鲁布;比尔曼,加文
1
2014
具有值相关类型的安全分布式编程。 Zbl 1290.68033
斯瓦米,尼克;陈娟;福奈特,塞德里克;斯特鲁布,皮埃尔·伊夫;巴格文,卡蒂克扬;杨,珍
5
2013
具有值相关类型的安全分布式编程。 Zbl 1323.68229
斯瓦米,尼克;陈娟;福奈特,塞德里克;斯特鲁布,皮埃尔·伊夫;巴格文,卡蒂克扬;杨,珍
12
2011
安全协议代码的模块化验证。 Zbl 1312.68052
巴格文,卡蒂克扬;福奈特,塞德里克;戈登,安德鲁D。
4
2010
验证了安全协议的可互操作实现。 Zbl 1137.68323
巴格文,卡蒂克扬;福奈特,塞德里克;戈登,安德鲁D。;谢,斯蒂芬
6
2007
网络事件识别。 Zbl 1083.68001
巴格文,卡蒂克扬;冈特,卡尔A。
1
2005
TulaFale:一个web服务的安全工具。 Zbl 1104.68306
巴格文,卡蒂克扬;福奈特,塞德里克;戈登,安德鲁D。;普塞拉,里卡多
4
2004
web服务身份验证的语义。 Zbl 1325.68140
巴格文,卡蒂克扬;福奈特,塞德里克;戈登,安德鲁D。
1
2004
距离向量路由协议标准的形式化验证。 Zbl 1326.68039
巴格文,卡蒂克扬;奥布拉多维奇,达沃;冈特,卡尔A。
11
2002
什么包可能来:网络监控的自动机。 Zbl 1323.68199
巴格文,卡蒂克扬;钱德拉,萨蒂什;麦肯,彼得J。;冈特,卡尔A。
1
2001
HOL/SPIN中的路由信息协议。 Zbl 0974.68010
巴格文,卡蒂克扬;冈特,卡尔A。;奥布拉多维奇,达沃
2
2000
全部的 前5名

被109位作者引用

4 加塞米,法提米
盆地,大卫A。
巴格文,卡蒂克扬
Dezani Ciancaglini,马里安哥拉
戈登,安德鲁D。
贾格,提博
帕多瓦尼,卢卡
吉田信子
2 Abrial,让·雷蒙德
2 巴特,吉尔
2 科波,马里奥
2 道林,本杰明
2 福克金,威廉·扬
2 福奈特,塞德里克
2 黄,泰国儿子
2 霍夫纳,彼得
2 库鲁马,广野
2 洛赫比勒,安德烈亚斯
2 阿里,莫瓦加尔
2 南兹,塞巴斯蒂安
2 皮龙蒂,阿尔弗雷多
2 西斯托,里卡多
2 Stebila,道格拉斯
2 蒂曼,彼得J。
2 托尼尼奥,伯纳多
2 范格拉贝克,罗伯特·扬
1 阿尔穆萨,奥马尔
1 阿瓦勒,马特奥
1 阿维拉姆,尼姆罗德
1 柏洛,帕特里克
1 巴托莱蒂,马西莫
1 贝塔特,古斯塔沃
1 贝塔莎·科佩特,皮尔古塞佩
1 毕,萱
1 布兰切特,布鲁诺
1 博格斯特伦,约翰内斯
1 布雷斯,埃米尔
1 布尔祖斯卡,克里斯
1 布格里西,米歇尔
1 凯尔斯,卢伊斯
1 卡尔扎瓦拉,斯特凡诺
1 坎波,胡安·迭戈
1 卡本,马可
1 卡皮内蒂,萨缪尔
1 卡斯特拉尼,伊利亚
1 达甘,皮埃尔·埃瓦里斯特
1 达拉戈,乌戈
1 达塔,阿努帕姆
1 丹尼·卢,皮埃尔·马洛
1 迪默特,丹尼斯
1 法拉,梅兰S。
1 费什林,马克
1 福卡迪,里卡多
1 福斯特,杰弗里·S。
1 富兰克林,杰森
1 加格,迪帕克
1 盖勒特,凯
1 吉尔赞,西尔维亚
1 盖诺,阿尔玛
1 冈特,卡尔A。
1 Günther,费利克斯
1 黑尔,布里塔
1 汉金,克里斯L。
1 哈里斯,威廉R。
1 本田,科海
1 雅各布森,Håkon
1 杰哈,萨默什
1 约翰逊,詹姆斯E。
1 凯纳尔,迪尔松·Kırlı
1 霍斯拉维,拉姆丁
1 小林,直木
1 库马尔,拉马纳
1 兰波特,莱斯利
1 拉尼芙,科西莫
1 兰沃斯,大卫·E。
1 劳尔,塞巴斯蒂安
1 勒皮格,鲁道夫
1 刘思思
1 鲁梅扎努,克里斯蒂安
1 露娜,卡洛斯
1 麦克布莱德,康纳·托马斯
1 梅罗,马西莫
1 梅斯盖尔·瓜伊塔,何塞
1 Mödersheim,塞巴斯蒂安A。
1 梅林,马格努斯O。
1 尼尔森,弗莱明
1 诺里斯,迈克尔
1 奥利维拉,布鲁诺C.d.S。
1 Olveczky,Peter Csaba
1 潘托维奇,约万卡
1 佩雷斯,豪尔赫A。
1 芬宁,弗兰克
1 菲利普斯,安德鲁
1 皮查迪,大卫
1 波特曼,马吕斯
1 代表,托马斯W。
1 蕾丝·尼尔森,汉恩
1 佐藤,Ryosuke
1 萨塔尔扎德,贝南
1 塞菲加,S.Reza
…还有9位作者

按年份列出的引文