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