Dwivedi, A. K.; Rath, S. K. Formalization of Web Security Patterns. INFOCOMP Journal of Computer Science 2015, 14, 14-25.