A. K. Dwivedi and S. K. Rath, “Formalization of Web Security Patterns”, INFOCOMP Journal of Computer Science, vol. 14, no. 1, pp. 14–25, Jun. 2015.