Dwivedi, Ashish Kumar, and Santanu Kumar Rath. “Formalization of Web Security Patterns”. INFOCOMP Journal of Computer Science, vol. 14, no. 1, June 2015, pp. 14-25, http://177.105.60.18/index.php/infocomp/article/view/493.