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 (Aug. 2020), 521–556. DOI:https://doi.org/10.13052/jwe1540-9589.19347.