Dwivedi, A. K. and Rath, S. K. (2015) “Formalization of Web Security Patterns”, INFOCOMP Journal of Computer Science, 14(1), pp. 14-25. Available at: http://infocomp.dcc.ufla.br/index.php/infocomp/article/view/493 (Accessed: 5August2020).