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

Incremental Security Verification for Evolving UMLsec models

Export metadata

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author:Jan Jürjens, Loïc Marchal, Martín Ochoa, Holger Schmidt
Fachbereich/Einrichtung:Hochschule Düsseldorf / Fachbereich - Medien
Document Type:Conference Proceeding
Year of Completion:2011
Language of Publication:English
Publisher:Springer
Place of publication:Berlin, Heidelberg
Parent Title (English):Modelling Foundations and Applications: 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings
Editor:Robert B. France, Jochen M. Kuester, Behzad Bordbar, Richard F. Paige
Volume:LNCS, 6698
First Page:52
Last Page:68
Related URL:https://link.springer.com/chapter/10.1007/978-3-642-21470-7_5
DOI:https://doi.org/10.1007/978-3-642-21470-7_5
ISBN:978-3-642-21469-1
Tag:class diagram; evolution path; model element; security property; security requirement
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.