{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:47:03Z","timestamp":1750308423722,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,9,24]],"date-time":"2018-09-24T00:00:00Z","timestamp":1537747200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Technologick\u00e1 Agentura \u00f0esk\u00e9 Republiky","award":["2017TF04000064"],"award-info":[{"award-number":["2017TF04000064"]}]},{"DOI":"10.13039\/501100002347","name":"Bundesministerium f\u00fcr Bildung und Forschung","doi-asserted-by":"publisher","award":["01IS17106A,01IS17106B"],"award-info":[{"award-number":["01IS17106A,01IS17106B"]}],"id":[{"id":"10.13039\/501100002347","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,9,24]]},"DOI":"10.1145\/3241403.3241450","type":"proceedings-article","created":{"date-parts":[[2018,9,19]],"date-time":"2018-09-19T12:16:51Z","timestamp":1537359411000},"page":"1-4","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":11,"title":["Modeling of dynamic trust contracts for industry 4.0 systems"],"prefix":"10.1145","author":[{"given":"Rima","family":"Al-Ali","sequence":"first","affiliation":[{"name":"Charles University, Prague, Czech Republic"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Heinrich","sequence":"additional","affiliation":[{"name":"Karlsruhe Institute of Technology, Karlsruhe, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Petr","family":"Hnetynka","sequence":"additional","affiliation":[{"name":"Charles University, Prague, Czech Republic"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adrian","family":"Juan-Verdejo","sequence":"additional","affiliation":[{"name":"CAS Software, Karlsruhe, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stephan","family":"Seifermann","sequence":"additional","affiliation":[{"name":"Karlsruhe Institute of Technology, Karlsruhe, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maximilian","family":"Walter","sequence":"additional","affiliation":[{"name":"Karlsruhe Institute of Technology, Karlsruhe, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,9,24]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Trust 4.0. {n. d.}. Ensemble-based architectural framework for sharing in collaboration groups. https:\/\/github.com\/Trust40-Project\/icsa2018-ensembles. accessed 10.06.2018.  Trust 4.0. {n. d.}. Ensemble-based architectural framework for sharing in collaboration groups. https:\/\/github.com\/Trust40-Project\/icsa2018-ensembles. accessed 10.06.2018."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","unstructured":"W. Ahrendt etal 2016. Deductive Software Verification - The KeY Book. Springer International Publishing.  W. Ahrendt et al. 2016. Deductive Software Verification - The KeY Book. Springer International Publishing.","DOI":"10.1007\/978-3-319-49812-6"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-35362-8_22"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2016.377"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3089649.3089656"},{"key":"e_1_3_2_1_6_1","volume-title":"Technical Report D3S-TR-2017-01. Dep. of Distributed and Dependable Systems","author":"Bures T","year":"2017","unstructured":"T Bures 2017 . Trait-based Language for Smart Cyber-Physical Systems . Technical Report D3S-TR-2017-01. Dep. of Distributed and Dependable Systems , Charles University , Prague . T Bures et al. 2017. Trait-based Language for Smart Cyber-Physical Systems. Technical Report D3S-TR-2017-01. Dep. of Distributed and Dependable Systems, Charles University, Prague."},{"key":"e_1_3_2_1_7_1","unstructured":"CAS Software AG and Staufen AG. {n. d.}. ValueStreamer. http:\/\/www.valuestreamer.de\/en\/home\/. Accessed: 15.03.2018.  CAS Software AG and Staufen AG. {n. d.}. ValueStreamer. http:\/\/www.valuestreamer.de\/en\/home\/. Accessed: 15.03.2018."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2013.01.010"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2897356.2897359"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/HICSS.2016.488"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-012-0263-y"},{"volume-title":"UML'02 --- The Unified Modeling Language","key":"e_1_3_2_1_12_1","unstructured":"Jan J\u00fcrjens. 2002. UMLsec: Extending UML for Secure Systems Development . In UML'02 --- The Unified Modeling Language . Springer , 412--425. Jan J\u00fcrjens. 2002. UMLsec: Extending UML for Secure Systems Development. In UML'02 --- The Unified Modeling Language. Springer, 412--425."},{"key":"e_1_3_2_1_13_1","volume-title":"SecureUML: A UML-Based Modeling Language for Model-Driven Security. In UML'02 --- The Unified Modeling Language. Springer, 426--441","author":"Lodderstedt T.","year":"2002","unstructured":"T. Lodderstedt 2002 . SecureUML: A UML-Based Modeling Language for Model-Driven Security. In UML'02 --- The Unified Modeling Language. Springer, 426--441 . T. Lodderstedt et al. 2002. SecureUML: A UML-Based Modeling Language for Model-Driven Security. In UML'02 --- The Unified Modeling Language. Springer, 426--441."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/UIC-ATC.2013.73"},{"key":"e_1_3_2_1_15_1","volume-title":"Computing: A Cross-Disciplinary Approach for Modeling the Real World","author":"Marie P.","year":"2014","unstructured":"P. Marie 2014 . The QoCIM Framework: Concepts and Tools for Quality of Context Management. In Context in Computing: A Cross-Disciplinary Approach for Modeling the Real World . Springer, New York , 155--172. P. Marie et al. 2014. The QoCIM Framework: Concepts and Tools for Quality of Context Management. In Context in Computing: A Cross-Disciplinary Approach for Modeling the Real World. Springer, New York, 155--172."},{"key":"e_1_3_2_1_16_1","unstructured":"Ch. Prudhomme. {n. d.}. Choco Solver. http:\/\/www.choco-solver.org\/. accessed 10.06.2018.  Ch. Prudhomme. {n. d.}. Choco Solver. http:\/\/www.choco-solver.org\/. accessed 10.06.2018."},{"key":"e_1_3_2_1_17_1","unstructured":"R. Reussner etal 2016. Modeling and simulating software architectures: the Palladio approach. MIT Press.   R. Reussner et al. 2016. Modeling and simulating software architectures: the Palladio approach. MIT Press."},{"key":"e_1_3_2_1_18_1","volume-title":"Architectural Data Flow Analysis. In 13th Working IEEE\/IFIP Conference on Software Architecture (WICSA16)","author":"Seifermann S.","year":"2016","unstructured":"S. Seifermann . 2016 . Architectural Data Flow Analysis. In 13th Working IEEE\/IFIP Conference on Software Architecture (WICSA16) . IEEE, 270--271. S. Seifermann. 2016. Architectural Data Flow Analysis. In 13th Working IEEE\/IFIP Conference on Software Architecture (WICSA16). IEEE, 270--271."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"crossref","unstructured":"G. Snelting etal 2014. Checking probabilistic noninterference using JOANA. it-Information Technology 56 6 (2014) 280--287.  G. Snelting et al. 2014. Checking probabilistic noninterference using JOANA. it-Information Technology 56 6 (2014) 280--287.","DOI":"10.1515\/itit-2014-1051"},{"key":"e_1_3_2_1_20_1","unstructured":"F. Swiderski and W. Snyder. 2004. Threat Modeling. Microsoft Press.   F. Swiderski and W. Snyder. 2004. Threat Modeling. Microsoft Press."}],"event":{"name":"ECSA '18: 12th European Conference on Software Architecture","acronym":"ECSA '18","location":"Madrid Spain"},"container-title":["Proceedings of the 12th European Conference on Software Architecture: Companion Proceedings"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3241403.3241450","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3241403.3241450","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T17:49:29Z","timestamp":1750268969000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3241403.3241450"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,9,24]]},"references-count":20,"alternative-id":["10.1145\/3241403.3241450","10.1145\/3241403"],"URL":"https:\/\/doi.org\/10.1145\/3241403.3241450","relation":{},"subject":[],"published":{"date-parts":[[2018,9,24]]},"assertion":[{"value":"2018-09-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}