网络信息安全自动分析与评测系统

电子信息

项目研究内容 ： 本系统的开发内容是实现一个能够对网络安全认证

协议进行形式化自动分析的模型检测系统，

该系统能够自动完成对协议的

建模、性质归纳及协议系统模型的验证，并在发现协议漏洞时，以直观的

图形化界面显示该漏洞的攻击序列图。

技术特点 ：抽象性：该系统具有较高的抽象性。协议的建模和验证过

程对用户来说是完全透明的

未应用