网络安全认证协议自动分析系统的设计

• 作者: 马海涛
• 来源期刊: 科技创新导报
• 学科: 工学
• 关键词: 网络安全 认证协议 分析 模块
• 年，卷（期）: 2009,（5）
• 所属期刊栏目: IT技术
• 页码范围: 17
• 页数: 1页
• 分类号: TP27
• 字数: 1984字
• 语种: 中文
• DOI: 10.3969/j.issn.1674-098X.2009.05.015

摘要

本文以大量的协议形式化建模研究为基础.以网络安全认证协议为研究对象,采用模型检测技术,开发了网络安全认证协议自动分析系统.该系统功能主要是用来对认证协议进行自动建模与验证.本系统分为用户界面模块,自动分析建模模块以及自动验证模块.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	马海涛		6	33	3.0	5.0