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