{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T09:53:31Z","timestamp":1730195611421,"version":"3.28.0"},"reference-count":26,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,11,1]],"date-time":"2019-11-01T00:00:00Z","timestamp":1572566400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,11,1]],"date-time":"2019-11-01T00:00:00Z","timestamp":1572566400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,11,1]],"date-time":"2019-11-01T00:00:00Z","timestamp":1572566400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,11]]},"DOI":"10.1109\/aiccsa47632.2019.9035273","type":"proceedings-article","created":{"date-parts":[[2020,3,17]],"date-time":"2020-03-17T03:08:51Z","timestamp":1584414531000},"page":"1-8","source":"Crossref","is-referenced-by-count":1,"title":["A Meta Language for Cyber-Physical Systems and Threats: Application on Autonomous Vehicle"],"prefix":"10.1109","author":[{"given":"Samir","family":"Ouchani","sequence":"first","affiliation":[]},{"given":"Abdelaziz","family":"Khaled","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"OMG Systems Modeling Language (OMG SysML) Specification Object Management Group","year":"2007","key":"ref10"},{"journal-title":"SysML for Systems Engineering","year":"2007","author":"holt","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33826-7_18"},{"key":"ref13","doi-asserted-by":"crossref","first-page":"2021","DOI":"10.1109\/JPROC.2003.819611","article-title":"Comparing Passwords, Tokens, and Biometrics for User Authentication","volume":"91","author":"ogorman","year":"0","journal-title":"Proc of the IEEE"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/SERE.2013.11"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2007.11.716"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2008.88"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30187-5_26"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-009-0093-9"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-009-0091-y"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-35746-6_1"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/s12652-013-0179-6"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.60"},{"key":"ref5","article-title":"Nims information security threat methodology","author":"abrams","year":"1998","journal-title":"MITRE Center for Advanced Aviation System Develop-ment McLean Virgini Mitre Technical Report MTR 98 W000009"},{"journal-title":"Googling attack graphs ser Technical memorandum Defence R&D Canada - Ottawa","year":"2007","author":"sawilla","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/11734727_17"},{"key":"ref2","first-page":"117","article-title":"Automated Verification of Finite State Concurrent Systems Using Temporal Logic Specifications: A Practical Approach","author":"clarke","year":"0","journal-title":"Proc of POPL"},{"journal-title":"Scenario graphs and attack graphs","year":"2004","author":"sheyner","key":"ref9"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.1983.1056650"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/s13119-012-0012-0"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/2076732.2076738"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2006.06.002"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/2414456.2414500"},{"key":"ref23","first-page":"529","article-title":"Attacks generation by detecting attack surfaces,” Procedia Computer Science","volume":"32","author":"ouchani","year":"0","journal-title":"the 5th International Conference on Ambient Systems Networks and Technologies (ANT-2014) the 4th International Conference on Sustainable Energy Information Technology (SEIT-2014)"},{"key":"ref26","first-page":"6","article-title":"Comprehensive Experimental Analyses of Automotive Attack Surfaces","author":"checkoway","year":"0","journal-title":"Proceedings of the 20th USENIX Conference on Security (SEC'11)"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/2381934.2381948"}],"event":{"name":"2019 IEEE\/ACS 16th International Conference on Computer Systems and Applications (AICCSA)","start":{"date-parts":[[2019,11,3]]},"location":"Abu Dhabi, United Arab Emirates","end":{"date-parts":[[2019,11,7]]}},"container-title":["2019 IEEE\/ACS 16th International Conference on Computer Systems and Applications (AICCSA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9006726\/9035208\/09035273.pdf?arnumber=9035273","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,18]],"date-time":"2022-07-18T15:30:10Z","timestamp":1658158210000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9035273\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,11]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/aiccsa47632.2019.9035273","relation":{},"subject":[],"published":{"date-parts":[[2019,11]]}}}