{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,4,1]]，“日期时间”：“2024-04-01T11:48:33Z”，“时间戳”：1711972113070}，“出版商位置”：“查姆”，“参考计数”：33，“出版者”：“斯普林格国际出版公司”，“isbn-type”：[{“值”：“9783030545482”，“类型”：”打印“}，{“值”：“9783030545499”，“type”：“electronic”｝]，“license”：[｛“start”：｛“date parts”：[[2020,1,1]]，“date-time”：“2020-01-01T00:00:00Z”，“timestamp”：157783680000｝，“content-version”：“tdm”，“delay in days”：0，“URL”：“http:\/\/wspringer.com\/tdm”｝，｛“start”：｛“date parts”：[[2020,1,1]]，“date-time”：“2020-01-01T00:00:00Z”，“timestamp”：157783680000｝，“内容版本”：“vor”，“delay-in-days”：0，“URL”：“http:\/\/www.springer.com\/tdm”}，{“start”：{“date-parts”：[[2020,1,1]]，“date-time”：“2020-01-01T00:00:00Z”，“timestamp”：1577836800000}，“content-version”：“tdm”，“delay-in-days“：0，”URL“https:\/\www.springer.com\/tdm”}1,1]]，“日期时间”：“2020-01-01T00:00:00Z”，“时间戳”：1577836800000}，“content-version”：“vor”，“delay-in-days”：0，“URL”：“https:\/\/www.springer.com/tdm”}]，“content-domain”：{“domain”:[“link.springer.com”]，“crossmark-restriction”：false}，“short-container-title”：[]，“published-print”:{“date-parts”：[2020]]}，”DOI“：”10.1007\/978-3-030-54549-9_3“，”type“：”book-capter“，”创建“：{“date-parts”：[[2020,8,19]]，“date-time”：“2020-08-19T19:03:42Z”，“时间戳”：1597863822000}，“页面”：“34-49”，“更新策略”：“http://\/dx.doi.org\/10.1007\/springer_crossmark_policy”，“源”：“Crossref”，”is-referenced-by-count“：5，”title“：[“保证参数结构中的足够形式性”]，“前缀”：“10.1007”，‘作者’：[{“给定”：“Torin”，’family“：”Viger“，”sequence：“first”，“affiliation”：[]}，{“given”：“Rick”，“family”：“Salay”，“sequence”：“additional”，“affiliation”：[]neneneep，{”given“：”Gehan“，”family“：”Selim“，”sequence“：”additional“，”affiliance“：[]]}，}”giving“：”Marsha“，“faily”：”Chechik“，”序列“：”additional“、“affidiation”：[]}]，“member”：“297”，“published on line”：{“date-parts”：[2020,7,31]]}，“reference”：[{“key”：“3_CR1”，“doi-asserted-by”：“crossref”，“unstructured”：“Basir，N.，Denney，E.，Fischer，B.：从自动构造的证明中导出安全案例。In:Proceedings of International Conference on Systems safety（2009）”，“DOI”：“10.1049\/cp.2009.1535”}，{“key”：“3_CR2”，“series-title”：“计算机科学课堂笔记”，“DOI-asserted-by”：“publisher”，《首页》：“68”，“DOI”：“10.1007\/978-3642-15651-9_6”，“volume-title”：“计算机安全、可靠性和安全性”，“author”：“N Basir”，“year”：“2010”，“unstructured”：“Basir，N.，Denney，E.，Fischer，B.：基于模型开发中层次结构的安全案例推导。in:Schoitch，E.（ed.）SAFECOMP 2010。LNCS，第6351卷，第68页\u201381。施普林格，海德堡（2010）。https:\/\/doi.org\/10.1007\/978-3642-15651-9_6“}，{“key”：“3_CR3”，“unstructured”：“Bloomfield，R.，Bishop，P.，Jones，C.，FroomeBrunel，J.，Cazin，J.：复杂无人机系统安全论证和应用的正式验证。摘自：《2012年SafeComp会议录》，第307\u2013318页（2012）“，“DOI”：“10.1007\/978-3642-33675-1_27”}，{“key”：“3_CR5”，“series-title”：“计算机科学讲义”，“DOI-asserted-by”：“publisher”，“first page”：”3“，”DOI“：”10.1007\/978-3-030-16722-6_1“，”volume-title“：“软件工程的基本方法”，“作者”：“M Chechik”，“年份”：“2019”“，”非结构化”：“Chechik，M.、Salay，R.、Viger，T.、Kokaly，S.、Rahimi，M.：不确定世界中的软件保证。收录：H\u00e4hnle，R.，van der Aalst，W.（编辑）FASE 2019。LNCS，第11424卷，第3\u201321页。查姆施普林格（2019）。https:\/\/doi.org\/10.1007\/978-3-030-16722-6_1“}，{”key“：”3_CR6“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“275”，”doi“：”10.1007\/9783-642-35873-9_18“，”volume-title“：“验证、模型检查和抽象解释”，”author“：”S Cruanes“，”年份“：”2013“，”unstructured“：”Cruanes，S.、Hamon，G.、Owre，S.和Shankar，N.：工具与证据工具总线的集成。收录人：Giacobazzi，R.，Berdine，J.，Mastroeni，I.（编辑）VMCAI 2013。LNCS，第7737卷，第275\u2013294页。斯普林格，海德堡（2013）。https:\/\/doi.org\/10.1007\/978-3642-35873-9_18“}，{”key“：”3_CR7“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“294”，”doi“：”10.1007\/9783-319-10506-2_20“，”volume-title“：“计算机安全性、可靠性和安全性”，”author“：”E Denney“，”年份“：”2014“，”非结构化“：”Denney，E.，Naylor，D.，Pai，G.：查询安全案例。收录人：Bondavalli，A.，Di Giandomenico，F.（编辑）SAFECOMP 2014。LNCS，第8666卷，第294\u2013309页。查姆施普林格（2014）。https:\/\/doi.org\/10.1007\/978-3-319-10506-2_20“}，{“key”：“3_CR8”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“publisher”，“首页”：“1”，“doi”：“10.1007\/9783-642-33678-2_1”，《volume-title》：“计算机安全性、可靠性和安全性”，“author”：“E Denney”，“年份”：“2012”，“非结构化”：“Denney，E.，Pai，G.：安全壳组装的轻量级方法。收录：Ortmeier，F.，Daniel，P.（编辑）SAFECOMP 2012。LNCS，第7612卷，第1\u201312页。施普林格，海德堡（2012）。https:\/\/doi.org\/10.1007\/978-3642-33678-2_1“}，{”key“：”3_CR9“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“21”，“doi”：“10.1007\/9783-642-40793-2_3”，“volume-title”：“计算机安全性、可靠性和安全性”，“author”：“E Denney”，“年份”：“2013”，“非结构化”：“Denney，E.，Pai，G.：安全案例模式的正式基础。作者：Bitsch，F.、Guiochet，J.、Ka\u00e2nich，M.（编辑）SAFECOMP 2013。LNCS，第8153卷，第21\u201332页。斯普林格，海德堡（2013）。https:\/\/doi.org\/10.1007\/978-3-642-40793-2_3“}，{“key”：“3_CR10”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“publisher”，“首页”：“328”，“doi”：“10.1007\/978-30-319-24255-2_24”，“volume-title”：《计算机安全性、可靠性和安全性》，“author”：“E Denney”，“年份”：“2015”，“非结构化”：“Denney，E.，Pai，G.：模块化安全案例的正式基础。在：Koornneef，F.，van Gulijk，C.（编辑）SAFECOMP 2015。LNCS，第9337卷，第328页\u2013343。查姆施普林格（2015）。https:\/\/doi.org\/10.1007\/978-3-319-24255-2_24“}，{”issue“：”3“，”key“：”3_CR11“，”doi-asserted-by“：”publisher“，”first-page“：”435“，”doi“：”10.1007\/s10515-017-0230-5“，“volume”：“25”，“author”：“E Denney”，“year”：“2018”，“unstructured”：“Denney，E.，Pai，G.：担保案例开发的工具支持。J.Automated Soft.Eng.25（3），435\u2013499（2018）“，”journal-title“：”J.自动化软件。Eng.“}，{”key“：”3_CR12“，”doi-asserted-by“：”crossref“，”unstructured“：”Denney，E.，Pai，G.，Whiteside，I.：分层安全案例的正式基础。摘自：HASE 2015年会议录，第52\u201359页。IEEE（2015）“，”DOI“：”10.1109\/HASE.2015.17“}，{”key“：”3_CR13“，”series-title“：”计算机科学讲义“，”DOI-asserted-by“：”publisher“，”first page“：“60”，“DOI”：“10.1007\/978-3-319-99229-7_7”，“volume-title”：“计算机安全性、可靠性和安全性”，“author”：“NLS Fung”，“year”：“2018”，“unstructured”：“Fung，N.L.S.、Kokaly，S.、Di Sandro，A.、Salay，R.、Chechik，M.：MMINT-A：一种对保证案例进行自动变更影响评估的工具。收件人：Gallina，B.，Skavhaug，A.，Schoitch，E.，Bitsch，F.（编辑）SAFECOMP 2018。LNCS，第11094卷，第60\u201370页。查姆施普林格（2018）。https:\/\/doi.org\/10.1007\/978-3-319-99229-7_7“}，{“key”：“3_CR14”，“doi-asserted-by”：“crossref”，“unstructured”：“Graydon，P.J.：形式保证参数：寻找问题的解决方案？摘自：ICDSN 2015年会议记录，第517\u2013528页。IEEE（2015）“，“DOI”：“10.1109\/DSN.2015.28”}，{“key”：“3_CR15”，“unstructured”：“Greenwell，W.S.，Knight，J.C.，Holloway，C.M.，Pease，J.J.：系统安全论据中的谬误分类。in:Proceedings of ISSC 2006（2006）”}、{“密钥”：“3CR16”，“非结构化”：“GSN工作组：GSN Community Standard Version 2，York，UK（2011）http://www.goalstructuringnotation.info//。访问日期：2020年1月28日“｝，｛“key”：“3_CR17”，“nonstructured”：“Haddon Cave，C.：尼姆罗德评论：围绕英国皇家空军尼姆罗德MR2飞机XV230（2009）损失的更广泛问题的独立评论”｝，｛“key”：“3_CR18”，“nonstructured”：“ISO:ISO 26262：道路车辆-功能安全，国际标准化组织（ISO）（2011）”｝，{“issue”：“7”，“key”：“3_CR19”，“doi-asserted-by”：“publisher”，“first page”：”371“，“doi”：“10.1145\/360248.360251”，“volume”：：“19”，“author”：“RM Keller”，“year”：“1976”，“unstructured”：“Keller，R.M.：并行程序的形式验证。Commun.ACM 19（7），371\u2013384（1976）”，“journal-title”：“Commun.AC M”}，{”key“：”3_CR20“，“非结构化”：“Kokaly，S.：管理基于模型的软件系统中的保证案例。麦克马斯特大学博士论文（2019年）”}，{“key”：“3_CR21”，“unstructured”：“Matsuno，Y.：D-Case Editor:A Typed Assurance Case Editor。Tokyo University of Tokyon（2011年）”{“密钥”：“3CR22”，“doi-asserted-by”：“crossref”，“非结构化”：“Matsuno，Y.：保证案例语言的设计和实现。载于：2014年ICDSN会议记录，第630\u2013641页。IEEE（2014）“，“DOI”：“10.1109\/DSN.2014.97”}，{“key”：“3_CR23”，“DOI-asserted-by”：“crossref”，“unstructured”：“Matsuno，Y.，Taguchi，K.：GSN模式的参数化参数结构。摘自：《2011年国际质量体系会议论文集》，第96\u2013101页。IEEE（2011）“，“DOI”：“10.1109\/QSIC.2011.35”}，{“key”：“3_CR24”，“unstructured”：“NASA:AdvoCATE Tool Webpage（2019）.https:\/\/ti.arc.NASA.gov\/tech\/rse\/research\/ampositor\/.2020年1月28日访问”}：“10.1007\/978-3-030-34968-4_21”，“volume-title“：“综合形式方法”，“author”：“Y Nemouchi”，“year”：“2019”，“unstructured”：“Nemouchin，Y.，Foster，S.，Gleirscher，M.，Kelly，T.：Isabelle \/SACM：采用综合形式方法的计算机辅助保证案例。收录：Ahrendt，W.，Tapia Tarifa，S.L.（编辑）IFM 2019。LNCS，第11918卷，第379\u2013398页。查姆施普林格（2019）。https:\/\/doi.org\/10.1007\/978-3-030-34968-4_21“}，{”key“：”3_CR26“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/3-540-45949-9“，“volume-title”：“Isabelle \/HOL:高阶逻辑证明助手，LNCS”，“author”：“T Nipkow”，“year”：“2002”，“unstructured”：“”Nipkow，T.、Paulson，L.C.、Wenzel，M.：Isabelle \/HOL:高阶逻辑的证明助手，LNCS，第2283卷。斯普林格，海德堡（2002）。https:\/\/doi.org\/10.1007\/3-540-45949-9“}，{“key”：“3_CR27”，“unstructured”：“Norell，U.，Danielsson，N.A.，Abel，A.：Agda Wiki Page（2020）。https:\//Wiki.portal.chalmers.se\/Agda\/pmwiki.php.2020年2月28日访问”}，}“key:”3_CR28“，”unstructure“：”对象管理组（OMG）：结构化保障案例元模型（SACM）http://www.omg.org\/spec\/SACM\/。访问日期：2020年2月22日“}，{“key”：“3_CR29”，“doi-asserted-by”：“publisher”，“first page”：”3“，“doi”：“10.1007\/978-1-84996-086-1_1”，”volume-title“：“2010年SSS会议录”，“author”：“J Rushby”，“year”：“2010”，“unstructured”：“Rushby，J.：安全案例中的形式主义。摘自：Dale，C.，Anderson，T.（eds.）2010年SSS会议录，pp.3\u201317。施普林格，伦敦（2010）。https:\/\/doi.org\/10.1007\/978-1-84996-086-1_1“}，{”key“：”3_CR30“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“1”，”doi“：”10.1007\/978-3642-40793-2_1“，“volume-title”：“计算机安全性、可靠性和安全性”，“author”：“J Rushby”，“年份”：“2013”，“非结构化”：“Rushby，J.：安全案例中的逻辑和认识论。作者：Bitsch，F.、Guiochet，J.、Ka\u00e2nich，M.（编辑）SAFECOMP 2013。LNCS，第8153卷，第1\u20137页。斯普林格，海德堡（2013）。https:\/\/doi.org\/10.1007\/978-3642-40793-2_1“}，{“key”：“3_CR31”，“unstructured”：“Takeyama，M.:\u201cD-Case in Agda\u201d Verification Tool（D-Case\/Agda）.https:\/\/wiki.portal.chalmers.se\/Agda\/pmwiki.php？n=D-Case-Agda.D-Case-Agda.Accessed Feb 25 2020”}，}“keys”：“3CR32”，“series-title”：“Computer中的通信和信息科学“doi-asserted-by“：”publisher“，”first page“：”717“，”doi“：”10.1007\/978-3-319-11854-3_62“，”volume-title“：”Knowledge-Based Software Engineering“，”author“：”S Yamamoto“，”year“：”2014“，”unstructured“：。作者：Kravets，A.、Shcherbakov，M.、Kultsova，M.和Iijima，T.（编辑）JCKBSE 2014。CCIS，第466卷，第717\u2013725页。查姆施普林格（2014）。https://doi.org/10.1007\/978-3-319-11854-3_62“｝，｛“key”：“3_CR33”，“doi asserted by”：“crossref”，“unstructured”：“Yamamoto，S.，Matsuno，Y.：对论证模式的评估，以减少应用保证案例的陷阱。In：2013第一届软件密集型系统保证案例国际研讨会（ASSURE），pp.12\u201317。IEEE（2013）“，”DOI“：”10.1109\/ASSURE.2013.6614265“}]，”container-title“：[”计算机科学讲义“，”计算机安全、可靠性和安全“]，”original-title”：[]，”link“：[{”URL“：”https:\/\/link.springer.com/content\/pdf\/10007\/978-3-030-54549-9_3“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”相似性检查“}”，“存放”：{“日期部分”：[[2021,4,23]]，“日期时间”：“2021-04-23T23:23:09Z”，“时间戳”：1619220189000}，“分数”：1，“资源”：{“主要”：}“URL”：“https:\/\/link.springer.com\/10.1007\/978-3030-54549-9_3”}，ISBN“：[”9783030545482“，”978330545499“]，”references count“：33，”URL“：”http:\/\/dx.doi.org/10.1007\/978-3-030-54549-9_3“，”relationship“：｛｝，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN type“：[｛”value“：”0302-9743“，”type“：”print“｝，”value“：”1611-3349“，”type“：”electronic“｝]，”subject“：[]，”published“：｛”date parts“：[[2020]]｝，”assertion“：[｛”value“：”2020年7月31日“，”order“：1，”name“：”first_online“，”label“：”First Online”，“group”：{“name”：“ChapterHistory”，“label”：“章节历史”}}，{“value”：“SAFECOMP”，“order”：1，“name”:“conference_acrombit”，“标签”：“conference-acronym”，“group”：{name”：”ConferenceInfo“，”label“：”会议信息“}}”，{value“：”计算机安全、可靠性和安全国际会议“，”order“：2，”name“：”conference_name“，”label“：”会议名称“，”group“：{”Name“：”ConferenceInfo“，”label“:”会议信息“}}，{”value“：”里斯本“，”order“：3，“Name”：“Conference_city”，“label”：“ConferenceCity”，“group”：{“Name”:“ConferenceInfo”，“tabel”：”会议信息会议信息“，”标签“：”会议信息“}}，{“value”：“2020”，“order”：5，“name”：“Conference_year”，“label”：“会议年”，“group”：{“name”:“ConferenceInfo”，“table”：“Conferency Information”}}、{“value”：“2020年9月15日”，“订单”：7，“name“Conference_start_date”，”标签：“会议开始日期”，“group”：{“name”∶“ConfernceInfo”会议信息“}}，{“value”：“2020年9月18日”，“order”：8，“name”：“Conference_end_date”，“label”：“Conference end date”，“group”：{“名称”：“会议信息”，“标签”：“会务信息”}}safecomp2020“，”order“：10，”name“：”conference_id“，”label“：”会议id“，”group“：“单盲”，“顺序”：1，“name“：”type“，”label“：”type“，”group“：｛”name“：”ConfEventPeerReviewInformation“，”label“：”同行评审信息（由会议组织者提供）“｝｝，｛”value“：”EasyChair“，”order“：2，”name“：”conference_management_system“，”label“：”会议管理系统“，”group“：｛”name“：”ConfEventPeerReviewInformation“，”label“：”同行评审信息（由会议组织者提供）“｝｝，｛”value“：”116“，”order“：3，”name“：”number_of_submissions_sent_for-Review“，”label“：”发送供评审的提交数量“，”group“：｛”name“：”ConfEventPeerReviewInformation“，”label“：”同行评审信息（由会议组织者提供）“｝｝，｛”value“：”27“，”order“：4，”name“：”number_of_full_papers_accepted“，”label“：”接受的全文数“，”group“：{”name“：”ConfEventPeerReviewInformation“，”标签“：”同行评审信息（由会议组织者提供）“}}，{”value“：”2“，”order“：5，”name“:”number _of_short_papers_accepted”，“label”：“接受的短文数”，“group”：{“name”：“”ConfEventPeerReviewInformation“，”label“：”同行评审信息（由会议组织者提供）“}}，{”value“：”23%-该值由等式“接受的全文数”/“发送供评审的提交数*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”：“6.2”，“order”：8，“name”：“average_number_of_papers_per_reviewer”，“label”：“每个审阅者的平均论文数”，“group”：{“name”:“ConfEventPeerReviewInformation”，“table”：“同行评审信息（由大会组织者提供）”}}external_reviewers_involved“，”label“：”涉及的外部审阅者“，”group“：{”name“：”ConfEventPeerReviewInformation“，”标签“：”同行审阅信息（由会议组织者提供）“}}，”{“value”：“会议实际上是由于新冠肺炎疫情而召开的。”，“order”：10，“name”：“additional_info_on_Review_process”，“label”：“”评审过程附加信息“，”组“：{“name”：“ConfEventPeerReviewInformation”，“label”：“同行评审信息（由会议组织者提供）”}}]}}