DWIVEDI, A. K.; RATH, S. K. Formalization of Web Security Patterns. INFOCOMP Journal of Computer Science, v. 14, n. 1, p. 14-25, 1 Jun. 2015.