AVISPA公司 swMATH ID: 3172 软件作者： 信息社会技术方案下的欧洲共同体（1998-2002） 描述： AVISPA（互联网安全协议和应用程序的自动验证）是一个按钮工具，用于自动验证互联网安全敏感协议和应用。它提供了一种模块化的、富有表现力的形式语言，用于指定协议及其安全属性，并集成了实现各种最先进的自动分析技术的不同后端。 主页： http://www.avispa-project.org/ 操作系统： Windows、Linux 关键词： 自动化验证；互联网安全协议和应用 相关软件： 卡斯珀；ProVerify公司；第页，共页；亚帕；塔马林；莫德-NPA；阿克斯；NRL公司；飞天螳螂；SATMC公司；莫德；廷巴克；爱马仕；github；阿普特；EasyCrypt公司；水龙头；太阳神；CMQV公司+；CoSP公司 引用于： 82文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 用于自动验证互联网安全协议和应用程序的AVISPA工具。 兹比尔1081.68523A.阿曼多。；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名148位作者引用 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 伊利耶斯·法尔科内 1 Mehran S·法拉。 1 玛丽贝尔·费尔南德斯 1 里卡多·福卡迪 1 塞德里克·Fornet 1 高，韩 1 克里斯蒂安·戈斯汀 1 舒巴姆·古普塔 1 乔舒亚·古特曼。 1 保罗·汉克斯·德里尔斯玛 1 伊恩·海耶斯。 1 乔·亨德里克斯 1 卢卡赫希 1 海因里希·霍尔德根 1 赫德，乔 1 Hind伊德里西 1 吉泽拉·雅库博夫斯卡 1 罗曼·贾维尔 1 阿里·卡西姆 1 米歇尔·凯勒 1 汉娜·克劳代尔 1 米罗斯·库考斯基 …还有48位作者 全部的 前5名19篇连载文章中引用 6 理论计算机科学 6 信息与计算 三 自动推理杂志 三 系统设计中的形式化方法 2 应用非经典逻辑杂志 2 计算机基础理论 2 计算机网络 2 ACM计算逻辑事务 2 计算机科学中的逻辑方法 2 程序设计中的逻辑和代数方法杂志 1 计算机程序设计科学 1 MSCS公司。计算机科学中的数学结构 1 塔特拉山脉数学出版物 1 美国医学会杂志 1 萨达纳 1 形式化推理杂志 1 RAIRO公司。理论信息学及其应用 1 对称性 1 计算机科学前沿 在3个字段中引用 70 计算机科学（68至XX） 56 信息与通信理论、电路（94-XX） 8 数理逻辑与基础（03-XX） 按年份列出的引文