×

卡斯珀

swMATH ID: 6559
软件作者: Gavin Lowe/牛津大学计算实验室
描述: 安全协议分析编译器。Casper是一个程序,它将用简单抽象的语言描述安全协议,并生成同一协议的CSP描述,适合使用FDR2进行检查。根据Dolev-Yao模型的假设(即入侵者可能会偷听或截获消息,使用他知道的密钥解密和加密消息,以及伪造消息,但不会执行任何密码攻击),它既可以用于发现对协议的攻击,也可以表明不存在此类攻击。
主页: http://www.cs.ox.ac.uk/gavin.lowe/Security/Casper网站/
关键词: 安全协议;第二代外国存托凭证
相关软件: AVISPA公司;水龙头;OFMC公司;第二代外国存托凭证;NRL公司;;ProVerify公司;自旋蛋白;飞天螳螂;爱马仕;JML公司;莫德;NuSMV公司;Z轴;PVS公司;拍打;SATMC公司;亚帕;VerICS版本;图规划
引用于: 83文件
全部的 前5名

139位作者引用

9 David A.Basin。
8 卢卡·维甘诺
5 克雷默斯,Cas J.F。
5 塞巴斯蒂安·亚历山大·莫德谢姆
5 米歇尔·鲁西诺维奇
4 亚历山德罗·阿曼多
4 卢卡·孔帕尼亚
4 维罗尼克·科尔蒂尔
4 约书亚·D·古特曼。
4 米罗斯·库考斯基
4 沃伊切赫,彭泽克
4 里卡多·西斯托
卡洛斯·卡莱罗
亚尼克·骑士
乔治·德尔扎诺
劳伦·维格纳龙
2 拉贾·纳伊姆·阿克兰
2 迈克尔·巴克斯
2 伊万·西布拉里奥·贝尔托洛蒂
2 陈火旺
2 Chin,Shiu-Kai先生
2 卢卡·杜兰特
2 桑德罗·埃塔利
2 罗伯托·戈里埃里
2 李孟军
2 李周军
2 马吉,保罗
2 康斯坦蒂诺斯·马坎托纳基斯
2 绍克·莫
2 基思·梅耶斯
2 奥斯蒂克(Oostdijk)、马蒂恩·迪德里克(Martijn Diederik)
2 劳伦斯·查尔斯·保尔森
2 比吉特·普菲茨曼
2 安德鲁·威廉·罗斯科
2 马修·图鲁阿尼
2 阿德里亚诺·瓦伦扎诺
2 沃林斯基,博格丹
2 马蒂恩·沃尼尔
2 周,Ti
1 亚历山德罗·阿尔迪尼
1 奥马尔·阿尔莫萨
1 罗曼·博希斯
1 詹保罗·贝拉
1 马尔科·贝尔纳多
1 博里萨尼亚,巴韦什
1 梅赫迪·布阿拉古伊
1 爱奥华纳州布尔亚努
1 罗兰·布鲁莱
1 莉安娜·博兹加
1 马可·波扎诺
1 塞巴斯蒂安·布赖斯
1 路易吉亚·卡卢奇·埃利罗(Luigia Carlucci Aiello)
1 朱塞佩·卡斯塔尼亚
1 克拉克(Edmund Melson jun Clarke)。
1 兰斯·克莱维兰
1 米卡·科恩
1 里卡多·科林
1 弗拉维奥·科拉迪尼
1 埃里克·P·德文克。
1 雷内·德弗里斯。
1 斯特凡尼德劳恩
1 Delicata,罗布
1 Denker,砂砾
1 雷蒙德·魔鬼队
1 马里亚纽拉州Dezani-Ciancaglini
1 沙丁·多赫米(Shaddin F.Doghmi)。
1 董金松
1 安东尼奥·杜兰特
1 里卡多·福卡尔迪
1 利奥·弗雷塔斯
1 皮埃尔·甘蒂
1 伊亚科沃斯·古鲁利安
1 克里斯蒂安·哈克
1 Joseph Yehuda Halpern
1 哈诺丁,泽维尔
1 一郎·哈索
1 海因里希·霍尔德根
1 杰西·休斯
1 巴特·雅各布斯
1 佛罗伦萨·杰克马尔
1 吉泽拉Jakubowska
1 Alan S.A.杰弗里。
1 Jha,萨默什
1 简·朱尔延斯
1 川崎,吉野
1 米歇尔·凯勒
1 汉娜·克劳代尔
1 帕斯卡·拉福卡德
1 亚辛·拉赫内奇
1 Michael Leuschel先生
1 廖乐建
1 尤利亚·利勒
1 刘,杨
1 圣普雷斯蒂
1 阿莱西奥·洛穆西奥
1 Long,Benjamin W。
1 洛维,加文
1 卢安图
1 哈菲扎·曼索
1 威尔·马里罗
…还有39位作者

按年份列出的引文