RUI JIANG, & BHARAT BHARGAVA. (2014). Formal Theory for Security Protocol Analysis of Distributed Denial of Service. International Journal of Next-Generation Computing, 5(3), 233–248. https://doi.org/10.47164/ijngc.v5i3.72