卡斯珀 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位作者 全部的 前5名17篇连载文章中引用 8 理论计算机科学 4 计算机基础理论 三 计算的形式方面 三 计算机科学中的逻辑方法 2 信息安全与密码学 1 信息处理信件 1 《计算机杂志》。A部分/B部分 1 信息科学 1 计算机程序设计科学 1 符号计算杂志 1 信息与计算 1 国际计算机科学基础杂志 1 系统设计中的形式化方法 1 应用非经典逻辑杂志 1 IGPL逻辑杂志 1 逻辑与代数程序设计杂志 1 计算机科学前沿 在3个字段中引用 70 计算机科学(68-XX) 46 信息与通信理论、电路(94-XX) 7 数学逻辑和基础(03-XX) 按年份列出的引文