MetadatenAuthor: | 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 |
---|