Refine
Year of publication
- 2011 (102) (remove)
Document Type
- Announcement (39)
- Article (18)
- Part of a Book (17)
- Conference Proceeding (15)
- Workingpaper / Report (4)
- Article trade magazine (3)
- Other (2)
- Bachelor Thesis (1)
- Book (1)
- Collection (1)
Is part of the Bibliography
- no (102) (remove)
Keywords
- Amtliche Mitteilungen (39)
- Prüfungsrecht (23)
- Prüfungsordnung (22)
- Bachelor (13)
- Master (13)
- Design (8)
- Fachbereichsordnung (7)
- Sozial- und Kulturwissenschaften (7)
- FHD (6)
- Wirtschaft (6)
Department/institution
- Hochschulverwaltung (39)
- Fachbereich - Medien (23)
- Fachbereich - Architektur (17)
- Fachbereich - Sozial- & Kulturwissenschaften (14)
- Fachbereich - Wirtschaftswissenschaften (12)
- Digitale Vernetzung und Informationssicherheit (10)
- Fachbereich - Maschinenbau und Verfahrenstechnik (10)
- Fachbereich - Design (8)
- Fachbereich - Elektro- & Informationstechnik (6)
- Hochschulbibliothek (3)
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.
Kleehäuser
(2011)