{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:21:09Z","timestamp":1750220469065,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,11,30]],"date-time":"2021-11-30T00:00:00Z","timestamp":1638230400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"BMBF","award":["16KIS0801"],"award-info":[{"award-number":["16KIS0801"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,11,30]]},"DOI":"10.1145\/3488904.3493377","type":"proceedings-article","created":{"date-parts":[[2021,11,25]],"date-time":"2021-11-25T17:08:01Z","timestamp":1637860081000},"page":"1-9","source":"Crossref","is-referenced-by-count":2,"title":["Following the White Rabbit: Integrity Verification Based on Risk Analysis Results"],"prefix":"10.1145","author":[{"given":"Christine","family":"Jakobs","sequence":"first","affiliation":[{"name":"Operating Systems Group, TU Chemnitz, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthias","family":"Werner","sequence":"additional","affiliation":[{"name":"Operating Systems Group, TU Chemnitz, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Karsten","family":"Schmidt","sequence":"additional","affiliation":[{"name":"I\/EG-131, Audi AG, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerhard","family":"Hansch","sequence":"additional","affiliation":[{"name":"I\/EG-131, Audi AG, DE"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,11,30]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Jason Andress. 2014. The basics of information security: understanding the fundamentals of InfoSec in theory and practice. Syngress Waltham USA.  Jason Andress. 2014. The basics of information security: understanding the fundamentals of InfoSec in theory and practice. Syngress Waltham USA."},{"key":"e_1_3_2_1_2_1","unstructured":"Daniel Angermeier Kristian Beilke Gerhard Hansch and Jorn Eichler. 2019. Modeling Security Risk Assessments. 14\u00a0pages.  Daniel Angermeier Kristian Beilke Gerhard Hansch and Jorn Eichler. 2019. Modeling Security Risk Assessments. 14\u00a0pages."},{"volume-title":"Risk Assessment and Risk-Driven Quality Assurance, J\u00fcrgen Gro\u00dfmann, Michael Felderer, and Fredrik Seehusen(Eds.)","series-title":"Lecture Notes in Computer Science, Vol.\u00a010224","author":"Angermeier Daniel","key":"e_1_3_2_1_3_1"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2004.2"},{"volume-title":"Formal Methods for Components and Objects, Frank\u00a0S. de\u00a0Boer, Marcello\u00a0M. Bonsangue, Susanne Graf, and Willem-Paul de\u00a0Roever (Eds.)","author":"Batson Brannon","key":"e_1_3_2_1_5_1"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSAC.2005.37"},{"key":"e_1_3_2_1_7_1","unstructured":"K.\u00a0J. Biba. 1977. MTR-3153: Integrity Considerations for Secure Computer Systems.  K.\u00a0J. Biba. 1977. MTR-3153: Integrity Considerations for Secure Computer Systems."},{"key":"e_1_3_2_1_8_1","first-page":"2016","article-title":"-09. On the Diversity of Asynchronous Communication","volume":"28","author":"Chevrou Florent","year":"2016","journal-title":"Formal Aspects of Computing"},{"volume-title":"Proceedings of the 31st VDI\/VW Joint Conference Automotive Security. VDI, Wolfsburg, 11","year":"2015","author":"Eichler J\u00f6rn","key":"e_1_3_2_1_9_1"},{"volume-title":"2007 International Conference on Parallel and Distributed Systems, Vol.\u00a02. IEEE","year":"2007","author":"Grov G.","key":"e_1_3_2_1_10_1"},{"volume-title":"Deriving Impact-driven Security Requirements and Monitoring Measures for Industrial IoT. In 5th ACM Cyber-Physical System Security Workshop(CPSS\u00a0\u201919)","year":"2019","author":"Hansch Gerhard","key":"e_1_3_2_1_11_1"},{"volume-title":"ISO26262 Road vehicles \u2014 Functional safety \u2014 Part 1: Vocabulary. Standard","author":"International Organization for Standardization. 2018a.","key":"e_1_3_2_1_12_1"},{"volume-title":"Standard","author":"International Organization for Standardization. 2018b. ISO\/IEC 27000:2018 Information technology \u2013 Security techniques \u2013 Information security management systems \u2013 Overview and vocabulary.","key":"e_1_3_2_1_13_1"},{"volume-title":"International Standard. ISO\/SAE","author":"International Organization for Standardization. 2021. ISO\/SAE 21434 Road Vehicles \u2013 Cybersecurity engineering.","key":"e_1_3_2_1_14_1"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3386723.3387883"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/335169.335204"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11623-017-0761-8"},{"volume-title":"Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers","year":"2002","author":"Lamport Leslie","key":"e_1_3_2_1_18_1"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03466-4_2"},{"key":"e_1_3_2_1_20_1","unstructured":"Frederic Lardinois. 2017. With Cosmos DB Microsoft wants to build one database to rule them all. https:\/\/techcrunch.com\/2017\/05\/10\/with-cosmos-db-microsoft-wants-to-build-one-database-to-rule-them-all\/.  Frederic Lardinois. 2017. With Cosmos DB Microsoft wants to build one database to rule them all. https:\/\/techcrunch.com\/2017\/05\/10\/with-cosmos-db-microsoft-wants-to-build-one-database-to-rule-them-all\/."},{"edition":"2","volume-title":"Code Complete","author":"McConnell Steve","key":"e_1_3_2_1_21_1"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2699417"},{"key":"e_1_3_2_1_23_1","unstructured":"SAE International. 2016. J3061 - Cybersecurity Guidebook for Cyber-Physical Vehicle Systems.  SAE International. 2016. J3061 - Cybersecurity Guidebook for Cyber-Physical Vehicle Systems."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.4271\/2014-01-0334"},{"key":"e_1_3_2_1_25_1","first-page":"3","article-title":"Specifying and verifying PLC systems with TLA+ : A case study","volume":"60","author":"Zhang Hehua","year":"2010","journal-title":"Computers & Mathematics with Applications"}],"event":{"name":"CSCS '21: Computer Science in Cars Symposium","sponsor":["SIGGRAPH ACM Special Interest Group on Computer Graphics and Interactive Techniques"],"location":"Ingolstadt Germany","acronym":"CSCS '21"},"container-title":["Computer Science in Cars Symposium"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3488904.3493377","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3488904.3493377","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:48:28Z","timestamp":1750193308000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3488904.3493377"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,11,30]]},"references-count":25,"alternative-id":["10.1145\/3488904.3493377","10.1145\/3488904"],"URL":"https:\/\/doi.org\/10.1145\/3488904.3493377","relation":{},"subject":[],"published":{"date-parts":[[2021,11,30]]}}}