DWIVEDI, Ashish Kumar; RATH, Santanu Kumar. Formalization of Web Security Patterns. INFOCOMP Journal of Computer Science, [S. l.], v. 14, n. 1, p. 14–25, 2015. Disponível em: http://177.105.60.18/index.php/infocomp/article/view/493. Acesso em: 6 jan. 2025.