Formal framework for modeling and simulation of DDoS attacks based on teamwork of hackers-agents | IEEE Conference Publication | IEEE Xplore