RUI JIANG; BHARAT BHARGAVA. Formal Theory for Security Protocol Analysis of Distributed Denial of Service. International Journal of Next-Generation Computing, [S. l.], v. 5, n. 3, p. 233–248, 2014. DOI: 10.47164/ijngc.v5i3.72. Disponível em: http://ijngc.perpetualinnovation.net/index.php/ijngc/article/view/72. Acesso em: 18 may. 2024.