RUI JIANG, BHARAT BHARGAVA. Formal Theory for Security Protocol Analysis of Distributed Denial of Service. ijngc [Internet]. 2014 Nov. 1 [cited 2024 May 18];5(3):233-48. Available from: http://ijngc.perpetualinnovation.net/index.php/ijngc/article/view/72