RUI JIANG and BHARAT BHARGAVA, “Formal Theory for Security Protocol Analysis of Distributed Denial of Service”, ijngc, vol. 5, no. 3, pp. 233–248, Nov. 2014.