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