基于MAS的复杂网络安全形式化建模

发布时间：2017-12-28 00:02

  本文关键词：基于MAS的复杂网络安全形式化建模　出处：《计算机科学》2015年03期 　论文类型：期刊论文

  更多相关文章： 复杂网络安全 建模与仿真 智能体形式化建模 分布式拒绝服务攻击

【摘要】：针对网络攻击和防御形式化建模逼真度低和描述不规范的问题,基于多Agent建模思想提出了一种"微-宏"观相结合的具有良好扩展性的形式化建模方法,该方法从微观上描述了个体Agent的静态属性和动态行为,从宏观上描述了角色分配方式和各Agent之间的联系。接着以DDoS攻击与防御为例,给出了上述方法的具体实现过程。最后,仿真验证了DDoS攻防模型的正确性和有效性。
[Abstract]:In view of the network attack and defense modeling and description of low fidelity irregularities, multi Agent modeling proposed a "micro - macro formal modeling method has good scalability of the concept based on the combination of the method to describe the static individual Agent properties and dynamic behavior from the micro, from the macro description between the role assignment and the Agent connection. Then, taking DDoS attack and defense as an example, the specific implementation process of the above method is given. Finally, the simulation validates the correctness and effectiveness of the DDoS attack and defense model.
【作者单位】： 信息工程大学;清华大学;
【分类号】：TP393.08
【正文快照】： 到稿日期:2014-04-20返修日期:2014-06-181引言复杂网络是一种具有开放性、动态性、智能性、适应性和非线性等特点的网络,属于典型的复杂适应系统(ComplexAdaptive System,CAS)。基于Agent的建模方法为CAS的研究提供了有力的手段[1]。复杂网络一旦遭受恶意攻击,将严重降低资源

【相似文献】

相关期刊论文 前5条

1 冯玉才,刘丹,班鹏新;基于类型理论的XML类型系统形式化建模[J];计算机工程;2004年12期

2 陈树根;姜新文;宋狄;;Web服务事务模型的形式化建模[J];计算机应用;2006年S2期

3 袁禄来;曾国荪;王伟;;基于Pi-演算的信任网络形式化建模[J];系统仿真学报;2008年01期

4 李伟;罗军舟;;基于多Agent系统网管模型的形式化建模[J];系统仿真学报;2007年S1期

5 林煜明;蔡国永;;策略驱动的自配置系统形式化建模及分析验证[J];计算机工程与科学;2008年02期

，

本文编号：1343720