{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,4,18]]，“日期时间”：“2024-04-18T11:14:37Z”，“时间戳”：1713438877755}，“引用-计数”：38，“发布者”：“IEEE”，“内容域”：{“域”：[]，“交叉标记-限制”：false}，”短容器时间“：[]”，“发布-打印”：{“日期部分”：[[2018,9]]}，“DOI”：“10.1109\/edcc.2018.00018”，“type”：“proceedings-article”，“created”：{“date-parts”：[[2018,11,12]]，“date-time”：“2018-11-12T23:47:57Z”，“timestamp”：1542066477000}，“source”：《Crossref》，“is-referenced-by-count”：15，“title”：[“使用模型实现的故障注入研究安全与安全之间的相互作用”]，“前缀”：“101109”，“author”：[{“given”：“Behrooz”，“family”：“Sangchoolie”，“sequence”：“first”，“affiliation”：[]}新闻标题“：“ISO\/SAE AWI 21434道路车辆安全工程”}，{“key”：“ref33”，“year”：“0”，“journal-title”：“Build CAN communication simulink models”}“}，{”key“：”ref31“，”doi-asserted-by“：”publisher“，”doi“：”10.1109\/SURV.2011.04111000022“}”，{“key”：“ref30”，“doi-assert-by”：“publisher”，“doi”：“10.1109\/CSFW.1994.315935”}，“key“:”ref37“，”year“：”2009“，”journal-title“：”IEC\/TR 62443-3-1工业通信网络-网络和系统安全-第3-1部分-工业自动化和控制系统的安全技术“}，{“key”：“ref36”，“year”：“0”，“journal-title”：“VeTeSS-验证和测试以支持功能安全标准项目”}，}“key:”ref35“，”year“：”0“，”journal-title“：”TIMMO-计时模型项目“}，{“key”：“ref34”，“doi-asserted-by”：“publisher”，“doi”：“10.1109”\/EDCC.2015.24“}、{“key”：“ref10”，“year”：“0”，“journal-title”：“Matlab \/Simulink”}，}“KE”：”ref11“author”：“swiderski”，“year”：”2004“journal-title“：”威胁建模“}”，{”key“：“ref12”，“doi-assertd-by”：“publisher”，“doi”：“10.1007\/978-3642-15651-9_16”}，{“key”：“ref13”，“doi断言者”：“publisher”，“doi”：“10.1109\/TDSC.2004.2”}，{“key”：“ref14”，“doi断言者”：“publisher”，“doi”：“10.17487\/rfc2288”}，{“key”：“ref15”，“year”：“2016”，“期刊标题”：“ISO 27000信息技术-安全技术-信息安全管理系统-概述和词汇第三版”}，{“key”：“ref16”doi-asserted-by“：”publisher“，”doi“：”10.1109\/FDTC.2011.12“}，{“key”：“ref17”，“doi-assert-by”：“publisher”，“doi”：“10.1155\/2013\/101907”}，“key“：”ref18“，”doi-assered-by“：”publisher“，”doi“：“10.1109\/TSE.2009.91”}\/ISCA.2014.6853210“}，{“key”：“ref28”，“year”：“0”，“journal-title”：“HEAling Vulnerabilities to ENhance Software Security and Safety（HEAVENS）“}，{“key”：“ref4”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/DSN.2009.5270349”}，}，“key“：”ref27“，”first page“：“416”，“author”：“srivatanakul”，“year”：“2004”，“journal-title”：“Effective Security Requirements Analysis HAZOP and Use Cases”}：“2001”，“journal-title”：“可靠性的基本概念”}，{“key”：“ref6”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/TDSC.2013.45”}，{“键”：“参考8”，“doi-asserted-by“：”publisher“，”doi“：”10.1109\/DSN.2006.72“}，{“key”：“ref7”，“doi-assert-by”：“publisher”，“doi”：“10.1109\/DSN.2017.59”}，“key“：”ref2“，”year“：”2011“，”journal-title“：”ISO Standard“}《汽车嵌入式系统手册》章节“汽车嵌入式系统的基于模型的开发”，｛“key”：“ref1”，“year”：“2010”，“期刊标题”：“IEC 61508电气/电子/可编程电子安全相关系统的功能安全”，｛“key”：“ref20”，“year”：“0”，“期刊标题”：“行锤特权升级漏洞”，｛“key”：“ref22“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/978-3-319-24255-2_11“}，{“key”：“ref21”，“doi-assert-by”：“publisher”，“doi”：“10.1007\/978-3-319-45477-1_2”}，“key“：：“publisher”，“doi”：“10.1109\/DSNW.2013.6615531”}，{“key”：“ref26”，“year”：“0“，”journal-title“：”Common Vulnerability Scoring System“}，{”key“：”ref25“，”doi-asserted-by“：”publisher“，”doi“：”10.1109\/ICVES.2017.7991928“}]，”event“：{”name“：”2018年第14届欧洲可靠计算会议（EDCC）“，”location“：”Iasi“，”start“：”{“date-parts”：[[2018,9,10]}，“end”：{“日期-parts“：[2018,9,14]]}}，”集装箱标签“：[”2018年第十四届欧洲可靠计算会议（EDCC）“]，”original-title“：[]，”link“：[{”URL“：”http://\/xplorestaging.ieee.org\/ielx7\/8529146\/8530759.pdf？arnumber=8530759“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2022,1,27]]，”date-time“2022-01-27T02:00:12Z“，”timestamp“：1643248812000}，”score“：1，”resource“：{”primary”：{“URL”：“https:\/\/ieeexplore.iee.org\/document\/8530759\/”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[[2018,9]]}，《references-count》：38，“URL”:“http://\/dx.doi.org\/10.109\/edcc”。2018.00018“，”关系“：{}，”主题“：[]，”发布“：{”日期部分“：[[2018,9]]}}}