A Methodology for Modeling and Analysis of Secure Systems Using Security Patterns and Mitigation Use Cases | IEEE Conference Publication | IEEE Xplore