|
|||||
|
|
| 网络安全认证协议自动分析系统的设计 | |
| 引用本文： | 马海涛.网络安全认证协议自动分析系统的设计[J].科技咨询导报,2009(5):17-17. |
| 作者姓名： | 马海涛 |
| 作者单位： | 江苏省泰州市科学技术局,江苏泰州225300 |
| 摘 要： | 本文以大量的协议形式化建模研究为基础,以网络安全认证协议为研究对象,采用模型检测技术,开发了网络安全认证协议自动分析系统。该系统功能主要是用来对认证协议进行自动建模与验证。本系统分为用户界面模块、自动分析建模模块以及自动验证模块。 |
| 关 键 词： | 网络安全 认证协议 分析 模块 |
| 本文献已被 维普 等数据库收录！ | |