×

AVISPA公司

swMATH ID: 3172
软件作者: 信息社会技术方案下的欧洲共同体(1998-2002)
描述: AVISPA(互联网安全协议和应用程序的自动验证)是一个按钮工具,用于自动验证互联网安全敏感协议和应用。它为指定协议及其安全属性提供了一种模块化且富有表现力的形式语言,并集成了不同的后端,这些后端实现了各种最先进的自动分析技术。
主页: http://www.avispa-project.org/
操作系统: Windows、Linux
关键词: 自动化验证;互联网安全协议和应用
相关软件: 卡斯珀;ProVerify公司;OFMC公司;亚帕;塔马林;莫德-NPA;阿克斯;NRL公司;飞天螳螂;SATMC公司;莫德;廷巴克;爱马仕;阿普特;EasyCrypt公司;水龙头;太阳神;CMQV公司+;CoSP公司;ConfiChair公司
引用于: 82出版物
全部的 前5名

147位作者引用

16 斯特凡尼德劳恩
12 维罗尼克·科尔蒂尔
10 史蒂夫·克莱默
5 卢卡·维甘诺
4 David A.Basin。
4 尤罕·博伊库特
4 文森特·雪瓦尔
4 卢卡·孔帕尼亚
4 克雷默斯,Cas J.F。
4 托马斯·杰奈特
4 塞巴斯蒂安·亚历山大·莫德谢姆
亚尼克·骑士
瑟·特凡·乔巴赫
海姆,皮尔雷·科里尔
奥尔加·库什纳伦科
帕斯卡·拉福卡德
阿莱西奥·洛穆西奥
凯瑟琳·梅多斯。
米歇尔·鲁西诺维奇
2 迈托·阿拉皮尼斯
2 亚历山德罗·阿曼多
2 马蒂尔德·阿尔诺
2 维亨·阿萨克
2 J.William阿特伍德
2 毛里西奥·阿亚拉·林科恩
2 迈克尔·巴克斯
2 马修·波德特
2 詹保罗·贝拉
2 布鲁诺·布兰切特
2 卡洛斯·卡莱罗
2 伊利亚诺·塞维萨托
2 泽维尔·尚特里
2 豪尔赫·库勒
2 伊斯兰,Salekul
2 亚伦·D·贾加德。
2 丹尼斯·卢吉兹
2 绍克·莫
2 沃伊切赫·彭泽克
2 萨沙拉多米罗维奇
2 拉尔夫·萨西
2 安德烈·斯克洛夫
2 蔡乔凯
2 马修·图鲁阿尼
2 大卫·冯·奥海姆
2 沃林斯基,博格丹
1 马丁·阿巴迪
1 苏珊娜·安多瓦
1 库沙尔·巴别尔
1 大卫·巴尔德
1 D盆地。
1 弗朗西斯科·贝拉迪内利
1 纳杰斯·本·拉杰布
1 穆赫贝丁·贝里玛
1 博迪,恰拉
1 爱奥华纳州布尔亚努
1 罗兰·布鲁莱
1 贝诺·博伊尔
1 罗伯托·卡蓬
1 罗希特·查达
1 张廷毅
1 纳伦德拉·S·乔达里。
1 雪莲骑士
1 米卡·科恩
1 罗伯特·J·科尔文。
1 休伯特·科蒙·隆德
1 阿努帕姆·达塔
1 埃里克·P·德文克。
1 皮耶保罗·德加诺
1 杰雷米·德莱特
1 安特·德里克
1 雷蒙德·魔鬼队
1 董金松
1 詹妮克·德雷尔
1 段建军
1 查尔斯·杜梅尼
1 塞尔达尔·埃尔巴图尔
1 圣地亚哥埃斯科瓦尔
1 伊利耶斯·法尔科内
1 Mehran S·法拉。
1 玛丽贝尔·费尔南德斯
1 里卡多·福卡迪
1 塞德里克·Fornet
1 高,韩
1 克里斯蒂安·戈斯汀
1 舒巴姆·古普塔
1 约书亚·D·古特曼。
1 保罗·汉克斯·德里尔斯玛
1 伊恩·海耶斯。
1 乔·亨德里克斯
1 卢卡·赫斯基
1 海因里希·霍尔德根
1 赫德,乔
1 吉泽拉·雅库博夫斯卡
1 罗曼·贾维尔
1 阿里·卡西姆
1 米歇尔·凯勒
1 汉娜·克劳代尔
1 米罗斯·库考斯基
1 拉尔夫·库斯特斯
1 亚辛·拉赫内奇
…还有47位作者

按年份列出的引文