首页> 中文期刊> 《科技创新导报》 >网络安全认证协议自动分析系统的设计

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《科技创新导报》 |2009年第5期|17|共1页
作者
马海涛;
展开▼
作者单位

江苏省泰州市科学技术局,江苏泰州,225300;

展开▼
原文格式 PDF
正文语种 chi
中图分类自动化系统;
关键词
网络安全; 认证协议; 分析; 模块;

相似文献

中文文献
外文文献
专利

1. 慕课在网络安全课程教学中的应用——Kerberos认证协议教学案例 [J] . 王小耿 . 电脑知识与技术 . 2019,第032期
2. 基于相邻区域协作的轻量级无线传感器网络安全认证协议 [J] . 张迪 ,韩铮 ,王雪丽 . 信息通信 . 2016,第009期
3. 基于簇的无线传感器网络安全节点认证协议 [J] . 黄彬 ,刘广钟 ,徐明 . 计算机工程 . 2016,第007期
4. 一种新的移动Ad Hoc网络安全认证协议 [J] . 封莎 ,李晖 ,张文 . 现代电信科技 . 2008,第004期
5. 网络安全认证协议形式化分析 [J] . 肖美华 ,江耘 ,邓宸芳 . 计算机安全 . 2006,第002期
6. 网络安全认证协议形式化分析 [C] . 肖美华 ,邓宸芳 ,马小薏 . 第20次全国计算机安全学术交流会 . 2005
7. 网络安全认证协议自动分析系统 [A] . 李静 . 2007

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号