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