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