收藏本站
《计算机应用研究》 2010年06期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

一种安全协议自动化分析方法

毋晓英  周清雷  
【摘要】:提出了一种基于串空间的安全协议自动化分析模型,该模型运用一系列算法实现协议的自动化分析,克服了冗长的理论推导,使协议的分析更加简洁和直观。模型的主要功能已在MyEclipse环境下用Java编程实现,并首次运用实现后的自动化分析模型对改进前后的Helsinki协议进行分析验证,证明了该自动化分析方法的简洁性和有效性。
【作者单位】郑州大学信息工程学院;
【基金】:国家“863”计划资助项目(2007AA010408)
【分类号】:TP393.08

【共引文献】
中国期刊全文数据库 前10条
1 袁满;杨恒涛;秦中国;姜丽娟;郭玲玲;;移动增值服务平台架构及相关技术[J];大庆石油学院学报;2006年05期
2 李英杰;;中小企业网络安全现状剖析及解决方法[J];福建电脑;2006年12期
3 孙永全;王玉林;张颖;;基于有限域上遍历矩阵的零知识身份证明[J];长春工业大学学报(自然科学版);2006年02期
4 李静;肖美华;;网络认证协议攻击的非形式化分析[J];计算机工程与应用;2006年22期
5 罗志宏;王常吉;朱思铭;;基于有色Petri网的一种密码协议的描述和分析[J];计算机工程与应用;2006年23期
6 吴光伟;董荣胜;;基于串空间的Athena分析技术研究[J];计算机科学;2006年08期
7 张锦祥;李琦;卿斯汉;;一个改进的不可否认性的扩展SET协议[J];科技通报;2006年04期
8 卿斯汉;一种电子商务协议形式化分析方法[J];软件学报;2005年10期
9 李秋山;胡游君;;SSL协议的扩展Rubin逻辑形式化分析[J];计算机工程与设计;2007年16期
10 戈军;;基于Kerberos身份认证的分析和改进[J];沈阳工程学院学报(自然科学版);2006年03期
中国重要会议论文全文数据库 前2条
1 胡远锋;;数字签名原理浅析及其在网上银行的应用[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集(上册)[C];2008年
2 范伟;;A(0)协议的攻击分析及改进[A];“军事通信与信息网络技术发展”研讨会论文集(下册)[C];2007年
中国博士学位论文全文数据库 前2条
1 王强华;基于公共信道信令模型的网格体系结构研究[D];西北大学;2006年
2 冯国柱;PKI关键技术研究及其应用[D];国防科学技术大学;2006年
中国硕士学位论文全文数据库 前10条
1 于涛;基于数字证书的安全聊天室的设计与实现[D];吉林大学;2006年
2 陆国栋;基于IPSec VPN的安全性研究[D];华东师范大学;2006年
3 杜春燕;基于PKI/ECC的IKEv2协议研究与实现[D];苏州大学;2006年
4 张一嘉;军用信息系统安全传输技术研究[D];哈尔滨工业大学;2006年
5 赵罡;基于WLAN集成认证平台的协议安全性研究与分析[D];西安电子科技大学;2006年
6 王琨;宽带无线IP集成安全接入技术研究与设计[D];西安电子科技大学;2006年
7 朱洪武;基于零知识证明的图论问题和网络安全的研究[D];成都理工大学;2007年
8 杨威;协议可控安全交换机技术研究[D];国防科学技术大学;2006年
9 黄倩;安全选播模型的研究[D];广西大学;2007年
10 王琴;基于端到端模式的WAP安全性研究[D];江苏大学;2006年
【相似文献】
中国期刊全文数据库 前10条
1 ;1988年全国密码学学术会议征文[J];通信学报;1988年01期
2 姚应仕;;Smart卡,计算机网络安全的重要器件[J];信息安全与通信保密;1990年02期
3 黄为群;编译BASIC调汇编程序浅析[J];微计算机应用;1991年06期
4 栾静;CAI写作系统中若干问题的探讨[J];新疆师范大学学报(自然科学版);1992年00期
5 郭江;分布式系统的安全[J];计算机工程与设计;1993年06期
6 杨新,张建中,方关宝;保密通信网的互连互通技术研究[J];信息安全与通信保密;1993年02期
7 ;SUPER MASTER计算机安全控制器——顺德高迅电子有限公司新产品介绍[J];电脑;1994年12期
8 和鸣;Internet保密性能得到增强[J];今日电子;1995年01期
9 张泳天,戴英侠,荆继武;网络安全技术在OSI模型中的应用[J];中国金融电脑;1996年12期
10 金传升;个人通信中的保密与鉴别技术[J];信息安全与通信保密;1996年01期
中国重要会议论文全文数据库 前10条
1 葛兵;;移动商务的基础——移动安全系统(WPKI)[A];中国国际移动数据与因特网技术高级研讨会论文集[C];2000年
2 单懿;;安全IP路由模型的设计[A];西部开发与系统工程——中国系统工程学会第12届年会论文集[C];2002年
3 张瑞军;陈一周;邓辉;;基于Internet电子商务的安全性探讨[A];图像 仿真 信息技术——第二届联合学术会议论文集[C];2002年
4 曹娟;;电子商务的安全体系结构及安全技术研究[A];中国烟草行业信息化研讨会论文集[C];2004年
5 齐琳;;移动IPv6概述及IPv6的安全体系结构[A];中国航海学会通信导航专业委员会2004学术年会论文集[C];2004年
6 杨明;罗车舟;;一种安全协议分析的逻辑模型[A];全国网络与信息安全技术研讨会’2004论文集[C];2004年
7 解云峰;李之棠;石曙东;;基于串空间模型的安全协议形式化分析方法研究[A];全国网络与信息安全技术研讨会’2004论文集[C];2004年
8 谢鸿波;周明天;;安全协议的形式化技术:述评[A];’2004计算机应用技术交流会议论文集[C];2004年
9 孙守卿;李廉;章超;李彩虹;;基于模型检测工具SPIN的安全协议形式化分析[A];2005年全国理论计算机科学学术年会论文集[C];2005年
10 郭华;庄雷;;电子商务协议的形式化验证方法及FR验证实例[A];2005年全国理论计算机科学学术年会论文集[C];2005年
中国重要报纸全文数据库 前10条
1 北京市科委保密委员会主办;网络信息安全与保密的层次结构[N];北京科技报;2000年
2 于卫;创造WAP上的ISP[N];计算机世界;2000年
3 李俊荣 陈建设 张勇;承包商和供应商管理[N];中国石化报;2001年
4 施明全 周保太;信息安全基石:密码[N];解放军报;2001年
5 许云霞;格式合同中造成对方人身伤害的免责条款无效[N];江苏经济报;2001年
6 本报记者 谌力;新宇:支撑起银行安全的核心[N];网络世界;2001年
7 王冬春;SSL和SET谁更有前途[N];中国计算机报;2002年
8 柴文娟;e时代的网络财务管理[N];中国计算机报;2002年
9 本报记者 胡英;在网络安全领域中国与世界同步[N];计算机世界;2002年
10 ;安全与隐私兼得[N];网络世界;2002年
中国博士学位论文全文数据库 前10条
1 张玉清;计算机通信网安全协议的分析研究[D];西安电子科技大学;2000年
2 张福泰;可验证秘密分享及其应用研究[D];西安电子科技大学;2001年
3 姬东耀;因特网上信息安全与小额支付协议的设计分析[D];西安电子科技大学;2001年
4 童华章;安全协议的研究与设计[D];浙江大学;2002年
5 沈炜;用于公平交换的若干协议和规范的研究与应用[D];浙江大学;2003年
6 范红;安全协议形式化分析理论与方法[D];中国人民解放军信息工程大学;2003年
7 尹勇;物理隔离理论与系统的研究及其在网络化制造中的实践[D];华中科技大学;2004年
8 侯小梅;电子商务安全与混沌加密的研究[D];华南理工大学;2001年
9 倪晓强;通用并行向量密码处理器研究[D];国防科学技术大学;2005年
10 刘清堂;标准化教育资源版权保护机制研究[D];华中科技大学;2005年
中国硕士学位论文全文数据库 前10条
1 廖永红;基于IPSecurity的透明网络安全技术的研究和实现[D];暨南大学;2001年
2 罗卿;基于FAPKC算法的电子税务的设计与实现[D];中国科学院软件研究所;2001年
3 曹卫兵;基于IPSec安全协议的网卡安全技术研究[D];西北工业大学;2001年
4 王刚;基于IPSec协议的虚拟专用网(VPN)及其实现技术研究[D];西北工业大学;2001年
5 施娟;电子商务安全协议探讨[D];西南财经大学;2001年
6 石克莹;电子商务B2B模式的研究与应用[D];甘肃工业大学;2001年
7 刘婷婷;网络化协同工作系统安全体系结构及信息传输安全[D];南京理工大学;2002年
8 王顺满;数据传输安全协议分析改进及测试[D];燕山大学;2002年
9 钟小玲;IPSEC安全协议—AH和ESP在LINUX上实现的研究[D];电子科技大学;2002年
10 蒲阳;IPSEC中IKE协议在LINUX上的实现和研究[D];电子科技大学;2002年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026