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 (Nov. 2014), 233–248. DOI:https://doi.org/10.47164/ijngc.v5i3.72.