×

兹马思-数学第一资源

用于自动验证互联网安全协议和应用程序的avisa工具。(英语) Zbl 1081.68523
Etessami,Kousha(编辑)等人,《计算机辅助验证》。第17届国际会议,CAV 2005,爱丁堡,苏格兰,英国,2005年7月6日至10日。诉讼程序。柏林,邮编:231-540。计算机科学课堂讲稿3576281-285(2005)。
简介:avisa是一个按钮式工具,用于自动验证互联网安全敏感协议和应用程序。它为指定协议及其安全属性提供了一种模块化和表达形式化的语言,并集成了实现各种最先进的自动分析技术的不同后端。据我们所知,没有其他工具在享受相同的性能和可伸缩性的同时,具有相同的范围和健壮性。
整个系列请参见[Zbl 1078.68004号].

理学硕士:
68M12 网络协议
68Q60型 规范和验证(程序逻辑、模型检查等)
PDF格式 BibTeX公司 XML 引用
全文: 内政部