Dwivedi, A. K., & Rath, S. K. (2015). Formalization of Web Security Patterns. INFOCOMP Journal of Computer Science, 14(1), 14–25. Retrieved from https://infocomp.dcc.ufla.br/index.php/infocomp/article/view/493