{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T17:15:35Z","timestamp":1768324535620,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":84,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,12,2]],"date-time":"2020-12-02T00:00:00Z","timestamp":1606867200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,12,2]]},"DOI":"10.1145\/3385958.3430482","type":"proceedings-article","created":{"date-parts":[[2020,12,4]],"date-time":"2020-12-04T22:57:31Z","timestamp":1607122651000},"page":"1-12","source":"Crossref","is-referenced-by-count":22,"title":["Security Analysis of Automotive Protocols"],"prefix":"10.1145","author":[{"given":"Timm","family":"Lauser","sequence":"first","affiliation":[{"name":"Darmstadt University of Applied Sciences Darmstadt, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Zelle","sequence":"additional","affiliation":[{"name":"Fraunhofer Institute for Secure Information Technology SIT Darmstadt, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christoph","family":"Krau\u00df","sequence":"additional","affiliation":[{"name":"Fraunhofer Institute for Secure Information Technology SIT Darmstadt, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,12,2]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2018. AVISPA - Automated Validation of Internet Security Protocols and Applications. Retrieved 2020-09-01 from http:\/\/www.avispa-project.org\/ 2018. AVISPA - Automated Validation of Internet Security Protocols and Applications. Retrieved 2020-09-01 from http:\/\/www.avispa-project.org\/"},{"key":"e_1_3_2_1_2_1","unstructured":"2020. The Coq Proof Assistant. Retrieved 2020-08-21 from https:\/\/coq.inria.fr\/ 2020. The Coq Proof Assistant. Retrieved 2020-08-21 from https:\/\/coq.inria.fr\/"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/373243.360213"},{"key":"e_1_3_2_1_4_1","volume-title":"2016 International Conference on Circuit, Power and Computing Technologies (ICCPCT). 1\u20136.","author":"Ajin W."},{"key":"e_1_3_2_1_5_1","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"Armando Alessandro"},{"key":"e_1_3_2_1_6_1","volume-title":"Analysing Unlinkability and Anonymity Using the Applied Pi Calculus. In 2010 23rd IEEE Computer Security Foundations Symposium. 107\u2013121","author":"Arapinis Myrto","year":"2010"},{"key":"e_1_3_2_1_7_1","volume-title":"StatVerif: Verification of Stateful Processes. In 2011 IEEE 24th Computer Security Foundations Symposium. 33\u201347","author":"Arapinis Myrto","year":"2011"},{"key":"e_1_3_2_1_8_1","unstructured":"AUTOSAR. 2019a. SOME\/IP Protocol Specification. AUTOSAR FO R19-11. AUTOSAR. 2019a. SOME\/IP Protocol Specification. AUTOSAR FO R19-11."},{"key":"e_1_3_2_1_9_1","unstructured":"AUTOSAR. 2019b. SOME\/IP Service Discovery Protocol Specification. AUTOSAR FO R19-11. AUTOSAR. 2019b. SOME\/IP Service Discovery Protocol Specification. AUTOSAR FO R19-11."},{"key":"e_1_3_2_1_10_1","unstructured":"AUTOSAR. 2019c. Specification of Secure Onboard Communication. AUTOSAR CPR19-11. AUTOSAR. 2019c. Specification of Secure Onboard Communication. AUTOSAR CPR19-11."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSF49147.2020.00020"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"K. Bao H. Valev M. Wagner and H. Schmeck. 2017. A threat analysis of the vehicle-to-grid charging protocol ISO 15118. Computer Science - Research and Development (01 Sep 2017). K. Bao H. Valev M. Wagner and H. Schmeck. 2017. A threat analysis of the vehicle-to-grid charging protocol ISO 15118. Computer Science - Research and Development (01 Sep 2017).","DOI":"10.1007\/s00450-017-0342-y"},{"key":"e_1_3_2_1_13_1","unstructured":"David Basin Cas Cremers Jannik Dreier Simon Meier Ralf Sasse and Benedikt Schmidt. 2020. Tamarin Prover. Retrieved 2020-09-01 from https:\/\/tamarin-prover.github.io\/ David Basin Cas Cremers Jannik Dreier Simon Meier Ralf Sasse and Benedikt Schmidt. 2020. Tamarin Prover. Retrieved 2020-09-01 from https:\/\/tamarin-prover.github.io\/"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"David Basin Cas Cremers and Catherine Meadows. 2018. Model Checking Security Protocols. Springer International Publishing Cham 727\u2013762. https:\/\/doi.org\/10.1007\/978-3-319-10575-8_22 David Basin Cas Cremers and Catherine Meadows. 2018. Model Checking Security Protocols. Springer International Publishing Cham 727\u2013762. https:\/\/doi.org\/10.1007\/978-3-319-10575-8_22","DOI":"10.1007\/978-3-319-10575-8_22"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2017.26"},{"key":"e_1_3_2_1_16_1","volume-title":"Principles of Security and Trust","author":"Blanchet Bruno"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1561\/3300000004"},{"key":"e_1_3_2_1_18_1","unstructured":"Bruno Blanchet. 2019. CryptoVerif: Cryptographic protocol verifier in the computational model. Retrieved 2020-09-01 from https:\/\/prosecco.gforge.inria.fr\/personal\/bblanche\/cryptoverif\/ Bruno Blanchet. 2019. CryptoVerif: Cryptographic protocol verifier in the computational model. Retrieved 2020-09-01 from https:\/\/prosecco.gforge.inria.fr\/personal\/bblanche\/cryptoverif\/"},{"key":"e_1_3_2_1_19_1","unstructured":"Bruno Blanchet. 2020. ProVerif: Cryptographic protocol verifier in the formal model. Retrieved 2020-09-01 from https:\/\/prosecco.gforge.inria.fr\/personal\/bblanche\/proverif\/ Bruno Blanchet. 2020. ProVerif: Cryptographic protocol verifier in the formal model. Retrieved 2020-09-01 from https:\/\/prosecco.gforge.inria.fr\/personal\/bblanche\/proverif\/"},{"key":"e_1_3_2_1_21_1","unstructured":"Bruno Blanchet Ben Smyth Vincent Cheval and Marc Sylvestre. 2020. ProVerif 2.02: Automatic Cryptographic Protocol Verifier User Manual and Tutorial. Bruno Blanchet Ben Smyth Vincent Cheval and Marc Sylvestre. 2020. ProVerif 2.02: Automatic Cryptographic Protocol Verifier User Manual and Tutorial."},{"key":"e_1_3_2_1_22_1","volume-title":"2018 IEEE 31st Computer Security Foundations Symposium (CSF). 344\u2013358","author":"Cheval V."},{"key":"e_1_3_2_1_23_1","volume-title":"2018 Tenth International Conference on Ubiquitous and Future Networks (ICUFN). 180\u2013185","author":"Choi J."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-59013-0_1"},{"key":"e_1_3_2_1_25_1","unstructured":"Cas Cremers. 2020. The Scyther Tool. Retrieved 2020-09-01 from https:\/\/people.cispa.io\/cas.cremers\/scyther\/ Cas Cremers. 2020. The Scyther Tool. Retrieved 2020-09-01 from https:\/\/people.cispa.io\/cas.cremers\/scyther\/"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3134063"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2016.35"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"crossref","unstructured":"Cas J.\u00a0F. Cremers. 2008. The Scyther Tool: Verification Falsification and Analysis of Security Protocols. In Computer Aided Verification Aarti Gupta and Sharad Malik (Eds.). Springer Berlin Heidelberg Berlin Heidelberg 414\u2013418. Cas J.\u00a0F. Cremers. 2008. The Scyther Tool: Verification Falsification and Analysis of Security Protocols. In Computer Aided Verification Aarti Gupta and Sharad Malik (Eds.). Springer Berlin Heidelberg Berlin Heidelberg 414\u2013418.","DOI":"10.1007\/978-3-540-70545-1_38"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/1226644.1226651"},{"key":"e_1_3_2_1_30_1","volume-title":"3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018)(Leibniz International Proceedings in Informatics (LIPIcs)), Vol.\u00a0108","author":"Delaune St\u00e9phanie","year":"2018"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"crossref","unstructured":"T. Dierks and E. Rescorla. 2008. The Transport Layer Security (TLS) Protocol Version 1.2. RFC 5246. https:\/\/doi.org\/10.17487\/rfc5246 T. Dierks and E. Rescorla. 2008. The Transport Layer Security (TLS) Protocol Version 1.2. RFC 5246. https:\/\/doi.org\/10.17487\/rfc5246","DOI":"10.17487\/rfc5246"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.1983.1056650"},{"key":"e_1_3_2_1_33_1","volume-title":"The Fourth International Conference on Evolving Internet.","author":"Falk Rainer","year":"2012"},{"key":"e_1_3_2_1_34_1","article-title":"Electric vehicle charging infrastructure security considerations and approaches","volume":"6","author":"Falk Rainer","year":"2013","journal-title":"International Journal on Advances in Internet Technology"},{"key":"e_1_3_2_1_36_1","volume-title":"Trust and Trustworthy Computing","author":"F\u00f6rster David"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"crossref","unstructured":"S. Frankel and S. Krishnan. 2011. IP Security (IPsec) and Internet Key Exchange (IKE) Document Roadmap. RFC 6071. https:\/\/doi.org\/10.17487\/rfc6071 S. Frankel and S. Krishnan. 2011. IP Security (IPsec) and Internet Key Exchange (IKE) Document Roadmap. RFC 6071. https:\/\/doi.org\/10.17487\/rfc6071","DOI":"10.17487\/rfc6071"},{"key":"e_1_3_2_1_38_1","volume-title":"Kommunikation und Bildverarbeitung in der Automation","author":"Friesen Maxim"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/3407023.3407066"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341105.3373879"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-54549-9_26"},{"key":"e_1_3_2_1_42_1","volume-title":"Computer Security","author":"G\u00fcrgens Sigrid"},{"key":"e_1_3_2_1_43_1","unstructured":"Sigrid G\u00fcrgens Norman Lahr and Daniel Zelle. 2017. On Formal Security Analysis of Automotive Systems. 15th Embedded Security in Cars (escar)(2017). Sigrid G\u00fcrgens Norman Lahr and Daniel Zelle. 2017. On Formal Security Analysis of Automotive Systems. 15th Embedded Security in Cars (escar)(2017)."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"crossref","unstructured":"Zhi\u00a0Yong He and Yue Liang. 2015. Study on the DDS Network Information Security Technology. Applied Mechanics and Materials 738-739 (mar 2015) 1213\u20131216. https:\/\/doi.org\/10.4028\/www.scientific.net\/amm.738-739.1213 Zhi\u00a0Yong He and Yue Liang. 2015. Study on the DDS Network Information Security Technology. Applied Mechanics and Materials 738-739 (mar 2015) 1213\u20131216. https:\/\/doi.org\/10.4028\/www.scientific.net\/amm.738-739.1213","DOI":"10.4028\/www.scientific.net\/AMM.738-739.1213"},{"key":"e_1_3_2_1_45_1","volume-title":"2016 IEEE Symposium on Security and Privacy (SP). 564\u2013581","author":"Hirschi L."},{"key":"e_1_3_2_1_46_1","volume-title":"Proceedings of the 2013 ACM workshop on Security, privacy & dependability for cyber vehicles. ACM, 37\u201348","author":"H\u00f6fer C."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"crossref","unstructured":"Andreas H\u00fclsing Kai-Chun Ning Peter Schwabe Florian Weber and Ralf Zimmermann. 2020. Post-quantum WireGuard.IACR Cryptol. ePrint Arch.(2020). Andreas H\u00fclsing Kai-Chun Ning Peter Schwabe Florian Weber and Ralf Zimmermann. 2020. Post-quantum WireGuard.IACR Cryptol. ePrint Arch.(2020).","DOI":"10.1109\/SP40001.2021.00030"},{"key":"e_1_3_2_1_48_1","unstructured":"IEEE. 2018. IEEE Standard for local and metropolitan area networks \u2014 Media Access Control (MAC) Security. IEEE Standard 802.1AE\u2122-2018. The Institute of Electrical and Electronics Engineers Inc. New York USA. IEEE. 2018. IEEE Standard for local and metropolitan area networks \u2014 Media Access Control (MAC) Security. IEEE Standard 802.1AE\u2122-2018. The Institute of Electrical and Electronics Engineers Inc. New York USA."},{"key":"e_1_3_2_1_49_1","unstructured":"Marco Iorio. 2020. secure-vsomeip. GitHub. Retrieved 2020-08-10 from https:\/\/github.com\/netgroup-polito\/secure-vsomeip\/ Marco Iorio. 2020. secure-vsomeip. GitHub. Retrieved 2020-08-10 from https:\/\/github.com\/netgroup-polito\/secure-vsomeip\/"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"crossref","unstructured":"M. Iorio A. Buttiglieri M. Reineri F. Risso R. Sisto and F. VALENZA. 2020. Protecting In-Vehicle Services : Security-Enabled SOME\/IP Middleware. IEEE Vehicular Technology Magazine(2020). M. Iorio A. Buttiglieri M. Reineri F. Risso R. Sisto and F. VALENZA. 2020. Protecting In-Vehicle Services : Security-Enabled SOME\/IP Middleware. IEEE Vehicular Technology Magazine(2020).","DOI":"10.1109\/MVT.2020.2980444"},{"key":"e_1_3_2_1_51_1","first-page":"2016","article-title":"Road vehicles \u2014 Diagnostic communication over Internet Protocol (DoIP) \u2014 Part 3: Wired vehicle interface based on IEEE 802.3","volume":"13400","author":"ISO.","year":"2016","journal-title":"ISO Standard"},{"key":"e_1_3_2_1_52_1","first-page":"2016","article-title":"Road vehicles \u2014 Diagnostic communication over Internet Protocol (DoIP) \u2014 Part 4: Ethernet-based high-speed data link connector","volume":"13400","author":"ISO.","year":"2016","journal-title":"ISO Standard"},{"key":"e_1_3_2_1_53_1","first-page":"2019","article-title":"Road vehicles \u2014 Diagnostic communication over Internet Protocol (DoIP) \u2014 Part 2: Transport protocol and network layer services","volume":"13400","author":"ISO.","year":"2019","journal-title":"ISO Standard"},{"key":"e_1_3_2_1_54_1","first-page":"2020","article-title":"Road vehicles \u2014 Unified diagnostic services (UDS) \u2014 Part 1: Application layer","volume":"14229","author":"ISO.","year":"2020","journal-title":"ISO Standard"},{"key":"e_1_3_2_1_55_1","first-page":"2013","article-title":"Road vehicles \u2013 Vehicle to grid communication interface \u2013 Part 1: General information and use-case definition","volume":"15118","author":"IEC.","year":"2013","journal-title":"ISO Standard"},{"key":"e_1_3_2_1_56_1","first-page":"2014","article-title":"Road vehicles \u2013 Vehicle-to-Grid Communication Interface \u2013 Part 2: Network and application protocol requirements","volume":"15118","author":"IEC.","year":"2014","journal-title":"ISO Standard"},{"key":"e_1_3_2_1_57_1","first-page":"2018","article-title":"Road vehicles \u2013 Vehicle-to-Grid Communication Interface \u2013 Part 2: Network and application protocol requirements","volume":"15118","author":"IEC.","year":"2018","journal-title":"ISO\/DIS"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/3134600.3134624"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"crossref","unstructured":"Pierre Kleberger and Guilhem Moulin. 2013. Formal Verification of an Authorization Protocol for Remote Vehicle Diagnostics. Chalmers University of Technology and G\u00f6teborg University. Pierre Kleberger and Guilhem Moulin. 2013. Formal Verification of an Authorization Protocol for Remote Vehicle Diagnostics. Chalmers University of Technology and G\u00f6teborg University.","DOI":"10.1109\/VNC.2013.6737613"},{"key":"e_1_3_2_1_60_1","volume-title":"Computer Safety, Reliability, and Security","author":"Kleberger Pierre"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"crossref","unstructured":"Nadim Kobeissi. 2020. Verifpal. Retrieved 2020-09-01 from https:\/\/verifpal.com\/ Nadim Kobeissi. 2020. Verifpal. Retrieved 2020-09-01 from https:\/\/verifpal.com\/","DOI":"10.1145\/3411495.3421365"},{"key":"e_1_3_2_1_62_1","volume-title":"Verifpal: Cryptographic Protocol Analysis for the Real World. Cryptology ePrint Archive, Report 2019\/971. https:\/\/eprint.iacr.org\/2019\/971.","author":"Kobeissi Nadim","year":"2020"},{"key":"e_1_3_2_1_63_1","unstructured":"Jochen Kreissl. 2017. Absicherung der SOME\/IP Kommunikation bei Adaptive AUTOSAR. Master\u2019s thesis. University of Stuttgart. Jochen Kreissl. 2017. Absicherung der SOME\/IP Kommunikation bei Adaptive AUTOSAR. Master\u2019s thesis. University of Stuttgart."},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1109\/VNC.2009.5416378"},{"key":"e_1_3_2_1_65_1","volume-title":"2014 International Conference on IT Convergence and Security (ICITCS). 1\u20134.","author":"Lee S."},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2014.11"},{"key":"e_1_3_2_1_67_1","unstructured":"Johan Lindberg. 2011. Security analysis of vehicle diagnostics using DoIP. Master\u2019s thesis. Chalmers University of Technology. Johan Lindberg. 2011. Security analysis of vehicle diagnostics using DoIP. Master\u2019s thesis. Chalmers University of Technology."},{"key":"e_1_3_2_1_68_1","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"Lowe Gavin"},{"key":"e_1_3_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.5555\/794197.795075"},{"key":"e_1_3_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.1145\/359657.359659"},{"key":"e_1_3_2_1_71_1","unstructured":"Object Management Group. 2015. Data Distribution Service (DDS) Version 1.4. Object Management Group. 2015. Data Distribution Service (DDS) Version 1.4."},{"key":"e_1_3_2_1_72_1","unstructured":"Object Management Group. 2018. DDS Security Version 1.1. Object Management Group. 2018. DDS Security Version 1.1."},{"key":"e_1_3_2_1_73_1","doi-asserted-by":"crossref","unstructured":"E. Rescorla. 2018. The Transport Layer Security (TLS) Protocol Version 1.3. RFC 8446. https:\/\/doi.org\/10.17487\/rfc8446 E. Rescorla. 2018. The Transport Layer Security (TLS) Protocol Version 1.3. RFC 8446. https:\/\/doi.org\/10.17487\/rfc8446","DOI":"10.17487\/RFC8446"},{"key":"e_1_3_2_1_74_1","doi-asserted-by":"crossref","unstructured":"E. Rescorla and N. Modadugu. 2012. Datagram Transport Layer Security Version 1.2. RFC 6347. https:\/\/doi.org\/10.17487\/rfc6347 E. Rescorla and N. Modadugu. 2012. Datagram Transport Layer Security Version 1.2. RFC 6347. https:\/\/doi.org\/10.17487\/rfc6347","DOI":"10.17487\/rfc6347"},{"key":"e_1_3_2_1_75_1","volume-title":"Extending AUTOSAR\u2019s Counter-Based Solution for Freshness of Authenticated Messages in Vehicles. In 2019 IEEE 24th Pacific Rim International Symposium on Dependable Computing (PRDC). 1\u2013109","author":"Rosenstatter T."},{"key":"e_1_3_2_1_76_1","unstructured":"Alastair Ruddle David Ward Benjamin Weyl Sabir Idrees Yves Roudier Michael Friedewald Timo Leimbach Andreas Fuchs Sigrid G\u00fcrgens Olaf Henniger 2009. Deliverable D2. 3: Security requirements for automotive on-board networks based on dark-side scenarios. In EVITA project. Alastair Ruddle David Ward Benjamin Weyl Sabir Idrees Yves Roudier Michael Friedewald Timo Leimbach Andreas Fuchs Sigrid G\u00fcrgens Olaf Henniger 2009. Deliverable D2. 3: Security requirements for automotive on-board networks based on dark-side scenarios. In EVITA project."},{"key":"e_1_3_2_1_77_1","unstructured":"Eike Stadtl\u00e4nder. 2018. IPsecTamarin. https:\/\/github.com\/estadtlaender\/IPsecTamarin. Eike Stadtl\u00e4nder. 2018. IPsecTamarin. https:\/\/github.com\/estadtlaender\/IPsecTamarin."},{"key":"e_1_3_2_1_78_1","unstructured":"Ammar Talic. 2017. Security analysis of ethernet in cars. Master\u2019s thesis. KTH Royal Institute of Technolog Stockholm Sweden. Ammar Talic. 2017. Security analysis of ethernet in cars. Master\u2019s thesis. KTH Royal Institute of Technolog Stockholm Sweden."},{"key":"e_1_3_2_1_79_1","unstructured":"The Tamarin Team. 2019. Tamarin-Prover Manual - Security Protocol Analysis in the Symbolic Model. The Tamarin Team. 2019. Tamarin-Prover Manual - Security Protocol Analysis in the Symbolic Model."},{"key":"e_1_3_2_1_80_1","doi-asserted-by":"crossref","unstructured":"Luca Vigano. 2006. Automated security protocol analysis with the AVISPA tool. Electronic Notes in Theoretical Computer Science 155 (05 2006) 61\u201386. https:\/\/doi.org\/10.1016\/j.entcs.2005.11.052 Luca Vigano. 2006. Automated security protocol analysis with the AVISPA tool. Electronic Notes in Theoretical Computer Science 155 (05 2006) 61\u201386. https:\/\/doi.org\/10.1016\/j.entcs.2005.11.052","DOI":"10.1016\/j.entcs.2005.11.052"},{"key":"e_1_3_2_1_81_1","volume-title":"Australian Information Security Management Conference","author":"White Thomas","year":"2017"},{"key":"e_1_3_2_1_82_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-68063-7_10"},{"key":"e_1_3_2_1_83_1","volume-title":"29th USENIX Security Symposium (USENIX Security 20)","author":"Xiong Yan","year":"2020"},{"key":"e_1_3_2_1_84_1","doi-asserted-by":"publisher","DOI":"10.1145\/3098954.3105824"},{"key":"e_1_3_2_1_85_1","first-page":"1","article-title":"Anonymous Charging and Billing of Electric Vehicles. In Proceedings of the 13th International Conference on Availability, Reliability and Security","volume":"22","author":"Zelle Daniel","year":"2018","journal-title":"ARES. ACM"},{"key":"e_1_3_2_1_86_1","volume-title":"2020 7th IEEE International Conference on Cyber Security and Cloud Computing (CSCloud)\/2020 6th IEEE International Conference on Edge Computing and Scalable Cloud (EdgeCom). 132\u2013138","author":"Zhang J."}],"event":{"name":"CSCS '20: Computer Science in Cars Symposium","location":"Feldkirchen Germany","acronym":"CSCS '20","sponsor":["SIGGRAPH ACM Special Interest Group on Computer Graphics and Interactive Techniques"]},"container-title":["Computer Science in Cars Symposium"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3385958.3430482","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3385958.3430482","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:02:15Z","timestamp":1750197735000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3385958.3430482"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,12,2]]},"references-count":84,"alternative-id":["10.1145\/3385958.3430482","10.1145\/3385958"],"URL":"https:\/\/doi.org\/10.1145\/3385958.3430482","relation":{},"subject":[],"published":{"date-parts":[[2020,12,2]]}}}