Dwivedi, A.K. and Rath, S.K. 2015. Formalization of Web Security Patterns. INFOCOMP Journal of Computer Science. 14, 1 (Jun. 2015), 14–25.