A.阿曼多。;D盆地。;Y.Boichut。;Y.契瓦利埃。;康帕尼亚，L。;J.库埃拉。;Hankes Drielsma，P。;P.C.海姆。;O.库什纳伦科。;J.曼托瓦尼。;Mödersheim，S。;冯·奥海姆，D。;Rusinovitch，M。;J·圣地亚哥。;M.图鲁阿尼。;维甘诺，L。;维格纳龙，L。 用于自动验证互联网安全协议和应用程序的AVISPA工具。 （英语） Zbl 1081.68523号 Etessami，Kousha（编辑）等人，《计算机辅助验证》。2005年7月6日至10日在英国苏格兰爱丁堡举行的第17届CAV国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-27231-3/pbk）。《计算机科学讲义》3576281-285（2005）。 摘要：AVISPA是一个按钮工具，用于自动验证互联网安全敏感协议和应用程序。它为指定协议及其安全属性提供了一种模块化且富有表现力的形式语言，并集成了不同的后端，这些后端实现了各种最先进的自动分析技术。据我们所知，没有任何其他工具在具有相同的性能和可伸缩性的同时具有相同的范围和健壮性。关于整个系列，请参见[Zbl 1078.68004号]. 引用于2评论引用于52文件 MSC公司： 68个M12 网络协议 第68季度第60季度 规范和验证（程序逻辑、模型检查等） 软件：SATMC公司;OFMC公司;AVISPA公司;TLA公司;爱马仕 PDF格式BibTeX公司 XML格式引用 \textit{A.Armando}等人，Lect。注释计算。科学。3576、281--285（2005年；Zbl 1081.68523） 全文： 内政部