Refine
Year of publication
- 2011 (2)
Document Type
Language
- English (2)
Has Fulltext
- no (2) (remove)
Is part of the Bibliography
- no (2)
Keywords
- UMLseCH (1)
- UMLsec (1)
- class diagram (1)
- evolution path (1)
- model element (1)
- security (1)
- security property (1)
- security requirement (1)
- software evolution (1)
Department/institution
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.