Refine
Year of publication
- 2011 (4)
Document Type
- Conference Proceeding (4) (remove)
Language
- English (4)
Has Fulltext
- no (4)
Is part of the Bibliography
- no (4)
Keywords
- security requirement (3)
- UMLseCH (1)
- UMLsec (1)
- architectual pattern (1)
- class diagram (1)
- eclipse modeling framework (1)
- evolution path (1)
- model element (1)
- patient monitoring system (1)
- secquence diagram (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.