TY - CHAP A1 - Schwittek, Widura A1 - Schmidt, Holger A1 - Eicker, Stefan A1 - Heisel, Maritta ED - Filipe, Joaquim ED - Liu, Kecheng T1 - Towards a Common Body of Knowledge for Engineering Secure Software and Services T2 - Proceedings of the International Conference on Knowledge Management and Information Sharing N2 - Interdisciplinary communities involve people and knowledge from different disciplines in addressing a common challenge. Differing perspectives, processes, methods, tools, vocabularies, and standards are problems that arise in this context. We present an approach to support bringing together disciplines based on a common body of knowledge (CBK), in which knowledge from different disciplines is collected, integrated, and structured. The novelty of our approach is twofold: first, it introduces a CBK ontology, which allows one to semantically enrich contents in order to be able to query the CBK in a more elaborate way afterwards. Second, it heavily relies on user participation in building up a CBK, making use of the Semantic MediaWiki as a platform to support collaborative writing. The CBK ontology is backed by a conceptual framework, consisting of concepts to structure the knowledge, to provide access options to it, and to build up a common terminology. To ensure a high quality of the provided contents and to sustain the community’s commitment, we further present organizational means as part of our approach. We demonstrate our work using the example of a Network of Excellence EU project, which aims at bringing together researchers and practitioners from services computing, security and software engineering. KW - common body of knowledge KW - knowledge management KW - software engineering KW - security engineering KW - services computing Y1 - 2011 SP - 369 EP - 374 PB - SciTePress - Science and Technology Publications CY - Paris ER - TY - CHAP A1 - Côté, Isabelle A1 - Heisel, Maritta A1 - Schmidt, Holger A1 - Hatebur, Denis T1 - UML4PF — A tool for problem-oriented requirements analysis T2 - 2011 IEEE 19th International Requirements Engineering Conference N2 - We present UML4PF, a tool for requirements analysis based on problem frames. It consists of a UML profile and an Eclipse-Plugin to model and analyze problem diagrams, derive specifications, and develop architectures. KW - Unified modeling language KW - problem frames KW - tool support KW - programming KW - generators Y1 - 2011 UR - https://ieeexplore.ieee.org/document/6051670 SN - 978-1-4577-0924-1 U6 - https://doi.org/10.1109/RE.2011.6051670 N1 - Sie haben Zugriff auf den Volltext innerhalb des HSD Campus. SP - 349 EP - 350 PB - IEEE CY - Trento ER - TY - CHAP A1 - Beckers, Kristian A1 - Schmidt, Holger A1 - Küster, Jan-Christoph A1 - Faßbender, Stephan T1 - Pattern-Based Support for Context Establishment and Asset Identification of the ISO 27000 in the Field of Cloud Computing T2 - 2011 Sixth International Conference on Availability, Reliability and Security N2 - The ISO 27000 is a well-established series of information security standards. The scope for applying these standards can be an organisation as a whole, single business processes or even an IT application or IT infrastructure. The context establishment and the asset identification are among the first steps to be performed. The quality of the results produced when performing these steps has a crucial influence on the subsequent steps such as identifying loss, vulnerabilities, possible attacks and defining countermeasures. Thus, a context analysis to gather all necessary information in the initial steps is important, but is not offered in the standard. In this paper, we focus on the scope of cloud computing systems and present a way to support the context establishment and the asset identification described in ISO 27005. A cloud system analysis pattern and different kinds of stakeholder templates serve to understand and describe a given cloud development problem, i.e. the envisaged IT systems and the relevant parts of the operational environment. We illustrate our support using an online banking cloud scenario. KW - security standards KW - IT infrastructure KW - ISO27005 KW - Cloud computing KW - risk management Y1 - 2011 UR - https://ieeexplore.ieee.org/document/6045958 SN - 978-1-4577-0979-1 U6 - https://doi.org/10.1109/ARES.2011.55 N1 - Sie haben Zugriff auf den Volltext innerhalb des HSD Campus. SP - 327 EP - 333 PB - IEEE CY - Vienna ER - TY - CHAP A1 - Schmidt, Holger A1 - Jürjens, Jan ED - Mouratidis, Haralambos ED - Rolland, Colette T1 - Connecting Security Requirements Analysis and Secure Design Using Patterns and UMLsec T2 - Advanced Information Systems Engineering: 23rd International Conference, CAiSE 2011, London, UK, June 20-24, 2011. Proceedings KW - security requirement KW - secure design KW - architectual pattern Y1 - 2011 UR - https://link.springer.com/chapter/10.1007/978-3-642-21640-4_28 SN - 978-3-642-21639-8 U6 - https://doi.org/10.1007/978-3-642-21640-4_28 VL - LNCS, 6741 SP - 367 EP - 382 PB - Springer CY - Berlin, Heidelberg ER - TY - CHAP A1 - Jürjens, Jan A1 - Marchal, Loïc A1 - Ochoa, Martín A1 - Schmidt, Holger ED - France, Robert B. ED - Kuester, Jochen M. ED - Bordbar, Behzad ED - Paige, Richard F. T1 - Incremental Security Verification for Evolving UMLsec models T2 - Modelling Foundations and Applications: 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings KW - model element KW - security requirement KW - class diagram KW - evolution path KW - security property Y1 - 2011 UR - https://link.springer.com/chapter/10.1007/978-3-642-21470-7_5 SN - 978-3-642-21469-1 U6 - https://doi.org/10.1007/978-3-642-21470-7_5 VL - LNCS, 6698 SP - 52 EP - 68 PB - Springer CY - Berlin, Heidelberg ER - TY - CHAP A1 - Hatebur, Denis A1 - Heisel, Maritta A1 - Jürjens, Jan A1 - Schmidt, Holger ED - Giannakopoulou, Dimitra ED - Orejas, Fernando T1 - Systematic Development of UMLsec Design Models Based on Security Requirements T2 - Fundamental Approaches to Software Engineering: 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings KW - security requirement KW - secquence diagram KW - eclipse modeling framework KW - patient monitoring system KW - security requirement engineering Y1 - 2011 UR - https://link.springer.com/chapter/10.1007/978-3-642-19811-3_17 SN - 978-3-642-19810-6 U6 - https://doi.org/10.1007/978-3-642-19811-3_17 VL - LNCS, 6603 SP - 232 EP - 246 PB - Springer CY - Berlin, Heidelberg ER - TY - CHAP A1 - Heyman, Thomas A1 - Yskout, Koen A1 - Scandariato, Riccardo A1 - Schmidt, Holger A1 - Yu, Yijun ED - Erlingsson, Úlfar ED - Wieringa, Roel ED - Zannone, Nicola T1 - The Security Twin Peaks T2 - Engineering Secure Software and Systems: Third International Symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011. Proceedings KW - security KW - software architecture KW - requirements KW - patterns Y1 - 2011 UR - https://link.springer.com/book/10.1007/978-3-642-19125-1 SN - 978-3-642-19124-4 U6 - https://doi.org/10.1007/978-3-642-19125-1_13 VL - LNCS IS - 6542 SP - 167 EP - 180 PB - Springer CY - Berlin, Heidelberg ER - TY - RPRT A1 - Schmidt, Holger A1 - Jürjens, Jan T1 - UMLsec4UML2 - Adopting UMLsec to Support UML2 T2 - LS 14 Software Engineering mit dem Schwerpunkt Entwicklung evolutionsfähiger Software und Systeme N2 - In this paper, we present an approach to adopt UMLsec, which is defined for UML 1.5, to support the current UML version 2.3. The new profile UMLsec4UML2 is technically constructed as a UML profile diagram, which is equipped with a number of integrity conditions expressed using OCL. Consequently, the UMLsec4UML2-profile can be loaded in any Eclipse-based EMF- and MDT-compatible UML editing tool to develop and analyze different kinds of security models. The OCL constraints replace the static checks of the tool support for the old UMLsec defined for UML 1.5. Thus, the UMLsec4UML2-profile not only provides the whole expresiveness of UML2.3 for security modeling, it also brings considerably more freedom in selecting a basic UML editing tool, and it integrates modeling and analyzing security models. Since UML2.3 comprises new diagram types, as well as new model elements and new semantics of diagram types already contained in UML1.5, we consider a number of these changes in detail. More specifically, we consider composite structure and sequence diagrams with respect to modeling security properties according to the original version of UMLsec. The goal is to use UMLsec4UML2 to specify architectural security patterns. KW - UMLsec KW - UML2 KW - OCL KW - security architecture KW - security pattern Y1 - 2011 UR - https://eldorado.tu-dortmund.de/handle/2003/27602?locale=de U6 - https://doi.org/10.17877/DE290R-990 N1 - Der Bericht kann über die angebenen URL aufgerufen werden. PB - Technische Hochschule Dortmund CY - Dortmund ER - TY - JOUR A1 - Schmidt, Holger T1 - Threat and Risk-Driven Security Requirements Engineering JF - International Journal of Mobile Computing and Multimedia Communications N2 - In this paper, the author aim to present a threat and risk-driven methodology to security requirements engineering. The chosen approach has a strong focus on gathering, modeling, and analyzing the environment in which a secure ICT-system to be built is located. The knowledge about the environment comprises threat and risk models. As presented in the paper, this security-relevant knowledge is used to assess the adequacy of security mechanisms, which are then selected to establish security requirements. KW - security KW - security engineering Y1 - 2011 U6 - https://doi.org/10.4018/jmcmc.2011010103 SN - 1937-9412 VL - 3 IS - 1 SP - 35 EP - 50 PB - IGI Global ER - TY - CHAP A1 - Jürjens, Jan A1 - Ochoa, Martín A1 - Schmidt, Holger A1 - Marchal, Loïc A1 - Houmb, Siv Hilde A1 - Islam, Shareeful ED - Bernardo, Marco ED - Issarny, Valérie T1 - Modelling Secure Systems Evolution: Abstract and Concrete Change Specifications T2 - Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures N2 - Developing security-critical systems is difficult, and there are many well-known examples of vulnerabilities exploited in practice. In fact, there has recently been a lot of work on methods, techniques, and tools to improve this situation already at the system specification and design. However, security-critical systems are increasingly long-living and undergo evolution throughout their lifetime. Therefore, a secure software development approach that supports maintaining the needed levels of security even through later software evolution is highly desirable. In this chapter, we recall the UMLsec approach to model-based security and discuss on tools and techniques to model and verify evolution of UMLsec models. KW - software evolution KW - UMLsec KW - UMLseCH KW - security Y1 - 2011 UR - https://link.springer.com/chapter/10.1007/978-3-642-21455-4_15 SN - 978-3-642-21455-4 U6 - https://doi.org/10.1007/978-3-642-21455-4_15 VL - LNCS, 6659 SP - 504 EP - 526 PB - Springer CY - Berlin, Heidelberg ER - 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 - GEN T1 - 282 - Fachbereichsordnung für den Fachbereich Medien der Fachhochschule Düsseldorf vom 28.11.2011 N2 - Aufgrund des § 26 Abs. 3 Satz 2 des Gesetzes über die Hochschulen des Landes Nordrhein-Westfalen (Hochschulgesetz-HG) in der Fassung vom 01.01.2007, der Grundordnung der Fachhochschule Düsseldorf vom 12.07.2010 geändert durch Satzung vom 26.10.2011 hat der Fachbereichsrat des Fachbereichs Medien der Fachhochschule Düsseldorf folgende Fachbereichsordnung erlassen: T3 - Amtliche Mitteilungen : Verkündungsblatt der Hochschule Düsseldorf - 282 KW - Fachbereichsordnung KW - Amtliche Mitteilungen KW - M KW - Medien Y1 - 2011 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:hbz:due62-opus-7077 CY - Düsseldorf ER - TY - GEN T1 - 283 - Fachbereichsordnung für den Fachbereich Elektrotechnik der Fachhochschule Düsseldorf vom 01.12.2011 N2 - Aufgrund § 26 Abs. 3 des Gesetzes über die Hochschulen des Landes Nordrhein-Westfalen (Hochschulgesetz – HG) in der Fassung des Hochschulfreiheitsgesetzes vom 01. Januar 2007 (Hochschulfreiheitsgesetz - HFG) und der Grundordnung der Fachhochschule Düsseldorf (GO) vom 12.07.2010 geändert durch Satzung vom 26.10.2011 hat der Fachbereich Elektrotechnik die folgende Fachbereichsordnung erlassen: T3 - Amtliche Mitteilungen : Verkündungsblatt der Hochschule Düsseldorf - 283 KW - Fachbereichsordnung KW - Elektrotechnik KW - Verkündungsblatt KW - Amtliche Mitteilungen Y1 - 2011 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:hbz:due62-opus-7061 CY - Düsseldorf ER - TY - GEN T1 - 284 - Fachbereichsordnung für den Fachbereich Architektur der Peter Behrens School of Architecture der Fachhochschule Düsseldorf vom 01.12.2011 N2 - Aufgrund des § 26 Abs. 3 des Gesetzes über die Hochschulen des Landes Nordrhein-Westfalen (Hochschulgesetz -HG) in der Fassung des Hochschulfreiheitsgesetzes vom 01. Januar 2007 (Hochschulfreiheitsgesetz -HFG) und der Grundordnung der Fachhochschule Düsseldorf vom 12.07.2010 (Grundordnung -GO) geändert durch Satzung vom 26.10.2011 hat der Fachbereichsrat des Fachbereichs Architektur folgende Fachbereichsordnung erlassen: T3 - Amtliche Mitteilungen : Verkündungsblatt der Hochschule Düsseldorf - 284 KW - Fachbereichsordnung KW - Architektur KW - Amtliche Mitteilungen Y1 - 2011 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:hbz:due62-opus-7055 CY - Düsseldorf ER - TY - GEN T1 - 281 - Evaluationsordnung für den Fachbereich Design der Fachhochschule Düsseldorf; vom 17.11.2011 N2 - Aufgrund des § 7 Abs. 2 des Gesetzes über die Hochschulen im Lande Nordrhein-Westfalen (Hochschulgesetz - HG) in der Fassung vom 1. Januar 2007 (GV.NRW S 474) hat der Fachbereich Design der Fachhochschule Düsseldorf die folgende Evaluationsordnung erlassen: T3 - Amtliche Mitteilungen : Verkündungsblatt der Hochschule Düsseldorf - 281 KW - Design KW - Evaluationsordnung KW - D KW - Amtliche Mitteilungen Y1 - 2011 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:hbz:due62-opus-7040 CY - Düsseldorf ER - TY - GEN T1 - 280 - Erste Satzung zur Änderung der Fachbereichsordnung des Fachbereichs Design vom 14.11.2011 N2 - Aufgrund des § 26 Absatz 3 des Gesetzes über die Hochschulen des Landes Nordrhein-Westfalen (Hochschulgesetz HG) in der Fassung vom 01.01.2007 (GV. NRW. S. 474) in Verbindung mit der Grundordnung der Fachhochschule Düsseldorf in der jeweils gültigen Fassung hat der Fachbereich Design die folgende Fachbereichsordnung erlassen: T3 - Amtliche Mitteilungen : Verkündungsblatt der Hochschule Düsseldorf - 280 KW - Fachbereichsordnung KW - Änderung KW - Design KW - Amtliche Mitteilungen KW - D Y1 - 2011 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:hbz:due62-opus-7032 CY - Düsseldorf ER - TY - GEN T1 - 279 - Erste Satzung zur Änderung der Fachbereichsordnung des Fachbereichs Maschinenbau und Verfahrenstechnik vom 11.11.2011 N2 - Aufgrund des § 26 Absatz 3 des Gesetzes über die Hochschulen des Landes Nordrhein-Westfalen (Hochschulgesetz HG) vom 01.01.2007 (GV. NRW. S.474) in Verbindung mit der Grundordnung der Fachhochschule Düsseldorf in der jeweils gültigen Fassung hat der Fachbereich Maschinenbau und Verfahrenstechnik die folgende Fachbereichsordnung erlassen: T3 - Amtliche Mitteilungen : Verkündungsblatt der Hochschule Düsseldorf - 279 KW - Fachbereichsordnung KW - Maschinenbau KW - Verfahrenstechnik KW - Änderung KW - Amtliche Mitteilungen Y1 - 2011 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:hbz:due62-opus-7011 CY - Düsseldorf ER - TY - GEN T1 - 278 - Fachbereichsordnung für den Fachbereich Sozial- und Kulturwissenschaften der Fachhochschule Düsseldorf vom 10.11.2011 N2 - Aufgrund von § 26 Abs. 3, Satz 2 des Gesetzes über die Hochschulen des Landes Nordrhein-Westfalen (Hochschulgesetz - HG) in der Fassung vom 01.01.2007 (GV. NRW. S. 474), der Grundordnung der Fachhochschule Düsseldorf (GO) vom 12.07.2010 geändert durch Satzung vom 26.10.2011 sowie der Wahlordnung der Fachhochschule Düsseldorf (WO) vom 12.10.2007 hat der Fachbereich Sozial- und Kulturwissenschaften am 19.10.2011 die folgende Fachbereichsordnung erlassen: T3 - Amtliche Mitteilungen : Verkündungsblatt der Hochschule Düsseldorf - 278 KW - Sozial- und Kulturwissenschaften KW - Fachbereichsordnung KW - Amtliche Mitteilungen Y1 - 2011 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:hbz:due62-opus-6995 CY - Düsseldorf ER - TY - GEN T1 - 277 - Fachbereichsordnung für den Fachbereich Wirtschaft der Fachhochschule Düsseldorf vom 03.11.2011 N2 - Aufgrund des § 26 Abs.3 des Gesetzes über die Hochschulen des Landes Nordrhein-Westfalen (Hochschulgesetz-HG) in der Fassung des Hochschulfreiheitsgesetzes vom 1. Januar 2007 in Verbindung mit der Grundordnung der Fachhochschule Düsseldorf vom 12.07.2010 geändert durch Satzung vom 26.10.2011 hat der Fachbereichsrat des Fachbereichs Wirtschaft der Fachhochschule Düsseldorf folgende Fachbereichsordnung erlassen: T3 - Amtliche Mitteilungen : Verkündungsblatt der Hochschule Düsseldorf - 277 KW - Wirtschaft KW - Fachbereichsordnung KW - Amtliche Mitteilungen Y1 - 2011 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:hbz:due62-opus-6983 CY - Düsseldorf ER - TY - GEN T1 - 276 - Ordnung über die Verleihung der Würde einer Ehrensenatorin und eines Ehrensenators der Fachhochschule Düsseldorf vom 26.10.2011 N2 - Aufgrund des § 2 Absatz 4 Satz 1 des Gesetzes über die Hochschulen des Landes Nordrhein-Westfalen (Hochschulgesetz HG) vom 31.Oktober 2006 (GV.NRW.S.474) hat die Fachhochschule Düsseldorf folgende Ordnung erlassen: T3 - Amtliche Mitteilungen : Verkündungsblatt der Hochschule Düsseldorf - 276 KW - Ordnung KW - Verleihung KW - Ehrensenatorin KW - Ehrensenator KW - Amtliche Mitteilungen Y1 - 2011 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:hbz:due62-opus-6978 CY - Düsseldorf ER -