Dwivedi AK, Rath SK. Formalization of Web Security Patterns. INFOCOMP Journal of Computer Science [Internet]. 2015 Jun. 1 [cited 2024 Apr. 18];14(1):14-25. Available from: https://infocomp.dcc.ufla.br/index.php/infocomp/article/view/493