｛“状态”：“正常”，“消息类型”：“工作”，“消息版本”：“1.0.0”，“消息”：｛“索引”：｛“日期部分”：[[2024,9,5]]，“日期时间”：“2024-09-05T17:37:27Z”，“时间戳”：1725557847218｝，“发布者位置”：“柏林，海德堡”，“引用计数”：10，“发布者”：“施普林格-柏林-海德堡”，“isbn类型”：[｛“类型”：“打印”，“值”：“9783540201267”｝，｛“类型”：“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_6“，”type“：”book-capter“，”created“：{”date-ports“：[2010,6,23]]，”date-time“：”2010-06-23T18:39:39:03Z“，”时间戳“：1277318343000}，”页面“：”63-76“，“source”：“Crossref”，“is-referenced-by-count”：4，“title”：[“COTS\/SOUP的完整性静态分析”]，“prefix”：“10.1007”，”author“：[{”given“：”P.“，”family“：”Bishop“，”sequence“：”first“，”affiliation“：[]}“，“附加”，“从属关系”：[]}，｛“给定”：“S.”，“family”：“Guerra”，“sequence”：“additional”，“affiliation”：[]｝，｛“给定”：“C.”，“family”：“Jones”，“sequence”：“additional”，“affiliation”：[]｝]，“member”：“297”，“reference”：[｛“key”：“6_CR1”，“series title”：“计算机科学讲义”，“doi asserted by”：“publisher”，“首页”：“198”，“doi”：“10.1007\/3-540-540-457732-1_20”，“卷标题”：“计算机安全、可靠性和安全”，“作者”：“P.G.Bishop”，“年份”：“2002年”，“非结构化”：“Bishop，P.G.，Bloomfield，R.E.，Clement，T.M.，Guerra，S.：COTS\/SOUP的软件关键性分析。In:Anderson，S.，Bologna，S.；Felici，M.，et al.（eds.）SAFECOMP 2002。LNCS，卷\u00a02434，第198页。Springer，Heidelberg（2002）“}，{“key”：“6_CR2”，“unstructured”：“Bishop，P.G.，Bloomfield，R.E.，Froome，P.K.D.：证明在安全相关应用中使用不确定谱系软件（SOUP）的合理性。报告编号：CRR336 HSE Books（2001）ISBN 0 7176 2010 7，http://www.HSE.gov.uk \/research\/crr_pdf \/2001\/crr01336.pdf”}，“{”key“6_CR3”，“doi-asserted-by“：”crossref“，”unstructured“：”新泽西州沃德：Sizewell\u2018B\u2019初级保护系统软件的严格回顾性静态分析。摘自：《第十二届计算机安全、可靠性和安全国际会议论文集》，Safecomp 1993（1993年10月），“DOI”：“10.1007\/978-1-4471-2_19”}，{“key”：“6_CR4”，“unstructured”：“Morton，S.：治愈症状：更安全的语言子集和安全代码开发。MISRA指南论坛（2001年10月非结构化”：“C语言在车载软件中的使用指南。MISRA（1998）“}，{”key“：”6_CR6“，”unstructured“：”PolySpace Technologies，http://www.PolySpace.com/“}”，{“key”：“6_CR7”，“unstructure”：“CodeSurfer用户指南和技术参考。1.0版，Grammatech（1999）”}，“volume-title”：“Safer C”，“year”：“1995”，“author”：“L.Hatton”，“key“”：”6_CR8“，”非结构化“：”Hatton，L.：Safer C。McGraw Hill，New York（1995）“}，{“volume-title”：“POPL 1977”，“year”：“1977”，”author“：”P.Cousot“，”key“：”6_CR9“，”unstructured“：”Cousot，P.，Cousot R.：抽象解释：通过构造或逼近不动点对程序进行静态分析的统一格模型。In:POPL 1977，ACM Press，New York（1977）doi-asserted-by“：”crossref“，”unstructured“：”Bishop，P.G.，Bloomfield，R.E.：长期可靠性增长预测的保守理论。IEEE传输。Reliability\u00a045（4）（1996年12月）“，”DOI“：”10.1109\/24.556578“}]，”container-title“：[”计算机科学课堂讲稿“，”计算机安全、可靠性和安全“]，”original-title”：[]，”link“：[{”URL“：”http://link.springer.com/content\/pdf\/10007\/978-3540-39878-3_6“，”content-type“：”unspecified“，”intended-application“：”相似性检查“}]，”存放“：{”日期-部分“：[[2019,5,30]]，”日期-时间“：”2019-05-30T06:53:38Z“，”时间戳“：1559199218000}，”分数“：1，”资源“：{primary”：{“URL”：“http://\link.sprimary.com\/10.10007\/978-3-540-39878-3_6”}}，“副标题”：[]，“短标题”：[]，“已发布”：{“日期-部分”：[2003]]}，“ISBN”：[“9783540201267”，“9783540398783“]，”references-count“：10，”URL“：”http://\/dx.doi.org\/10.1007\/978-3-540-39878-3_6“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，“ISSN-type”：[{“type”:“print”，“value”：“0302-974”}，{“类型”：“electronic”，“值”：“1611-3399”}]，“subject”：[]，“published”：{“date”parts“：[[2003]]}}