Peng, Tu, Shuliang Wang, Jing Geng, Qinsi Wang, Yun Yang, and Kang Zhang. 2020. “Verification of the Instantiation and Integration of Security Patterns”. Journal of Web Engineering 19 (3-4):521-56. https://doi.org/10.13052/jwe1540-9589.19347.