摘要
介绍了安全协议形式化分析方法,给出了一个自动化分析集成工具。该工具基于模态逻辑实现自动推理,采用可视化框架描述协议体。重点分析了该软件的模块结构和工作原理,可为形式化分析工具的设计和开发提供参考。
Formal analysis methods for security protocol are introduced and an integrated automatic analysis tool is presented. This tool realizes automated reasoning based on the modal logic and the protocol entity is depicted by using visual framework. The module structure and working principle of the software are analyzed emphatically, which can provide the reference for designing and developing formal analysis tool.
出处
《计算机时代》
2009年第12期3-4,7,共3页
Computer Era
关键词
安全协议
形式化方法
自动分析
逻辑推理
security protocol
formal method
automatic analysis
logic reasoning
