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), pp. 233–248. doi: 10.47164/ijngc.v5i3.72.