RUI JIANG; BHARAT BHARGAVA. Formal Theory for Security Protocol Analysis of Distributed Denial of Service. ijngc 2014, 5, 233-248.