Peng T, Wang S, Geng J, Wang Q, Yang Y, Zhang K. Verification of the Instantiation and Integration of Security Patterns. JWE [Internet]. 2020 Aug. 20 [cited 2024 Apr. 29];19(3-4):521-56. Available from: https://journals.riverpublishers.com/index.php/JWE/article/view/3219