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)