Peng, T., Wang, S., Geng, J., Wang, Q., Yang, Y. and Zhang, K. (2020) “Verification of the Instantiation and Integration of Security Patterns”, Journal of Web Engineering, 19(3-4), pp. 521–556. doi: 10.13052/jwe1540-9589.19347.