TY - CHAP A1 - Schmidt, Holger A1 - Hatebur, Denis A1 - Heisel, Maritta ED - Mouratidis, Haralambos T1 - A Pattern-Based Method to Develop Secure Software T2 - Software Engineering for Secure Systems: Industrial and Research Perspectives N2 - The authors present a security engineering process based on security problem frames and concretized security problem frames. Both kinds of frames constitute patterns for analyzing security problems and associated solution approaches. They are arranged in a pattern system that makes dependencies between them explicit. The authors describe step-by-step how the pattern system can be used to analyze a given security problem and how solution approaches can be found. Afterwards, the security problems and the solution approaches are formally modeled in detail. The formal models serve to prove that the solution approaches are correct solutions to the security problems. Furthermore, the formal models of the solution approaches constitute a formal specification of the software to be developed. Then, the specification is implemented by generic security components and generic security architectures, which constitute architectural patterns. Finally, the generic security components and the generic security architecture that composes them are refined and the result is a secure software product built from existing and/or tailor-made security components. KW - security KW - problems Y1 - 2011 SN - 978-1-61520-837-1 U6 - https://doi.org/10.4018/978-1-61520-837-1.ch003 SP - 32 EP - 74 PB - IGI Global CY - Hershey ER - TY - CHAP A1 - Glowatz, Christoph A1 - Haufs-Brusberg, Peter A1 - Schmidt, Holger ED - Schulz, Thomas T1 - Unternehmensorganisation und Informationssicherheit – Einführung und Grundlagen T2 - Cybersicherheit für vernetzte Anwendungen in der Industrie 4.0 Y1 - 2020 SN - 978-3-8343-3424-4 SP - 315 EP - 334 PB - Vogel Communications Group CY - Würzburg ER - TY - CHAP A1 - Schmidt, Holger A1 - Hatebur, Denis A1 - Heisel, Maritta T1 - Developing Secure Software Using UML Patterns T2 - Intelligent systems: Concepts, methodologies, tools, and applications Y1 - 2018 SN - 9781522556435 U6 - https://doi.org/10.4018/978-1-5225-5643-5.ch022 SP - 551 EP - 592 PB - IGI Global CY - Hershey, Pennsylvania ER - TY - CHAP A1 - Glowatz, Christoph A1 - Haufs-Brusberg, Peter A1 - Schmidt, Holger ED - Schulz, Thomas T1 - Unternehmensorganisation und Informationssicherheit: Einführung und Grundlagen (Kap. F1) T2 - Cybersicherheit für vernetzte Anwendungen in der Industrie 4.0 Y1 - 2019 SN - 978-3834334244 SP - 315 EP - 334 PB - Vogel Communications Group CY - Würzburg ER -