{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,9,11]]，“日期时间”：“2024-09-11T08:23:47Z”，“时间戳”：1726043027397}，“发布者位置”：“Cham”，“引用计数”：12，“发布商”：“Springer International Publishing”，“isbn-type”：[{“类型”：”print“，“值”：“9783030266004”}，{“type”：“电子”，“value”：“9783030266011”}]，“license”：[{“start”：{“date-parts”：[[2019,1,1]]，“date-time”：“2019-01-01T00:00:00Z”，“timestamp”：1546300800000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http://\www.springer.com\/tdm”}]ion“：false}，”short-container-title“：[]，”published-print“用法：{“date-parts”：[2019]]}，“DOI”：“10.1007\/978-3-030-26601-1_18”，“type”：“book-chapter”，“created”：{”date-part“：[[2019,9,1]]，“date-time”：“2019-09-01T19:02:43Z”，“timestamp”：1567364563000}，”page“：”254-268“，”update-policy“：“http://\/dx.DOI.org\/10007\/springer_crossmark_policy”，“source“：”Crossref“，”is-referenced-by-count“：10，”title“：[“使用数字可信性标识进行安全论证的自动证据分析”]，“前缀”：“10.1007”，“作者”：[{“给定”：“Jan”，“家族”：“Reich”，“sequence”：“first”，“affiliation”：[]}，{“given”：“Marc”，“family”：“Zeller”，“序列”：“additional”，“从属关系”：[]}，“member”：“297”，“published-online”：{“date-parts”：[[2019,8,8]]}，“reference”：[{“key”：“18_CR1”，“unstructured”：“DEIS Project Consortium:Project Publications.\n http://www.DEIS-Project.eu\/dission\/\n\n。2019年5月30日访问”}，{“key”：”18_CR2“unstrustured”：“欧洲电工技术标准化委员会（CENELEC）：欧洲电工技术委员会EN 50129：铁路应用-通信、信号和处理系统-信号安全相关电子系统（2003）”}，{“密钥”：“18_CR3”，“非结构化”：“国际标准化组织（ISO）：ISO 26262:道路车辆\u2014功能安全（2011）“}，{“key”：“18_CR4”，“unstructured”：“Kaiser，B.，Liggesmeyer，P.，M\u00e4ckel，O.：故障树的新组件概念。摘自：第八届澳大利亚安全关键系统和软件研讨会论文集（2003）”}，}，“key“：”18_CR5“，”doi-asserted-by“：”crossref“，”unstructure“：”Kelly，T.P.：安全案例管理的系统方法。收录于：《SAE 2004年世界大会（2004）》，“DOI”：“10.4271\/2004-01-1779”}，{“key”：“18_CR6”，“unstructured”：“Kelly，T.，Weaver，R.：目标结构化符号-安全论证符号。收录于《可靠系统和网络研讨会（2004）会议录》”}中，{《key》：“18-CR7”，“非结构化”：“对象管理组：结构化保证案例元模型2.0（SACM）（2018年）。\n https:\/\/www.omg.org\/spec\/SACM\/“}，{“key”：“18_CR8”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“publisher”，“first page”：”139“，”doi“：”10.1007\/3-540-48249-0_13“，”volume-title“：”计算机安全性、可靠性和安全性“，”author“：”Y Papadopoulos“，”年份“：”1999“，”非结构化“：”Papadopoulos，Y.，McDermid，J.A.：分层进行危险源和传播研究。收录：Felici，M.，Kanoun，K.（编辑）SAFECOMP 1999。LNCS，第1698卷，第139\u2013152页。斯普林格，海德堡（1999）。\n https:\/\/doi.org/10.1007\/3-540-448249-0_13“｝，｛“卷标题”：“基于模型的嵌入式系统工程\u2013 SPES 2020方法论”，“年份”：“2012”，“密钥”：“18_CR9”，“doi断言者”：“发布者”，“非结构化”：“Pohl，K.，H\u00f6nninger，H.，Achatz，R.，Broy，M.（编辑）：基于模型的嵌入式系统工程\u2013 SPES 2020方法。施普林格，海德堡（2012）。\n https:\/\/doi.org\/10.1007\/978-3-642-34614-9“，”doi“：”10.1007\/9783-642-34614-9“}，{“key”：“18_CR10”，“doi-asserted-by”：“crossref”，“unstructured”：“Schneider，D.，et al.：WAP：数字可靠性标识。摘自：IEEE软件可靠性工程国际研讨会（ISSRE），pp.324\u2013329（2015）”，“doi”：“10.1109 \/ISSRE.2015.7381825“}，{“key”：“18_CR11”，“unstructured”：“UNISIG:ETCS\/ERTMS各级ETCS技术互操作性的安全要求（子集-091，版本：3.6.0）”（2015）“}”，{”key“：”18_CR12“，”doi-asserted-by“：”publisher“，”首页“：”16“，”doi“：”10.1016\/j.infsof.2015.11.008“，“volume”：”72“，”author“：”JL Vara de la“，“年份”：“2016年”，“非结构化“：”de la Vara，J.L.等人：基于模型的关键系统安全合规需求规范：整体通用元模型。Inf.软件。Technol公司。72，16\u201330（2016）“，“新闻标题”：“Inf.Softw。Technol公司。“}]，”container-title“：[”计算机科学讲义“，”计算机安全、可靠性和安全“]，”original-title”：[]，”language“：”en“，”link“：[{”URL“：”http://\/link.springer.com\/content\/pdf\/10007\/978-3030-26601-1_18“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]“，”deposed“：{”date-parts“：[[2019,9,1]]，”date-time“：”2019-09-01T19:10:59Z“，”timestamp“：1567365059000}，”score“：1，”resource“：{主要”：{“URL”：“http://\/link.springer.com\/10.1007\/978-3-030-26601-1_18”}}，“副标题”：[]，“短标题”：[]，“已发布”：{“date-part”：[2019]]}，《国际标准图书编号》：[“9783030266004”，“9783030266011“]，”references-count“：12，”URL“：”http:\/\/dx.doi.org\/10.1007\/978-3-030-26601-1_18“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”type“:”print“，”value“：”0302-7743“}，{”类型“：”electronic“，”值“：”1611-33049“}]，”主题“：[]，”发布“：{”日期部分“：[2019]]}，“断言”：[{{“value”：“August 8”2019年“，”订单“：1，”名称“：”first_online“，”标签“：”first online“，“group”：{“name“：”ChapterHistory“，”label“：”Chapter History”}}，{“value”：“SAFECOMP”，“order”：1，“name”：“conference_acrombit”，“label”：“conference缩写”，“group”：{“name”:“ConferenceInfo”，“标签”：“会议信息”}}}group“：{”name“：”ConferenceInfo“，”label“：”会议信息“}}，{”value“：”Turku“，”order“：3，”name“:”Conference_city“，”标签“：”conferency city“，”group“；{”name:“ConferenceInformo”，“label”：“Conferency Information”}}；{“：”会议信息“｝｝，｛“value”：“2019”，“order”：5，“name”：“Conference_eyear”，“label”：“ConferenceYear”，“group”：｛“name”：“ConferenceInfo”，“label”：“ConferenceInformation”｝｝，｛“value”：“2019年9月10日”，“order”：7，“name”：“Conference_start_date”，“label”：“会议开始日期”，“group”：｛“name”：“ConferenceInfo”，“label”：“ConferenceInformation”｝｝，｛value“：”2019年9月13日“，”order“：8，”name“：”conference_end_date“，”label“：”会议结束日期“，”group“：，“name“：”conference_id“，”label“：”conference_url“，”group“：{”name“：“ConferenceInfo”，”lable“：”会议信息“}}，{”value“：”https:\/\/conferences.ncl.ac.uk\/safecomp2019\/“，”order“：11，“name”：“conference_0rl”，“label”：“会议url”，“group”：{“：1，”name“：”type“，”标签“：”类型“，”组“：{“name”：“ConfEventPeerReviewInformation”，“label”：“同行评审信息（由会议组织者提供）”}}，{“value”：“EasyChair”，“order”：2，“name”:“conference_management_system”，“标签”：“会议管理系统”，“group”：{同行评审信息（由会议组织者提供）“}}，{“value”：“65”，“order”：3，“name”：“number_of_submissions_sent_for_Review”，“label”：“发送供评审的提交数”，“group”：{“name”:“ConfEventPeerReviewInformation”，“table”：“同行评审信息”（由会议主办方提供）number_of_full_papers_accepted”，“label”：“接受的全文数量”，“group”：｛“name”：“ConfEventPeerReviewInformation”，“label”：“同行评审信息（由会议组织者提供）”｝｝，｛“value”：“5”，“order”：5，“name”：“number_of_short_papers_accepted”，“label”：“接受的短文数量”，“group”：｛“name”：“ConfEventPeerReviewInformation“，”label“：”同行评审信息（由会议组织者提供）“}}，{”value“：”25%-该值由等式“接受的全文数”/“发送供评审的提交数*100”计算，然后四舍五入为整数。“，”order“：6，”name“：”acceptance_rate_of_Full_Papers“，”标签“：”全文接受率“，”group“：{”name“：”ConfEventPeerReviewInformation“，”label“：”Peer Review Information（由会议组织者提供）“}}，{”value“：”3“，”order“：7，”name“:”average_number_of_reviews_per_paper“，”标签“：”每篇论文的平均评论数“，”google“：同行评议信息（由会议组织者提供）“}}，{“value”：“4”，“order”：8，“name”：“average_number_of_papers_per_reviewer”，“label”：“每个审阅者的平均论文数”，“group”：{“name”:“ConfEventPeerReviewInformation”，“table”：“同行评审信息（由大会组织者提供）”}}external_reviewers_involved“，”label“：”涉及外部审阅者“，”group“：{”name“：”ConfEventPeerReviewInformation“，”标签“：”同行审阅信息（由会议组织者提供）“}}]}}