关键词: 复杂网络安全,建模与仿真,智能体形式化建模,分布式拒绝服务攻击

Abstract: For the low fidelity and non-normative description of formal modeling of network attack and defense,a micro-macro combining formal modeling method with good scalability was proposed based on multi-Agent,which describes the static properties and dynamic behavior of individual agent from the microcosmic and describes the methods of role allocation and contacts between each agent from the macroscopic.Then,taking the DDoS attack and defense as example,we gave specific implementation process of the above method.Finally,a simulation of DDoS attack and defense was implemented to verify the model.

Key words: Complex network security,Modeling and simulation,Agent formal modeling,Distribution denial of service attack(DDoS)