{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,16]],"date-time":"2026-03-16T17:20:19Z","timestamp":1773681619761,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":56,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,6,7]],"date-time":"2015-06-07T00:00:00Z","timestamp":1433635200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CNS-0917375"],"award-info":[{"award-number":["CNS-0917375"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000185","name":"Defense Advanced Research Projects Agency","doi-asserted-by":"publisher","award":["FA8750-12-C-0284"],"award-info":[{"award-number":["FA8750-12-C-0284"]}],"id":[{"id":"10.13039\/100000185","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000104","name":"National Aeronautics and Space Administration","doi-asserted-by":"publisher","award":["NRA NNA13AC55C"],"award-info":[{"award-number":["NRA NNA13AC55C"]}],"id":[{"id":"10.13039\/100000104","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000006","name":"Office of Naval Research","doi-asserted-by":"publisher","award":["N00014-14-1-0815 and N00014-14-1-0816"],"award-info":[{"award-number":["N00014-14-1-0815 and N00014-14-1-0816"]}],"id":[{"id":"10.13039\/100000006","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,6,7]]},"DOI":"10.1145\/2744769.2747920","type":"proceedings-article","created":{"date-parts":[[2015,6,2]],"date-time":"2015-06-02T05:35:02Z","timestamp":1433223302000},"page":"1-6","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":18,"title":["Design and verification for transportation system security"],"prefix":"10.1145","author":[{"given":"Bowen","family":"Zheng","sequence":"first","affiliation":[{"name":"University of California at Riverside, Riverside, CA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wenchao","family":"Li","sequence":"additional","affiliation":[{"name":"SRI International, Menlo Park, CA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peng","family":"Deng","sequence":"additional","affiliation":[{"name":"University of California at Riverside, Riverside, CA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L\u00e9onard","family":"G\u00e9rard","sequence":"additional","affiliation":[{"name":"SRI International, Menlo Park, CA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Qi","family":"Zhu","sequence":"additional","affiliation":[{"name":"University of California at Riverside, Riverside, CA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Natarajan","family":"Shankar","sequence":"additional","affiliation":[{"name":"SRI International, Menlo Park, CA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2015,6,7]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"1","volume-title":"Signal Processing and Communication Systems (ICSPCS), 2012 6th International Conference on","author":"M. S.","year":"2012"},{"key":"e_1_3_2_1_2_1","first-page":"187","volume-title":"Proceedings of the 5th NASA Langley Formal Methods Workshop","author":"Bensalem S.","year":"2000"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1289927.1289964"},{"key":"e_1_3_2_1_4_1","first-page":"1","volume-title":"USENIX Security","volume":"5","author":"Bono S.","year":"2005"},{"key":"e_1_3_2_1_5_1","volume-title":"USENIX Security Symposium","author":"Checkoway S.","year":"2011"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2735960.2735972"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/SIES.2014.6871195"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08867-9_49"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30206-3_15"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.comcom.2014.02.020"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1023875.1023881"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/ITST.2009.5399279"},{"key":"e_1_3_2_1_13_1","first-page":"1","volume-title":"Proceedings of Workshop on Embedded Security in Cars (ESCAR)","volume":"6","author":"Hu Y.-C.","year":"2006"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-35416-8_21"},{"issue":"96","key":"e_1_3_2_1_15_1","first-page":"33","article-title":"Inter-vehicle communication: Emergency message delay distributions","volume":"8","author":"Kajackas A.","year":"2009","journal-title":"Journal of Electronics and Electrical Engineering"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/SURV.2011.061411.00019"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2011.2132790"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2010.34"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2014.6961845"},{"key":"e_1_3_2_1_20_1","volume-title":"In proceedings of 12th IEEE International Conference on Network Protocols (ICNP 2004)","author":"Leinm\u00fcller T.","year":"2004"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/WC-M.2006.250353"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/1874620.1874883"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"crossref","unstructured":"Y.\n      Li\n    .\n  An overview of the DSRC\/WAVE technology\n  . In X. Zhang and D. Qiao editors Quality Reliability Security\n   and Robustness in Heterogeneous Networks volume \n  74\n   of \n  Lecture Notes of the Institute for Computer Sciences Social Informatics and Telecommunications Engineering pages \n  544\n  --\n  558\n  . \n  Springer Berlin Heidelberg 2012\n  .  Y. Li. An overview of the DSRC\/WAVE technology. In X. Zhang and D. Qiao editors Quality Reliability Security and Robustness in Heterogeneous Networks volume 74 of Lecture Notes of the Institute for Computer Sciences Social Informatics and Telecommunications Engineering pages 544--558. Springer Berlin Heidelberg 2012.","DOI":"10.1007\/978-3-642-29222-4_38"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/CyberSecurity.2012.7"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/2561828.2561852"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/2691365.2691371"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"crossref","unstructured":"S.\n      Loos A.\n      Platzer and \n      L.\n      Nistor\n  . \n  Adaptive cruise control: Hybrid distributed and now formally verified\n  . In M. Butler and W. Schulte editors FM \n  2011\n  : Formal Methods volume \n  6664\n   of \n  Lecture Notes in Computer Science pages \n  42\n  --\n  56\n  . \n  Springer Berlin Heidelberg 2011.   S. Loos A. Platzer and L. Nistor. Adaptive cruise control: Hybrid distributed and now formally verified. In M. Butler and W. Schulte editors FM 2011: Formal Methods volume 6664 of Lecture Notes in Computer Science pages 42--56. Springer Berlin Heidelberg 2011.","DOI":"10.1007\/978-3-642-21437-0_6"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1109\/MOVE.2007.4300809","volume-title":"Delay and broadcast reception rates of highway safety applications in vehicular ad hoc networks. In 2007 Mobile networking for vehicular environments","author":"Ma X.","year":"2007"},{"issue":"22","key":"e_1_3_2_1_29_1","first-page":"45","article-title":"Security attacks with an effective solution for DoS attacks","volume":"66","author":"Malla A. M.","year":"2013","journal-title":"VANET. International Journal of Computer Applications"},{"key":"e_1_3_2_1_30_1","unstructured":"S. Mitsch. Modeling and analyzing hybrid systems with sphinx. http:\/\/www.cs.cmu.edu\/~smitsch\/tools.html Dec 2013.  S. Mitsch. Modeling and analyzing hybrid systems with sphinx. http:\/\/www.cs.cmu.edu\/~smitsch\/tools.html Dec 2013."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2011.5940552"},{"issue":"9","key":"e_1_3_2_1_32_1","first-page":"4268","article-title":"String-stable cacc design and experimental validation: A frequency-domain approach. Vehicular Technology","volume":"59","author":"Naus G.","year":"2010","journal-title":"IEEE Transactions on"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/VETECF.2008.259"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-88181-0_11"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"crossref","unstructured":"S.\n      Owre J.\n      Rushby and \n      N.\n      Shankar\n  . \n  PVS: A prototype verification system\n  . In D. Kapur editor Automated Deduction CADE'11 volume \n  607\n   of \n  Lecture Notes in Computer Science pages \n  748\n  --\n  752\n  . \n  Springer Berlin Heidelberg 1992\n  .   S. Owre J. Rushby and N. Shankar. PVS: A prototype verification system. In D. Kapur editor Automated Deduction CADE'11 volume 607 of Lecture Notes in Computer Science pages 748--752. Springer Berlin Heidelberg 1992.","DOI":"10.1007\/3-540-55602-8_217"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/MCOM.2008.4689252"},{"key":"e_1_3_2_1_37_1","unstructured":"L. Pike J. Sharp M. Tullsen P. C. Hickey and J. Bielman. Securing the automobile: a comprehensive approach. http:\/\/www.galois.com\/~leepike\/pike-car-security.pdf 2015.  L. Pike J. Sharp M. Tullsen P. C. Hickey and J. Bielman. Securing the automobile: a comprehensive approach. http:\/\/www.galois.com\/~leepike\/pike-car-security.pdf 2015."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-008-9103-8"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71070-7_15"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2011.6082981"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.5555\/1370616.1370618"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/WC-M.2006.250352"},{"key":"e_1_3_2_1_43_1","volume-title":"Technical Report DOT HS 810 591, U.S. Department of Transportation","author":"Vehicle","year":"2006"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/1614269.1614291"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.5555\/2485288.2485398"},{"key":"e_1_3_2_1_46_1","first-page":"12","volume-title":"2012 IEEE 1st International Workshop on","author":"Schweppe H.","year":"2012"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSNW.2013.6615528"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2009.5270342"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/2566468.2566483"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2006.884615"},{"key":"e_1_3_2_1_51_1","volume-title":"ECRYPT Workshop on Lightweight Cryptography 2011","author":"Herrewege A. Van","year":"2011"},{"key":"e_1_3_2_1_52_1","volume-title":"Workshop on Embedded Security in Cars","author":"Wolf M.","year":"2004"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1109\/INFCOM.2013.6566955"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jpdc.2013.02.001"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/2560519.2565873"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.5555\/2485288.2485604"}],"event":{"name":"DAC '15: The 52nd Annual Design Automation Conference 2015","location":"San Francisco California","acronym":"DAC '15","sponsor":["SIGDA ACM Special Interest Group on Design Automation"]},"container-title":["Proceedings of the 52nd Annual Design Automation Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2744769.2747920","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2744769.2747920","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:12:36Z","timestamp":1750227156000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2744769.2747920"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,6,7]]},"references-count":56,"alternative-id":["10.1145\/2744769.2747920","10.1145\/2744769"],"URL":"https:\/\/doi.org\/10.1145\/2744769.2747920","relation":{},"subject":[],"published":{"date-parts":[[2015,6,7]]},"assertion":[{"value":"2015-06-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}