{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:19:34Z","timestamp":1750220374663,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":10,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,8,17]],"date-time":"2021-08-17T00:00:00Z","timestamp":1629158400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,8,17]]},"DOI":"10.1145\/3465481.3470103","type":"proceedings-article","created":{"date-parts":[[2021,8,16]],"date-time":"2021-08-16T17:57:21Z","timestamp":1629136641000},"page":"1-7","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Formal Validation of Credibility and Accuracy Assessment of Safety Messages in VANETs"],"prefix":"10.1145","author":[{"given":"Ons","family":"Chikhaoui","sequence":"first","affiliation":[{"name":"Digital Security Research Laboratory, Higher School of Communication of Tunis (SUP'COM), University of Carthage, Tunis, Tunisia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aida","family":"Ben Chehida Douss","sequence":"additional","affiliation":[{"name":"Digital Security Research Laboratory, Higher School of Communication of Tunis (SUP'COM), University of Carthage, Tunis, Tunisia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ryma","family":"Abassi","sequence":"additional","affiliation":[{"name":"Digital Security Research Laboratory, Higher School of Communication of Tunis (SUP'COM), University of Carthage, Tunis, Tunisia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sihem","family":"Guemara El Fatmi","sequence":"additional","affiliation":[{"name":"Digital Security Research Laboratory, Higher School of Communication of Tunis (SUP'COM), University of Carthage, Tunis, Tunisia"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,8,17]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/3230833.3232827"},{"key":"e_1_3_2_1_2_1","volume-title":"Proceedings of the\u00a0European, Mediterranean, and Middle Eastern Conference on Information Systems\u00a0(EMCIS). Springer, Cham, Dubai, United Arab Emirates, 391-402","author":"Chikhaoui Ons","year":"2019","unstructured":"Ons Chikhaoui, Aida Ben Chehida Douss, Ryma Abassi, and Sihem Guemara El Fatmi. 2019. A formal environment for credibility and accuracy assessment of safety messages exchanged in VANETs. In Proceedings of the\u00a0European, Mediterranean, and Middle Eastern Conference on Information Systems\u00a0(EMCIS). Springer, Cham, Dubai, United Arab Emirates, 391-402."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/IBCAST.2019.8667248"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/VETECS.2008.610"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/EIConRus49466.2020.9039124"},{"key":"e_1_3_2_1_6_1","first-page":"1","volume-title":"proceedings of NOMS 2020-2020 IEEE\/IFIP Network Operations and Management Symposium. IEEE","author":"Ruqayah","year":"2020","unstructured":"Ruqayah Al-ani, Bo Zhou, Qi Shi, Thar Baker, and Mohamed Abdlhamed. 2020. Adjusted location privacy scheme for VANET safety applications. In proceedings of NOMS 2020-2020 IEEE\/IFIP Network Operations and Management Symposium. IEEE, Budapest, Hungary, 1-4."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICoICT49345.2020.9166174"},{"key":"e_1_3_2_1_8_1","volume-title":"Manvia and Shrikant Tangade","author":"Sunilkumar","year":"2017","unstructured":"Sunilkumar S. Manvia and Shrikant Tangade. 2017. A survey on authentication schemes in VANETs for secured communication. Vehicular Communications, 9, (July 2017), 19-30."},{"key":"e_1_3_2_1_9_1","volume-title":"and\u00a0Muhammad Zia Ur Rahman","author":"Gayathri N. B.","year":"2018","unstructured":"N. B. Gayathri,\u00a0Gowri Thumbur,\u00a0P. Vasudeva Reddy, and\u00a0Muhammad Zia Ur Rahman. 2018. Efficient pairing-free certificateless authentication scheme with batch verification for vehicular ad-hoc networks. IEEE Access, 6, (18 June 2018), 31808-31819."},{"key":"e_1_3_2_1_10_1","volume-title":"Proceedings of the International Conference on Cryptology and Network Security (CANS). Springer, Cham, Marrakesh, Morocco, 144-159","author":"Chehida Douss Aida Ben","year":"2015","unstructured":"Aida Ben Chehida Douss, Ryma Abassi, Nihel Ben Youssef, and Sihem Guemara El Fatmi. 2015. A formal environment for MANET organization and security. In Proceedings of the International Conference on Cryptology and Network Security (CANS). Springer, Cham, Marrakesh, Morocco, 144-159."}],"event":{"name":"ARES 2021: The 16th International Conference on Availability, Reliability and Security","acronym":"ARES 2021","location":"Vienna Austria"},"container-title":["Proceedings of the 16th International Conference on Availability, Reliability and Security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3465481.3470103","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3465481.3470103","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:17:42Z","timestamp":1750191462000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3465481.3470103"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,8,17]]},"references-count":10,"alternative-id":["10.1145\/3465481.3470103","10.1145\/3465481"],"URL":"https:\/\/doi.org\/10.1145\/3465481.3470103","relation":{},"subject":[],"published":{"date-parts":[[2021,8,17]]},"assertion":[{"value":"2021-08-17","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}