Hamid, Brahim and Gürgens, Sigrid and Fuchs, Andreas Security Patterns Modeling and Formalization for Pattern-based Development of Secure Software Systems. (2016) Innovations in Systems and Software Engineering, 12 (2). 109-140. ISSN 1614-5046