The search result changed since you submitted your search request. Documents might be displayed in a different sort order.
  • search hit 10 of 146
Back to Result List

Modelling Secure Systems Evolution: Abstract and Concrete Change Specifications

  • 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.

Export metadata

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author:Jan Jürjens, Martín Ochoa, Holger Schmidt, Loïc Marchal, Siv Hilde Houmb, Shareeful Islam
Fachbereich/Einrichtung:Hochschule Düsseldorf / Fachbereich - Medien
Hochschule Düsseldorf / Fachbereich - Medien / Digitale Vernetzung und Informationssicherheit​
Document Type:Conference Proceeding
Year of Completion:2011
Language of Publication:English
Publisher:Springer
Place of publication:Berlin, Heidelberg
Parent Title (English):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
Editor:Marco Bernardo, Valérie Issarny
Volume:LNCS, 6659
First Page:504
Last Page:526
Related URL:https://link.springer.com/chapter/10.1007/978-3-642-21455-4_15
DOI:https://doi.org/10.1007/978-3-642-21455-4_15
ISBN:978-3-642-21455-4
Tag:UMLseCH; UMLsec; security; software evolution
Dewey Decimal Classification:0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 000 Informatik, Informationswissenschaft, allgemeine Werke
Licence (German):keine Lizenz - nur Metadaten
Release Date:2018/10/11
Accept ✔
Diese Webseite verwendet technisch erforderliche Session-Cookies. Durch die weitere Nutzung der Webseite stimmen Sie diesem zu. Unsere Datenschutzerklärung finden Sie hier.