AVISPA公司 swMATH ID: 3172 软件作者： 信息社会技术方案下的欧洲共同体（1998-2002） 描述： AVISPA（互联网安全协议和应用程序的自动验证）是一个按钮工具，用于自动验证互联网安全敏感协议和应用。它为指定协议及其安全属性提供了一种模块化且富有表现力的形式语言，并集成了不同的后端，这些后端实现了各种最先进的自动分析技术。 主页： http://www.avispa-project.org/ 操作系统： Windows、Linux 关键词： 自动化验证;互联网安全协议和应用 相关软件： 卡斯珀;ProVerify公司;OFMC公司;亚帕;塔马林;莫德-NPA;阿克斯;NRL公司;飞天螳螂;SATMC公司;莫德;廷巴克;爱马仕;阿普特;EasyCrypt公司;水龙头;太阳神;CMQV公司+;CoSP公司;ConfiChair公司 引用于： 82出版物 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 用于自动验证互联网安全协议和应用程序的AVISPA工具。 Zbl 1081.68523号A.阿曼多。;D盆地。;Y.Boichut。;Y.契瓦利埃。;康帕尼亚，L。;J.库埃拉。;Hankes Drielsma，P。;P.C.海姆。;O.库什纳伦科。;J.曼托瓦尼。;Mödersheim，S。;冯·奥海姆，D。;Rusinovitch，M。;J·圣地亚哥。;M.图鲁阿尼。;维甘诺，L。;维格纳龙，L。 2005 全部的 前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位作者 全部的 前5名20篇连载文章中引用 6 理论计算机科学 6 信息与计算 三 自动推理杂志 三 系统设计中的形式化方法 2 应用非经典逻辑杂志 2 计算机基础理论 2 计算机网络 2 ACM计算逻辑事务 2 计算机科学中的逻辑方法 2 程序设计中的逻辑和代数方法杂志 1 计算机程序设计科学 1 MSCS公司。计算机科学中的数学结构 1 塔特拉山脉数学出版物 1 美国医学会杂志 1 萨达纳 1 数学生物科学与工程 1 形式化推理杂志 1 RAIRO公司。理论信息学及其应用 1 对称 1 计算机科学前沿 在3个字段中引用 70 计算机科学（68至XX） 55 信息与通信理论、电路（94-XX） 8 数学逻辑和基础（03-XX） 按年份列出的引文