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