{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,1]],"date-time":"2026-10-01T17:59:12Z","timestamp":1790877552734,"version":"4.1.0"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,6,1]],"date-time":"2014-06-01T00:00:00Z","timestamp":1401580800000},"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":[[2014,6]]},"DOI":"10.1145\/2593069.2593095","type":"proceedings-article","created":{"date-parts":[[2014,5,27]],"date-time":"2014-05-27T12:57:10Z","timestamp":1401195430000},"page":"1-6","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":55,"title":["Aspect-oriented Modeling of Attacks in Automotive Cyber-Physical Systems"],"prefix":"10.1145","author":[{"given":"Armin","family":"Wasicek","sequence":"first","affiliation":[{"name":"University of California, Berkeley"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Patricia","family":"Derler","sequence":"additional","affiliation":[{"name":"University of California, Berkeley"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Edward A.","family":"Lee","sequence":"additional","affiliation":[{"name":"University of California, Berkeley"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2014,6]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2004.2"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2009.2037771"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1966913.1966959"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.Workshops.2008.40"},{"key":"e_1_3_2_1_6_1","unstructured":"J. Cardoso P. Derler J. C. Eidson E. A. Lee S. Matic Y. Zhao and J. Zou. Modeling timed systems. In C. Ptolemaeus editor System Design Modeling and Simulation using Ptolemy II page 355. Ptolemy.org 2014.  J. Cardoso P. Derler J. C. Eidson E. A. Lee S. Matic Y. Zhao and J. Zou. Modeling timed systems. In C. Ptolemaeus editor System Design Modeling and Simulation using Ptolemy II page 355. Ptolemy.org 2014."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1981.32"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805829"},{"key":"e_1_3_2_1_9_1","first-page":"4","article-title":"W32.stuxnet dossier","volume":"1","author":"Falliere N.","year":"2011","journal-title":"Security Response"},{"key":"e_1_3_2_1_10_1","volume-title":"Inc.","author":"Gamma E.","year":"1995"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2008.05.004"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0053381"},{"key":"e_1_3_2_1_14_1","unstructured":"B. Kordy L. Pietre-Cambacedes and P. Schweitzer. Dag-based attack and defense modeling: Don't miss the forest for the attack trees. arXiv 1303.7397 2013.  B. Kordy L. Pietre-Cambacedes and P. Schweitzer. Dag-based attack and defense modeling: Don't miss the forest for the attack trees. arXiv 1303.7397 2013."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2008.25"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1837274.1837462"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04425-0_31"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1653662.1653666"},{"issue":"11","key":"e_1_3_2_1_19_1","first-page":"2715","article-title":"Attack detection and identification in cyber-physical systems. Automatic Control","volume":"58","author":"Pasqualetti F.","year":"2013","journal-title":"IEEE Transactions on"},{"key":"e_1_3_2_1_20_1","unstructured":"C. Ptolemaeus editor. System Design Modeling and Simulation using Ptolemy II. Ptolemy.org 2014.  C. Ptolemaeus editor. System Design Modeling and Simulation using Ptolemy II. Ptolemy.org 2014."},{"key":"e_1_3_2_1_21_1","volume-title":"NIST","author":"Tassey G.","year":"2002"},{"key":"e_1_3_2_1_22_1","volume-title":"Proceedings of the 14th National Computer Security Conference","author":"Weiss J. D.","year":"1991"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.40"}],"event":{"name":"DAC '14: The 51st Annual Design Automation Conference 2014","location":"San Francisco CA USA","acronym":"DAC '14","sponsor":["EDAC Electronic Design Automation Consortium","SIGBED ACM Special Interest Group on Embedded Systems","SIGDA ACM Special Interest Group on Design Automation","IEEE-CEDA"]},"container-title":["Proceedings of the 51st Annual Design Automation Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2593069.2593095","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2593069.2593095","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:55:58Z","timestamp":1750229758000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2593069.2593095"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,6]]},"references-count":21,"alternative-id":["10.1145\/2593069.2593095","10.1145\/2593069"],"URL":"https:\/\/doi.org\/10.1145\/2593069.2593095","relation":{},"subject":[],"published":{"date-parts":[[2014,6]]},"assertion":[{"value":"2014-06-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}