收藏本站
《计算机工程与应用》 2010年13期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

蠕虫智能扩散形式化分析及权策略算法实现

周佳骏  马瑞兴  王峰  李肖坚  
【摘要】:抽象蠕虫扩散的一般过程,采用确定的有限自动机理论,对蠕虫扩散行为进行形式化描述。建立智能扩散自动机模型,为研究蠕虫扩散过程提供了一种直观的形式化手段。提出加权树策略,基于该策略设计智能扩散模型并详细阐述权策略的核心算法,描述蠕虫智能扩散的本质特征和执行过程。形式论证结果表明,该模型能够有效地刻画智能扩散的特征,实现基于堆遍历加权策略的扩散仿真。

手机知网App
【相似文献】
中国期刊全文数据库 前10条
1 周文嘉;黄林鹏;陈俊清;;普适环境中的动态更新模型[J];微电子学与计算机;2011年08期
2 杨元原;马文平;刘维博;白晓峰;;一种可检测类型缺陷攻击的SAT改进模型[J];沈阳工业大学学报;2011年04期
3 程文娟;;基于安全多方计算的电子商务高可靠性技术研究[J];淮南师范学院学报;2011年03期
4 张兆心;杜跃进;方滨兴;张宏莉;;基于BAN逻辑的SIP网络认证协议安全性研究[J];高技术通讯;2010年11期
5 王志坚;李雯睿;杨种学;张鹏程;;基于uMSD的Web服务组合验证方法研究[J];计算机科学;2011年09期
6 陶源;刘增良;张智南;王盼卿;郭春霞;;基于因素神经网络理论的网络攻击态势小生境模型研究[J];高技术通讯;2010年07期
7 任小烈;;Kerberos协议在无线网络中的应用与改进研究[J];成都信息工程学院学报;2011年02期
8 ;[J];;年期
9 ;[J];;年期
10 ;[J];;年期
中国重要会议论文全文数据库 前10条
1 刘家芬;周明天;;对安全协议重放攻击的分类研究(英文)[A];计算机技术与应用进展——全国第17届计算机科学与技术应用(CACIS)学术会议论文集(下册)[C];2006年
2 文静华;张梅;张焕国;;电子支付协议的博弈逻辑模型与形式化分析[A];2007年全国开放式分布与并行计算机学术会议论文集(上册)[C];2007年
3 李秋山;胡游君;;低成本RFID系统安全协议设计及其形式化分析[A];2006北京地区高校研究生学术交流会——通信与信息技术会议论文集(上)[C];2006年
4 徐锐;;设计安全协议[A];第十八次全国计算机安全学术交流会论文集[C];2003年
5 张梅;文静华;张焕国;;基于ATL的电子商务协议建模与形式化分析[A];2009年全国开放式分布与并行计算机学术会议论文集(上册)[C];2009年
6 谢鸿波;周明天;;安全协议的形式化技术:述评[A];’2004计算机应用技术交流会议论文集[C];2004年
7 肖美华;邓宸芳;马小薏;薛锦云;江耘;;网络安全认证协议形式化分析[A];第二十次全国计算机安全学术交流会论文集[C];2005年
8 孙守卿;李廉;章超;李彩虹;;基于模型检测工具SPIN的安全协议形式化分析[A];2005年全国理论计算机科学学术年会论文集[C];2005年
9 顾永跟;傅育熙;朱涵;吕银华;;基于进程演算的安全协议形式化分析[A];2005年全国理论计算机科学学术年会论文集[C];2005年
10 崔楠;汪学明;;基于SVO逻辑的电子商务协议非否认性形式化分析[A];逻辑学及其应用研究——第四届全国逻辑系统、智能科学与信息科学学术会议论文集[C];2008年
中国博士学位论文全文数据库 前10条
1 陈俊清;可信普适服务的形式化分析与验证[D];上海交通大学;2012年
2 范红;安全协议形式化分析理论与方法[D];中国人民解放军信息工程大学;2003年
3 文静华;电子商务协议形式化方法及模型检测技术的研究与应用[D];贵州大学;2006年
4 汪学明;多方安全协议的形式化分析方法研究与应用[D];贵州大学;2008年
5 杨世平;安全协议及其BAN逻辑分析研究[D];贵州大学;2007年
6 邢育红;公平交换协议分析方法研究[D];山东大学;2005年
7 龙士工;串空间理论及其在安全协议分析中的应用研究[D];贵州大学;2007年
8 刘文琦;移动支付系统安全的若干关键问题研究[D];大连理工大学;2008年
9 赵辉;安全协议形式化分析技术的研究[D];大连理工大学;2010年
10 张帆;无线网络安全协议的形式化分析方法[D];西安电子科技大学;2007年
中国硕士学位论文全文数据库 前10条
1 吴瑞龙;一种基于有色Petri网模型的安全协议检测技术的研究[D];广西大学;2005年
2 刘霞;移动电子商务协议的模型检验分析与设计研究[D];桂林电子科技大学;2006年
3 范钰丹;密码协议非否认性和公平性验证技术研究[D];解放军信息工程大学;2007年
4 姬国珍;基于Maude的安全协议的形式化分析[D];西安电子科技大学;2011年
5 李晨;关于密码协议的形式化分析方法的研究[D];电子科技大学;2010年
6 党继胜;基于SVO逻辑的电子商务协议形式化分析与研究[D];贵州大学;2007年
7 李文娟;安全移动商务协议分析与研究[D];大连理工大学;2007年
8 李志新;基于串空间理论的电子商务协议安全性研究[D];大连理工大学;2008年
9 李嘉华;一种基于混合加密的OSGi认证协议研究[D];大连理工大学;2008年
10 宋珊珊;基于WAP的移动电子商务安全支付协议架构的研究[D];东华大学;2008年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026