Filtern
Erscheinungsjahr
- 2011 (1)
Dokumenttyp
Sprache
- Englisch (1)
Volltext vorhanden
- nein (1)
Gehört zur Bibliografie
- nein (1)
Schlagworte
- UMLseCH (1) (entfernen)
Fachbereich/Einrichtung
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.