{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,9,5]]，“日期时间”：“2024-09-05T17:37:27Z”，“时间戳”：1725557847042}，“出版商位置”：“柏林，海德堡”，“参考计数”：10，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“类型”：”打印“，“值”：“9783540 201267“}，{”类型“：“electronic”，“value”：“9783540398783”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2003]]}，”DOI“：”10.1007\/978-3-540-39878-3_23“，”type“：”book-capter“，”created“：”{“date-part”：[2010,6,23]]，“date-time”：“2010-06-23T22:39:39:03Z“，”时间戳“：1277332743000}，”页面“：”289-302“，“source”：“Crossref”，“is-referenced-by-count”：7，“title”：[“通过故障树增强软件安全：从应用程序到飞行关键软件的经验”]，“prefix”：“10.1007”，”author“：[{”given“：”Wolfgang“，”family“：”Weber“，”sequence“：”first“，”affiliation“：[]}，{”fivent“：”Heidemarie“，”“family”：“Tondok”：“Michael”，“family”：“Bachmayer”，“sequence”：“additional”，“affiliation”：[]}]，“member”：“297”，“reference”：[{“key”：“23_CR1”，”unstructured“：“U.S.Nuclear Regulatory Commission:Fault Tree Handbook，NUREG-0492，Washington，D.C（1981）”}，{“issue”：“5”，“key“23_CR2”，“doi-asserted-by”：”publisher，“首页”：“569”，“doi”：“10.1109\/TSE.1983.235116“，”卷“：“9”，“author”：“N.Leveson”，“year”：“1983”，“unstructured”：“Leveson，N.，Harvey，P.：分析软件安全。IEEE Transaction on Software Engineering（5），569\u2013579（1983）”，“journal-title”：“IEEE Transssion on Software Engineering”}，{“issue”：“4”，“key”：“23_CR3”，“doi-asserted-by”：“publisher”，“first-page”：“48”，“doi”：“10.1109\/52300036”，“卷”：“8”，“作者”：“N.Leveson”，“年份”：“1991”，“非结构化”：“Leveson，N.，Cha，S.，Shimeall，T.：使用软件故障树对Ada程序进行安全验证。IEEE软件\u00a08（4），48\u201359（1991）”，“期刊标题”：“IEEE软件”}，｛“卷标题”：“安全软件：系统安全与计算机”，“年份”：“1995”，“作者”：“N.Leveson”，“密钥”：“23_CR4”，“非结构化”：“Leveson，N.：安全软件：系统安全和计算机。Addison-Wesley，Reading（1995）”}，{“key”：“23_CR5”，“doi-asserted-by”：“crossref”，“非结构”：“Helmer，G.，Wong，J.，Slagell，M.，Honavar，V.，Miller，L.，Lutz，R.：入侵检测系统需求分析的软件故障树方法。摘自：美国印第安纳波利斯信息安全需求工程研讨会论文集（2001年），http://www.palisadesys.com\/~ghelmer\/backagent.html”，“DOI”：“10.1007\/s00766020016”}，{“key”：“23_CR6”，“unstructured”：“鲍曼，W.C.，Archinoff，G.H.，Raina，V.M.，Tremaine，D.R.，Leveson，N.G.：故障树分析在安大略水电安全关键软件中的应用。In:概率安全评估与管理会议（PSAM），贝弗利山庄（1991年4月）”}：“D\u2019Ambrogio，A.，Iazeolla，G.，Mirandola，R.：预测软件可靠性的方法。In：第六届IASTED软件工程与应用会议（SEA 2002），马萨诸塞州剑桥，美国（2002），http://sel.info.uniroma2.it\/publications.htm”}，{“key”：“23_CR8”，“doi-asserted-by”：“crossref”，“unstructured”：“Pai，G.，Bechta Dugan，J.：从UML系统模型自动合成动态故障树。摘自：软件可靠性工程国际研讨会（ISSRE 2002），美国马里兰州安纳波利斯（2002），www.ee.virginia.edu\/~gjp5j\/professional\/research\/resource.htm”，“DOI”：“10.1109\/ISSRE.2002.1173261”}，{“key”：“23_CR9”，“unstructured”：“Papadopoulos，Y.，Maruhn，M.：基于模型的Matlab-Simulink模型故障树自动合成。摘自：可靠系统和网络国际会议（DSN 2001），瑞典哥德堡（2001），http://\/www2.dcs.hull.ac.uk\/people\/cssyp\/”}，{“key”：“23_CR10”，“unstructured”：“Mason，R.W.：软件故障树分析的故障隔离工具，Storming Media，华盛顿（1995），http://www.stormingmedia.us\/cgi-bin\/99\/9934\/A993492-54-33t.php”}]，“container-title”：[“计算机科学中的讲义”，“计算机安全性、可靠性和安全性”]，“original-title“：[]，”链接“：[{”URL“：“http://\/link.springer.com/content\/pdf\/10.1007\/978-3540-39878-3_23”，“content-type”：“未指定”，“内容-版本”：“vor”，“intended-application”：“相似性检查”}]，“存放”：：“http:\/\/link.springer.com\/10.1007\/978-3-540-39878-3_23”｝｝，“副标题”：[]，“短标题”：[]，“已发布”：｛“日期部分”：[[2003]]｝，“国际标准图书编号”：[“9783540201267”，“9783540398783”]，“参考文献计数”：10，“URL”：“http:\/\/dx.doi.org/10.1007\/978-3-540-39878-3_23”，“关系”：｛｝，“ISSN”：[“0302-9743”，“161161 1-3349“]，”ISSN类型“：[｛”类型“：”打印“，”值“：”0302-9743“｝，{“类型”：“电子”，“值”：“1611-3349”}]，“主题”：[]，“发布”：{“日期部分”：[[2003]]}}