Peng, Tu, Shuliang Wang, Jing Geng, Qinsi Wang, Yun Yang, and Kang Zhang. “Verification of the Instantiation and Integration of Security Patterns”. Journal of Web Engineering 19, no. 3-4 (August 20, 2020): 521–556. Accessed April 22, 2026. https://journals.riverpublishers.com/index.php/JWE/article/view/3219.