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