{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,7]],"date-time":"2026-03-07T18:30:49Z","timestamp":1772908249234,"version":"3.50.1"},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2024,5,16]],"date-time":"2024-05-16T00:00:00Z","timestamp":1715817600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,5,16]],"date-time":"2024-05-16T00:00:00Z","timestamp":1715817600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"name":"LuFo V-3 project RTAPHM","award":["LuFo V-3 project RTAPHM"],"award-info":[{"award-number":["LuFo V-3 project RTAPHM"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["SN COMPUT. SCI."],"DOI":"10.1007\/s42979-024-02748-x","type":"journal-article","created":{"date-parts":[[2024,5,16]],"date-time":"2024-05-16T13:01:56Z","timestamp":1715864516000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["A Model-Based Systems Engineering Plugin for Cloud Security Architecture Design"],"prefix":"10.1007","volume":"5","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0298-2805","authenticated-orcid":false,"given":"Yuri Gil","family":"Dantas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vivek","family":"Nigam","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ulrich","family":"Sch\u00f6pp","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,5,16]]},"reference":[{"key":"2748_CR1","doi-asserted-by":"publisher","unstructured":"Rose S, Borchert O, Mitchell S, Connelly S. Zero Trust Architecture. Special Publication (NIST SP), National Institute of Standards and Technology, Gaithersburg, MD 2020. https:\/\/doi.org\/10.6028\/NIST.SP.800-207","DOI":"10.6028\/NIST.SP.800-207"},{"key":"2748_CR2","doi-asserted-by":"publisher","unstructured":"Carroll M, Kotz\u00e9 P, Merwe A. Secure cloud computing: Benefits, risks and controls. In: Venter, H.S., Coetzee, M., Loock, M. (eds.) Information Security South Africa Conference 2011, ISSA 2011. ISSA, Pretoria, South Africa 2011. https:\/\/doi.org\/10.1109\/ISSA.2011.6027519","DOI":"10.1109\/ISSA.2011.6027519"},{"key":"2748_CR3","unstructured":"Eliseev V, Miliukova E, Kolpinskiy S. Neural network cryptographic obfuscation for trusted cloud computing. In: Integrated Models and Soft Computing in Artificial Intelligence, 2021;pp. 201\u2013207"},{"key":"2748_CR4","doi-asserted-by":"publisher","unstructured":"Oleshchuk VA, K\u00f8ien GM. Security and privacy in the cloud a long-term view. In: 2011 2nd International Conference on Wireless Communication, Vehicular Technology, Information Theory and Aerospace & Electronic Systems Technology (Wireless VITAE), 2011;pp. 1\u20135 . https:\/\/doi.org\/10.1109\/WIRELESSVITAE.2011.5940876","DOI":"10.1109\/WIRELESSVITAE.2011.5940876"},{"key":"2748_CR5","unstructured":"ISO\/SAE AWI 21434: Road vehicles - cybersecurity engineering. 2021"},{"key":"2748_CR6","doi-asserted-by":"publisher","unstructured":"Dantas YG, Sch\u00f6pp U. SeCloud: Computer-aided support for selecting security measures for cloud architectures. In: Proceedings of the 9th International Conference on Information Systems Security and Privacy, Lisbon, Portugal, February 22-24, 2023; pp. 264\u2013275. SciTePress, Set\u00fabal, Portugal (2023). https:\/\/doi.org\/10.5220\/0011901900003405 .","DOI":"10.5220\/0011901900003405"},{"key":"2748_CR7","doi-asserted-by":"publisher","unstructured":"Egele M, Brumley D, Fratantonio Y, Kruegel C. An empirical study of cryptographic misuse in android applications. CCS \u201913, 2013;pp. 73\u201384. Association for Computing Machinery, New York, NY, USA . https:\/\/doi.org\/10.1145\/2508859.2516693","DOI":"10.1145\/2508859.2516693"},{"key":"2748_CR8","doi-asserted-by":"publisher","unstructured":"Mainka C, Mladenov V, Schwenk J, Wich T. Sok: Single sign-on security - an evaluation of openid connect. In: 2017 IEEE European Symposium on Security and Privacy (EuroS &P), 2017;pp. 251\u2013266 . https:\/\/doi.org\/10.1109\/EuroSP.2017.32","DOI":"10.1109\/EuroSP.2017.32"},{"key":"2748_CR9","unstructured":"Aravantinos V, Voss S, Teufl S, H\u00f6lzl F, Sch\u00e4tz B. AutoFOCUS\u00a03: Tooling concepts for seamless, model-based development of embedded systems. In: Proc. 8th Int. Workshop Model-based Architecting of Cyber-Physical and Embedded Systems (ACES-MB), 2015;pp. 19\u201326"},{"key":"2748_CR10","unstructured":"Potassco project: Clingo: A grounder and solver for logic programs. https:\/\/github.com\/potassco\/clingo"},{"key":"2748_CR11","unstructured":"SeCloud: https:\/\/drive.google.com\/file\/d\/1a5UqihDLy9lyL3MRjgzcy9jx-xhwoG2o (2022)"},{"key":"2748_CR12","unstructured":"fortiss GmbH: AutoFOCUS3 2.21. Available at https:\/\/af3.fortiss.org\/"},{"key":"2748_CR13","unstructured":"Gelfond M, Lifschitz V. Logic programs with classical negation. In: ICLP. 1990"},{"key":"2748_CR14","doi-asserted-by":"publisher","unstructured":"Dantas YG, Barner S, Ke P, Nigam V, Sch\u00f6pp U. Automating Vehicle SOA Threat Analysis Using a Model-Based Methodology. In: Proceedings of the 9th International Conference on Information Systems Security and Privacy, Lisbon, Portugal, February 22-24, 2023;pp. 180\u2013191. SciTePress, Set\u00fabal, Portugal (2023). https:\/\/doi.org\/10.5220\/0011786400003405","DOI":"10.5220\/0011786400003405"},{"key":"2748_CR15","doi-asserted-by":"publisher","unstructured":"Shostack A. Threat Modeling: Designing for Security. John Wiley & Sons, Inc., New York, NY, USA 2014. https:\/\/doi.org\/10.5555\/2829295","DOI":"10.5555\/2829295"},{"key":"2748_CR16","unstructured":"EmbASP. Available at https:\/\/www.mat.unical.it\/calimeri\/projects\/embasp\/"},{"key":"2748_CR17","unstructured":"Jungebloud T, Nguyen N, Kim D, Zimmermann A. Hierarchical model-based cybersecurity risk assessment during system design. In: 38th IFIP TC 11 International Conference, SEC 2023 (IFIPSEC) 2023. To appear."},{"issue":"1","key":"2748_CR18","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1145\/3565269","volume":"7","author":"YG Dantas","year":"2023","unstructured":"Dantas YG, Nigam V. Automating safety and security co-design through semantically rich architecture patterns. ACM Trans Cyber Phys Syst. 2023;7(1):5\u20131528. https:\/\/doi.org\/10.1145\/3565269.","journal-title":"ACM Trans. Cyber Phys. Syst."},{"key":"2748_CR19","doi-asserted-by":"publisher","unstructured":"Leone N, Pfeifer G, Faber W, Eiter T, Gottlob G, Perri S, Scarcello F. The DLV system for knowledge representation and reasoning. ACM Trans. Comput. Log. 2006;7https:\/\/doi.org\/10.1145\/1149114.1149117","DOI":"10.1145\/1149114.1149117"},{"key":"2748_CR20","doi-asserted-by":"publisher","unstructured":"Sousa G, Rudametkin W, Duchien L. Automated setup of multi-cloud environments for microservices applications. In: 2016 IEEE 9th International Conference on Cloud Computing (CLOUD), 2016;pp. 327\u2013334 . https:\/\/doi.org\/10.1109\/CLOUD.2016.0051","DOI":"10.1109\/CLOUD.2016.0051"},{"key":"2748_CR21","doi-asserted-by":"publisher","unstructured":"Etedali A, Lung C.-H, Ajila S, Veselinovic I. Automated constraint-based multi-tenant SaaS configuration support using XML filtering techniques. In: 2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC), vol. 2, 2017;pp. 413\u2013418 . https:\/\/doi.org\/10.1109\/COMPSAC.2017.69","DOI":"10.1109\/COMPSAC.2017.69"},{"key":"2748_CR22","doi-asserted-by":"publisher","unstructured":"Minna F, Massacci F. Sok: Run-time security for cloud microservices. Are we there yet? Computers & Security 127, 2023;103119 https:\/\/doi.org\/10.1016\/j.cose.2023.103119","DOI":"10.1016\/j.cose.2023.103119"}],"container-title":["SN Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s42979-024-02748-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s42979-024-02748-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s42979-024-02748-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,16]],"date-time":"2024-05-16T13:23:41Z","timestamp":1715865821000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s42979-024-02748-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,5,16]]},"references-count":22,"journal-issue":{"issue":"5","published-online":{"date-parts":[[2024,6]]}},"alternative-id":["2748"],"URL":"https:\/\/doi.org\/10.1007\/s42979-024-02748-x","relation":{},"ISSN":["2661-8907"],"issn-type":[{"value":"2661-8907","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,5,16]]},"assertion":[{"value":"23 July 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"26 February 2024","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"16 May 2024","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"On behalf of all authors, the corresponding author states that there is no Conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}],"article-number":"553"}}