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