Dwivedi, Ashish Kumar, and Santanu Kumar Rath. 2015. “Formalization of Web Security Patterns”. INFOCOMP Journal of Computer Science 14 (1):14-25. http://infocomp.dcc.ufla.br/index.php/infocomp/article/view/493.