Dwivedi, A. K., and S. K. Rath. “Formalization of Web Security Patterns”. INFOCOMP Journal of Computer Science, vol. 14, no. 1, June 2015, pp. 14-25, http://infocomp.dcc.ufla.br/index.php/infocomp/article/view/493.