{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T22:31:16Z","timestamp":1743028276178,"version":"3.40.3"},"publisher-location":"Cham","reference-count":38,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319955964"},{"type":"electronic","value":"9783319955971"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-319-95597-1_6","type":"book-chapter","created":{"date-parts":[[2019,1,25]],"date-time":"2019-01-25T08:12:59Z","timestamp":1548403979000},"page":"123-147","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["A Model-Driven and Generative Approach to Holistic Security"],"prefix":"10.1007","author":[{"given":"Frederik","family":"Gossen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tiziana","family":"Margaria","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Johannes","family":"Neubauer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernhard","family":"Steffen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,1,26]]},"reference":[{"key":"6_CR1","first-page":"609","volume-title":"ECOOP Proceedings, ECOOP\u201902","author":"D Ancona","year":"2002","unstructured":"Ancona D, Lagorio G, Zucca E (2002) A formal framework for java separate compilation. In: ECOOP Proceedings, ECOOP\u201902. Springer, London, pp 609\u2013636"},{"key":"6_CR2","first-page":"311","volume-title":"Cyber resilience \u2013 Fundamentals for a definition","author":"F Bj\u00f6rck","year":"2015","unstructured":"Bj\u00f6rck F, Henkel M, Stirna J, Zdravkovic J (2015) Cyber resilience \u2013 Fundamentals for a definition. Springer, Cham, pp 311\u2013316"},{"key":"6_CR3","doi-asserted-by":"publisher","first-page":"809","DOI":"10.1007\/978-3-319-47169-3_60","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications","author":"Steve Bo\u00dfelmann","year":"2016","unstructured":"Bo\u00dfelmann S, Frohme M, Kopetzki D, Lybecait M, Naujokat S, Neubauer J, Wirkner D, Zweihoff P, Steffen B (2016) Dime: a programming-less modeling environment for web applications. In: Proceedings of the ISoLA\u201916 Proceedings. LNCS, vol 9953. Springer, Cham, pp 809\u2013832"},{"key":"6_CR4","first-page":"1","volume-title":"Proceedings of the 2017 12th International Conference on Design Technology of Integrated Systems In Nanoscale Era (DTIS)","author":"S Bo\u00dfelmann","year":"2017","unstructured":"Bo\u00dfelmann S, K\u00fchn D, Margaria T (2017) A fully model-based approach to the design of the secube\u2122 community web app. In: Proceedings of the 2017 12th International Conference on Design Technology of Integrated Systems In Nanoscale Era (DTIS). IEEE, Piscataway, pp 1\u20137"},{"key":"6_CR5","unstructured":"Bo\u00dfelmann S, Neubauer J, Naujokat S, Steffen B (2016) Model-driven design of secure high assurance systems: an introduction to the open platform from the user perspective. In: Margaria T, Solo MGA (eds) SAM\u201916. Special track \u201cEnd-to-end Security and Cybersecurity: from the Hardware to Application\u201d. CSREA Press, USA, pp 145\u2013151"},{"key":"6_CR6","first-page":"227","volume-title":"FOSE Proceedings, ICSE\u201900","author":"PT Devanbu","year":"2000","unstructured":"Devanbu PT, Stubblebine S (2000) Software engineering for security: a roadmap. In: FOSE Proceedings, ICSE\u201900. ACM, New York, pp 227\u2013239"},{"key":"6_CR7","unstructured":"Dropbox. \n                    https:\/\/www.dropbox.com\n                    \n                  . Accessed 18 Nov 2017"},{"key":"6_CR8","unstructured":"Dropbox hack leads to leaking of 68m user passwords on the internet. \n                    https:\/\/www.theguardian.com\/technology\/2016\/aug\/31\/dropbox-hack-passwords-68m-data-breach\n                    \n                  . Accessed 18 Nov 2017"},{"key":"6_CR9","first-page":"314","volume-title":"IEEE 35th COMPSAC","author":"Elahi G, Yu E, Li T, Liu L (2011) Security requirements engineering in the wild: a survey of common practices. In: Proceedings of the","year":"2011","unstructured":"Elahi G, Yu E, Li T, Liu L (2011) Security requirements engineering in the wild: a survey of common practices. In: Proceedings of the 2011 IEEE 35th COMPSAC. IEEE, Piscataway, pp 314\u2013319"},{"key":"6_CR10","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/BFb0059695","volume-title":"Proceedings of the Symposium on Semantics of Algorithmic Languages","author":"E Engeler","year":"1971","unstructured":"Engeler E (1971) Structure and meaning of elementary programs. In: Proceedings of the Symposium on Semantics of Algorithmic Languages. Springer, Berlin, pp 89\u2013101"},{"key":"6_CR11","unstructured":"Farulla GA, Indaco M, Legay A, Margaria T (2016) Model driven design of secure properties for vision-based applications: a case study. In: Proceedings of the International Conference on Security and Management (SAM). World Congress in Computer Science Computer Engineering and Applied Computing (WorldComp). CSREA Press, USA, pp 1\u20136"},{"key":"6_CR12","first-page":"1","volume-title":"Proceedings of the 2017 12th International Conference on Design Technology of Integrated Systems in Nanoscale Era (DTIS)","author":"GA Farulla","year":"2017","unstructured":"Farulla GA, Lamprecht AL (2017) Model checking of security properties: a case study on human-robot interaction processes. In: Proceedings of the 2017 12th International Conference on Design Technology of Integrated Systems in Nanoscale Era (DTIS). IEEE, Piscataway, pp 1\u20136"},{"key":"6_CR13","first-page":"1","volume-title":"Proceedings of the 2017 12th International Conference on Design Technology of Integrated Systems in Nanoscale Era (DTIS)","author":"GA Farulla","year":"2017","unstructured":"Farulla GA, Prinetto P, Varriale A (2017) Holistic security via complex HW\/SW platforms. In: Proceedings of the 2017 12th International Conference on Design Technology of Integrated Systems in Nanoscale Era (DTIS). IEEE, Piscataway, pp 1\u20136"},{"key":"6_CR14","unstructured":"Google Drive. \n                    https:\/\/www.google.com\/drive\n                    \n                  . Accessed 18 Nov 2017"},{"key":"6_CR15","first-page":"1","volume-title":"Proceedings of the 2017 12th International Conference on Design Technology of Integrated Systems in Nanoscale Era (DTIS)","author":"F Gossen","year":"2017","unstructured":"Gossen F, Neubauer J, Steffen B (2017) Securing C\/C++ applications with a secube\u2122-based model-driven approach. In: Proceedings of the 2017 12th International Conference on Design Technology of Integrated Systems in Nanoscale Era (DTIS). IEEE, Piscataway, pp 1\u20137"},{"key":"6_CR16","doi-asserted-by":"publisher","first-page":"205","DOI":"10.15514\/ISPRAS-2016-28(2)-14","volume":"28","author":"F Gossen","year":"2016","unstructured":"Gossen F, Tiziana M, G\u00f6ke T (2016) Modelling the people recognition pipeline in access control systems. Proc Inst Syst Program RAS 28:205\u2013220","journal-title":"Proc Inst Syst Program RAS"},{"issue":"1","key":"6_CR17","first-page":"65","volume":"8","author":"B Jonsson","year":"2001","unstructured":"Jonsson B, Margaria T, Naeser G, Nystr\u00f6m J, Steffen B (2001) Incremental requirement specification for evolving systems. Nordic J Comput, 8(1):65\u201387","journal-title":"Nordic J Comput"},{"key":"6_CR18","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1109\/EASE.2007.17","volume-title":"Fourth IEEE International Workshop on Engineering of Autonomic and Autonomous Systems, EASe\u201907","author":"S Jorges","year":"2007","unstructured":"Jorges S, Kubczak C, Pageau F, Margaria T (2007) Model driven design of reliable robot control programs using the jABC. In: Fourth IEEE International Workshop on Engineering of Autonomic and Autonomous Systems, EASe\u201907. IEEE, Piscataway, pp 137\u2013148"},{"issue":"5","key":"6_CR19","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1007\/s10009-012-0254-x","volume":"14","author":"S J\u00f6rges","year":"2012","unstructured":"J\u00f6rges S, Lamprecht AL, Margaria T, Schaefer I, Steffen B (2012) A constraint-based variability modeling framework. Int J Softw Tools Technol Transfer, Springer, Berlin, Heidelberg, 14(5):511\u2013530","journal-title":"Int J Softw Tools Technol Transfer, Springer, Berlin, Heidelberg"},{"issue":"4","key":"6_CR20","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1007\/s11334-008-0071-2","volume":"4","author":"S J\u00f6rges","year":"2008","unstructured":"J\u00f6rges S, Margaria T, Steffen B (2008) Genesys: service-oriented construction of property conform code generators. Innov Syst Softw Eng 4(4):361\u2013384","journal-title":"Innov Syst Softw Eng"},{"key":"6_CR21","series-title":"LNCS","first-page":"220","volume-title":"ECOOP\u201997","author":"G Kiczales","year":"1997","unstructured":"Kiczales G, Lamping J, Mendhekar A, Maeda C, Lopes C, Loingtier JM, Irwin J (1997) Aspect-oriented programming. In: Ak\u015fit M, Matsuoka S (eds) ECOOP\u201997. LNCS, vol 1241. Springer, Berlin, pp 220\u2013242"},{"key":"6_CR22","first-page":"262","volume-title":"Proceedings of the 2010 Seventh International Conference on the Quality of Information and Communications Technology","author":"AL Lamprecht","year":"2010","unstructured":"Lamprecht AL, Naujokat S, Margaria T, Steffen B (2010) Synthesis-based loose programming. In: Proceedings of the 2010 Seventh International Conference on the Quality of Information and Communications Technology. IEEE, Piscataway, pp 262\u2013267"},{"issue":"6","key":"6_CR23","doi-asserted-by":"publisher","first-page":"629","DOI":"10.1007\/s10009-016-0427-0","volume":"18","author":"A Lamprecht","year":"2016","unstructured":"Lamprecht A, Steffen B, Margaria T (2016) Scientific workflows with the jABC framework \u2013 a review after a decade in the field. STTT 18(6):629\u2013651","journal-title":"STTT"},{"key":"6_CR24","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1109\/SEW.2007.63","volume-title":"Proceedings of the 31st IEEE Software Engineering Workshop (SEW 2007)","author":"T Margaria","year":"2007","unstructured":"Margaria T, Steffen B (2007) LTL guided planning: revisiting automatic tool composition in ETI. In: Proceedings of the 31st IEEE Software Engineering Workshop (SEW 2007). IEEE, Piscataway, pp 214\u2013226"},{"issue":"6","key":"6_CR25","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1109\/MC.2010.177","volume":"43","author":"T Margaria","year":"2010","unstructured":"Margaria T, Steffen B (2010) Simplicity as a driver for agile innovation. Computer 43(6):90\u201392","journal-title":"Computer"},{"key":"6_CR26","first-page":"194","volume-title":"Proceedings of the IEEE 35th COMPSACW","author":"T Margaria","year":"2011","unstructured":"Margaria T, Floyd BD, Steffen B (2011) IT simply works: simplicity and embedded systems design. In: Proceedings of the IEEE 35th COMPSACW. IEEE, Piscataway, pp 194\u2013199"},{"issue":"2\u20133","key":"6_CR27","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/s10009-003-0119-4","volume":"5","author":"T Margaria","year":"2004","unstructured":"Margaria T, Steffen B (2004) Lightweight coarse-grained coordination: a scalable system-level approach. STTT 5(2\u20133):107\u2013123","journal-title":"STTT"},{"key":"6_CR28","first-page":"490","volume-title":"ISoLA\u201908 Proceedings","author":"T Margaria","year":"2008","unstructured":"Margaria T, Steffen B (2008) Agile IT: thinking in user-centric models. In: Margaria T, Steffen B (eds) ISoLA\u201908 Proceedings. Springer, Berlin\/Heidelberg, pp 490\u2013502"},{"key":"6_CR29","volume-title":"Handbook of research on business process modeling","author":"T Margaria","year":"2009","unstructured":"Margaria T, Steffen B (2009) Business process modelling in the jABC: the one-thing-approach. In: Cardoso J, van der Aalst W (eds) Handbook of research on business process modeling. IGI Global, Hershey"},{"key":"6_CR30","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/978-1-4471-2297-5_10","volume-title":"Conquering complexity","author":"T Margaria","year":"2012","unstructured":"Margaria T, Steffen B (2012) Service-orientation: conquering complexity with XMDD. In: Hinchey M, Coyle L (eds) Conquering complexity. Springer, London, pp 217\u2013236"},{"key":"6_CR31","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/s10009-017-0453-6","volume":"20","author":"S Naujokat","year":"2018","unstructured":"Naujokat S, Lybecait M, Kopetzki D, Steffen B (2018) Cinco: a simplicity-driven approach to full generation of domain-specific graphical modeling tools. Int J Softw Tools Technol Transfer 20:327. \n                    https:\/\/doi.org\/10.1007\/s10009-017-0453-6","journal-title":"Int J Softw Tools Technol Transfer"},{"issue":"11","key":"6_CR32","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1109\/MC.2013.296","volume":"46","author":"J Neubauer","year":"2013","unstructured":"Neubauer J, Steffen B (2013) Plug-and-play higher-order process integration. Computer 46(11):56\u201362","journal-title":"Computer"},{"key":"6_CR33","series-title":"LNBIP, vol","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1007\/978-3-642-39336-5_2","volume-title":"Software business. From physical products to software services and solutions","author":"J Neubauer","year":"2013","unstructured":"Neubauer J, Steffen B (2013) Second-order servification. In: Herzwurm G, Margaria T (eds) Software business. From physical products to software services and solutions. LNBIP, vol 150. Springer, Heidelberg, pp 13\u201325"},{"key":"6_CR34","unstructured":"Onedrive. \n                    https:\/\/onedrive.live.com\n                    \n                  . Accessed 18 Nov 2017"},{"key":"6_CR35","first-page":"147","volume-title":"AEE\u201906 Proceedings","author":"N Sklavos","year":"2006","unstructured":"Sklavos N, Touliou K, Efstathiou C (2006) Exploiting cryptographic architectures over hardware vs. software implementations: advantages and trade-offs. In: Biolek D (ed) AEE\u201906 Proceedings, WSEAS. Stevens Point, Wisconsin, pp 147\u2013151"},{"key":"6_CR36","unstructured":"Steffen B, Margaria T, Freitag B (1993) Module configuration by minimal model construction. Technical report, Technical Report MIP Technical Report MIP 9313, Fakult\u00e4t f\u00fcr Mathematik und Informatik, Universit\u00e4t Passau"},{"key":"6_CR37","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/978-3-319-46508-1_3","volume":"1","author":"B Steffen","year":"2016","unstructured":"Steffen B, Naujokat S (2016) Archimedean points: the essence for mastering change. Trans Found Mastering Change 1:22\u201346","journal-title":"Trans Found Mastering Change"},{"key":"6_CR38","first-page":"1","volume-title":"DTIS Proceedings","author":"A Varriale","year":"2016","unstructured":"Varriale A, Vatajelu EI, Natale GD, Prinetto P, Trotta P, Margaria T (2016) Secube\u2122: an open-source security platform in a single SOC. In: DTIS Proceedings. IEEE, Piscataway, pp 1\u20136"}],"container-title":["Advanced Sciences and Technologies for Security Applications","Resilience of Cyber-Physical Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-95597-1_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T17:14:32Z","timestamp":1558372472000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-95597-1_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783319955964","9783319955971"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-95597-1_6","relation":{},"ISSN":["1613-5113","2363-9466"],"issn-type":[{"type":"print","value":"1613-5113"},{"type":"electronic","value":"2363-9466"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"26 January 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}