RUI JIANG, and BHARAT BHARGAVA. “Formal Theory for Security Protocol Analysis of Distributed Denial of Service”. International Journal of Next-Generation Computing 5, no. 3 (November 1, 2014): 233–248. Accessed May 18, 2024. http://ijngc.perpetualinnovation.net/index.php/ijngc/article/view/72.