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

第 42卷 第 3期 计 算 机 科 学 Vo1．42NO．3 2015年 3月 Computer Science M ar2015 基于 MAS的复杂网络安全形式化建模 危美林 张明清 唐 俊。 孔红山 (信息工程大学 郑州 450001) (清华大学 北京 100084)。 摘 要 针对网络攻击和防御形式化建模逼真度低和描述不规范的问题，基于多Agent建模思想提 出了一种 “微一宏” 观相结合的具有 良好扩展性的形式化建模方法 ，该方法从微观上描述 了个体 Agent的静态属性和动态行为，从宏观上 描述了角色分配方式和各Agent之间的联 系。接着以DDoS攻击与防御为例，给出了上述方法的具体实现过程。最 后，仿真验证 了DDoS攻防模型的正确性和有效性。 关键词 复杂网络安全，建模与仿真，智能体形式化建模，分布式拒绝服务攻击 中图法分类号 TP391．9 文献标识码 A DOI 10．11896／j．issn．1002—137X．2015．3．021 FormalModelingofComplexNetworkSecurityBasedonMAS WEIMei—lin ZHANGMingqing TANG Jun KONGHong-shan (ThePIA InformationEngineeringUniversity，Zhengzhou450001，China) (TsinghuaUniversity，Beijing100084，China)。 Abstract Forthelow fidelityandnownormativedescriptionofformalmodelingofnetworkattackanddefense，amicro- macrocombiningformalmodelingmethodwithgoodscalabilitywasproposedbasedonmulti—Agent，whichdescribesthe staticpropertiesanddynamicbehaviorofindividualagentfrom themicrocosmicanddescribesthemethodsofroleallo— cationandcontactsbetweeneachagentfrom themacroscopic．Then，takingtheDDoSattackand defenseasexample，we gavespecificimplementationprocessoftheabovemethod．Finally，asimulationofDDoSattackanddefensewasimple— mentedtoverifythemode1． Keywords Complexnetworksecurity，Modelingandsimulation，Agentformalmodeling，Distributiondenialofservice attack(I)I)0S) 仿真平台，对网络攻防建模与仿真做了大量研究 ，但其只是将 1 引言 攻击设备和防御设备抽象为 Agent，缺乏对个体 Agent的微 复杂网络是一种具有开放性、动态性 、智能性、适应性和 观行为属性等的描述，建模粒度较粗。揣迎才l7深入研究了 非线性等特点的网络 ，属于典型的复杂适应系统 (Complex Agent的自主行为和交互行为形式化建模方法，但是缺乏对 AdaptiveSystem，CAS)。基于 Agent的建模方法为CAS的 防御团队之间的行为关系的宏观描述。 研究提供了有力的手段_1]。复杂网络一旦遭受恶意攻击，将 本文在前