{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,9,12]，“日期时间”：“2024-09-12T09:40:07Z”，“时间戳”：1726134007954}，“发布者位置”：“Cham”，“引用计数”：44，“发布商”：“Springer International Publishing”，“isbn-type”：[{“类型”：”print“，“值”：“9783030853464”}{“type”：“电子”，“value”：“9783030853471”}]，“license”：[{“start”：{“date-parts”：[2021,1,1]]，“date-time”：“2021-01-01T00:00:00Z”，“timestamp”：1609459200000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.springer.com\/tdm”}，{“start”：{“date-ports”：[2021,1,1]，“日期-时间”：“021-01-01T 00:00:00Z“，”timestamp“：1609459200000}，”content-version“：”vor“，“delay-in-days”：0，“URL”：“https:\/\/www.springer.com\/tdm”}]，“content-domain”：{“域”：[“link.springer.com”]，“crossmark-restriction”：false}，“short-container-title”：[]，“published-print”：{“date-parts”：[[2021]]}，”DOI“：”10.1007\/978-3-030-85347-1_24“，”类型“：”book-chapter“，”创建“：{”date-part“：[[2021,8,27]]，“日期-时间”：“2021-08-27T05:06:54Z”，“时间戳”：1630040814000}，“页面”：“325-340”，“更新策略”：“http://\/dx.doi.org\/10.1007\/springer_crossmark_policy”，”源“：”Crossref“，”is-referenced-by-count“：3，”title“：[“自动化系统安全、网络安全和隐私验证和验证方法分类建议”]，”prefix“：”10.1007“，“author”：[{“given”：“Jose Luis”，“family”：“de la Vara”，“sequence”：“first”，“affiliation”：[]}]}，{“given”：“Henrique”，“family”：“Madeira”，“sequence”：“additional”，“affiliation”：[]}，{“given”：“Martin”，“family”：“Matschnig”，“序列”：“附加的”，“从属的”：[]}，}“giving”：“Silvia”，“家族”：“Mazzini”，”sequence“：”additional“affidiation”：[]}“，”family“：”Patrone“，”sequence“：“additional”，“affiliation”：[]}，{“given”：“David”，“family”：“Pereira”，“sequence”：“additive”，“filiation“：[]{”given“：”Jos\u00e9“，”family“：”Proen\u00e7a“，”sequence“：”additional“：”Tonetta“，”sequence“：”additional“，“affiliation”：[]}，{“given”：“Ugur”，“family”：“Yayan”，“sequence”：“additional”，“affaliation”（附属）：[]{“给定”：“Behrooz”，“家族”：“Sangcholie”，”sequence“：”additional“，”affiliation:[]}]，“member”：“297”，“published-online”：{“date-parts”：[2021,8,25]}、“reference”：[{“key”：”24_CR1“，“unstructured”：“Amalthea4公共项目：D3.1-最新V&V技术分析（2015）”}，{“key”：“24_CR2”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“publisher”，“first page”：”681“，“doi”：“10.1007\/978-3-030-29959-0_33”，“volume-title”：”计算机安全\u2013 ESORICS 2019“，“author”：“E Arfelt”，“year”：“2019”，“unstructured”：“Arfelt，E.，Basin，D.，Debois，S.：监测GDPR。摘自：Sako，K.，Schneider，S.，Ryan，P.Y.A.（编辑）ESORICS 2019。LNCS，第11735卷，第681\u2013699页。查姆施普林格（2019）。https:\/\/doi.org\/10.1007\/978-3-030-29959-0_33“}，{”key“：”24_CR3“，”unstructured“：”Avizienis，A.，et al.：可靠性的基本概念。纽卡斯尔大学（2001）“}”，{“key”：“24_CR4”，“doi-asserted-by”：“crossref”，“unstructure”：“Barbosa，R.等人：VALU3S ECSEL项目：自动化系统安全和安保的验证和确认。其中：DSD 2020（2020）“，”DOI“：”10.1109\/DSD51259.2020.000064“}，{”key“：”24_CR5“，”series-title“：”计算机科学讲义“，”DOI-asserted-by“：”publisher“，”first page“：“69”，”DOI:“10.1007\/978-3030-30446-1_4”，“volume-title”：“软件工程与形式方法”，“author”：“E Bartocci”，“year”：“2019”，“unstructured”：“Bartocci，E.，Manjunath，N.，Mariani，L.，Mateis，C.，Ni\u010dkovi\u0107，D.：CPS模型中的自动故障解释。收录于：2019年《SEFM》，萨拉·G（编辑），P.C.·u00d6lveczky。LNCS，第11724卷，第69\u201386页。查姆施普林格（2019）。https:\/\/doi.org\/10.1007\/978-3-030-30446-1_4“}，{“问题”：“3”，“密钥”：“24_CR6”，“doi-asserted-by”：“出版商”，“首页”：“908”，“doi”：“10.3390\/s21030908”、“卷”：“21”，“作者”：“L Belmonte”，“年份”：“2021”，“非结构化”：“Belmonte，L.等人：对一种社会辅助型无人飞行器的安全感和舒适感，这种飞行器可以在虚拟家庭中监控人们。Sensors 21（3），908（2021）“，”journal-title“：”Sensors“}，{“key”：“24_CR7”，“series-title”：“Computer Science课堂讲稿”，“doi-asserted-by”：“publisher”，“first-page”：“603”，“doi”：“10.1007\/978-319-21690-4_41”，“volume-title”：《计算机辅助验证》，“author”：“M Bozzano”，“year”：“2015”，“unstructured”：“”Bozzano，M.、Cimatti，A.、Griggio，A.、Mattarei，C.：基于模型的安全分析的高效随时技术。收录人：Kroening，D.，P\u0103s\u0103reanu，C.S.（编辑）CAV 2015。LNCS，第9206卷，第603\u2013621页。施普林格，查姆（2015）。https:\/\/doi.org\/10.1007\/978-3-319-21690-4_41“}，{”key“：”24_CR8“，”doi-asserted-by“：”crossref“，”unstructured“：”Cassar，I.，et al:运行时监测检测技术调查。发布前@iFM（2017）“，”DOI“：”10.4204\/EPTCS.254.2“}，{“key”：“24_CR9”，“unstructured”：“CENELEC:EN 50128-铁路应用-通信、信号和处理系统-铁路控制和保护系统软件（2020）”}，“key“：”24_CR10“，”series-title“：”计算机科学课堂讲稿“，”DOI-asserted-by“：”publisher“，”first page“：“165”，“DOI”：“10.1007\/978-3-030-32079-9_10“，“volume-title”：“Runtime Verification”，“author”：“A Cimatti”，“year”：“2019”，“unstructured”：“Cimatti，A.，Tian，C.，Tonetta，S.：基于假设的运行时验证，具有部分可观测性和重置。收录：Finkbeiner，B.，Mariani，L.（编辑）RV 2019。LNCS，第11757卷，第165\u2013184页。查姆施普林格（2019）。https:\/\/doi.org\/10.1007\/978-3-030-32079-9_10“}，{“key”：“24_CR11”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-23-19-10575-8”，“volume-title”：“模型检查手册”，“author”：“EM Clarke”，“year”：“2018”，“unstructured”：“Clarke，E.M.等人：模型检查手册。Springer，Heidelberg（2018）.https:\/\/doi.org\/10.1007\/978-3-319-10575-8“}，{”key“：”24_CR12“，”doi-asserted-by“：”publisher“，”first page“：“110812”，”doi“：”10.1016\/j.jss.2020.110812“，“volume”：“171”，“author”：“JL de la Vara”，“year”：“2021”，“unstructured”：“de la Vara，j.L.，et al.：网络物理系统的保证和认证：AMASS开源生态系统。j。系统。柔和。171110812（2021）”，“期刊标题”：“J.Syst。柔和。“}，{”key“：”24_CR13“，”doi-asserted-by“：”crossref“，”unstructured“：”Dias，R.，et al.：使用契约验证并发程序。In：ICST 2017（2017）“，”doi“：”10.1109\/ICST.2017.25“}、{”key“：“24_CR14”，”series-title“：”计算机科学课堂笔记“，”doi-asserted-by“，”publisher“，“first page”：“31”，“doi”：“10.1007\/11556114_3”，“volume”me-title“：”空间信息理论”，“作者”：“M Duckham”，“年份”：“2005”，“非结构化”：“Duckham，M.，Kulik，L.：位置隐私模糊和协商的模拟。摘自：Cohn，A.G.，Mark，D.M.（编辑）COSIT 2005。LNCS，第3693卷，第31\u201348页。斯普林格，海德堡（2005）。https:\/\/doi.org\/10.1007\/11556114_3“}，{“问题”：“2”，“密钥”：“24_CR15”，“doi-asserted-by”：“publisher”，“首页”：“89”，“doi”：“10.1109\/TDSC.2013.37”，“卷”：“11”，“作者”：“J Fonseca”，“年份”：“2014”，“非结构化”：“Fonseca，J.等人：web安全漏洞的现场数据分析。IEEE Trans.可靠安全计算。11（2），89\u2013100（2014）“，”期刊标题“：”IEEE Trans。可靠的安全计算。“}，{”key“：”24_CR16“，”unstructured“：”Gallina，B.等人：通过ConcertoFLA.Ada-Europe（2018）“}”，{“key”：“24_CR17”，“unstructure”：“Halfind，W.G.J.等人：SQL注入攻击和对策的分类。In：ISSSE 2006（2006）”}，“key“”：“24 _CR18”，“doi-asserted-by”：“”crossref“，”unstructured“：”Herdt，V.等人：用于处理器验证的高效跨级别测试：RISC-V案例研究。In:FDL 2020（2020）“，”DOI“：”10.1109\/FDL50818.2020.9232941“}，{“key”：“24_CR19”，“DOI-asserted-by”：“crossref”，“unstructured”：“Humbatova，N.，et al.：深度学习系统中实际故障的分类。In:ICSE 2020（2020IEC:IEC 61508-电气/电子/可编程电子安全相关系统的功能安全（2011）“}，{“key”：“24_CR21”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“publisher”，“first page”：《345》，“doi”：“10.1007\/978-3-319-91908-9_18”，“volume-title”：《计算与软件科学》，“author”：“R H\u00e4hnle”，“年份”：“2019年”，“非结构化”：“H\u00e4hnle，R.，Huisman，M.：演绎软件验证：从笔试和纸样到工业工具。收录：Steffen，B.，Woeginger，G.（编辑）计算与软件科学。LNCS，第10000卷，第345\u2013373页。查姆施普林格（2019）。https:\/\/doi.org\/10.1007\/978-3-319-91908-9_18“}，{”key“：”24_CR22“，”unstructured“：”IEEE:IEEE Std 1012-IEEE系统、软件和硬件标准V&V（2016）“}”，{“key”：“24_CR23”，“doi-asserted-by”：“crossref”，“unstructure”：“Kammueller，F.：物联网医疗系统GDPR合规性数据保护的正式建模和分析。中：SMC 2018（2018）“，”DOI“：”10.1109\/SMC.2018.00562“}，{“issue”：“1”，“key”：“24_CR24”，“DOI-asserted-by”：“publisher”，“first page”：《9》，“DOI”：“10.1145\/3146389”，“volume”：”51“author”：“E Khalastchi”，”年份：“2018”，“unstructured”：“Khalastch，E.，Kalech，M.：机器人系统中的故障检测和诊断。ACM Compute.Surv.51（1），9（2018）“，”journal-title“：”ACM计算。Surv公司。“}，{”key“：”24_CR25“，”series-title“：”Communications in Computer and Information Science“，”doi-asserted-by“：”publisher“，”first page“：“326”，”doi“：”10.1007\/978-3-030-59155-7_25“，”volume-title“：“软件架构”，”author“：”T Kuhn“，“年份”：“2020”，”unstructured“：”Kuhn，T.，Antonino，P.O.，Bachorek，A.：用于创建数字双胞胎的模拟器耦合架构。摘自：Muccini，H.等人（编辑）ECSA 2020。CCIS，第1269卷，第326\u2013339页。查姆施普林格（2020）。https:\/\/doi.org\/10.1007\/978-3-030-59155-7_25“}，{“key”：“24_CR26”，“doi-asserted-by”：“publisher”，“doi”：“10.1002\/9781119130161”，“volume-title”：“Model-Based Testing Essentials”，“author”：“A Kramer”，“year”：“2016”，“unstructured”：“Kramer，A.，Legeard，B.：Model-Based-Testing.Wiley，Hoboken（2016）”}，}，“，”非结构化“：”拉斯基（Laskey，M.）等人：DART：噪声注入，用于稳健的模仿学习。In:CoRL 2017（2017）“}，{“issue”：“5”，“key”：“24_CR28”，“doi-asserted-by”：“publisher”，“first page”：”100“，”doi“：”10.1145\/3342355“，”volume“：”52“，”author“：”M Luckcuck“，”year“：”2019“，”unstructured“：”Luckcuk，M.，et al.：自主机器人系统的正式规范和验证：调查。ACM Compute.Surv.52（5），100（2019）“，”journal-title“：“”ACM计算。Surv公司。“}，{”issue“：”7“，”key“：”24_CR29“，”doi-asserted-by“：”publisher“，”first-page“：”689“，”doi“：”10.1016\/j.infsof.2014.03.001“，”volume“：“56”，”author“：”S Nair“，”year“：”2014“，”unstructured“：”Nair，S.等人：关于安全认证证据提供的扩展系统文献综述。Inf.Softw.Technol.56（7），689\u2013717（2014）“，”journal-title“：”信息软件。Technol公司。“}，{”issue“：”3“，”key“：”24_CR30“，”doi-asserted-by“：”publisher“，”first-page“：”44“，”doi“：”10.1145\/2841425“，”volume“：“48”，”author“：”R Natella“，”year“：”2016“，”unstructured“：”Natella，R.，et al.：评估软件故障注入的可靠性：一项调查。ACM Compute.Surv.48（3），44（2016）“，”journal-title“：”ACM Computer.Surv.“，{“键”：“24_CR31”，“非结构化”：《牛津英国词典：方法》（2021）。https:\/\/www.lexico.com/definition\/method“}，{“key”：“24_CR32”，“首页”：“30”，“卷”：“36”，“author”：“L Pan”，“年份”：“2017”，“unstructured”：“Pan，L.，et al.：现代车辆系统的网络安全攻击。J.Inf.Secur.Appl.36，30\u2013100（2017）”，“journal-title”：“J.Inf.Secur.Apple.”}：“《计算机科学讲义》，“doi断言者”：“出版商”，“第一页”：“19”，“doi”：“10.1007\/978-3-030-33220-4_2”，“卷标题”：“语义系统。人工智能和知识图的力量”，“作者”：“HJ Pandit”，“年份”：“2019年”，“非结构化”：“Pandit，H.J.，O\u2019Sullivan，D.，Lewis，D.：实现GDPR合规性的测试驱动方法。收录人：Acosta，M.、Cudr\u00e9-Mauroux，P.、Maleshkova，M.，Pellegrini，T.、Sack，H.、Sure-Vetter，Y.（编辑）SEMANTiCS 2019。LNCS，第11702卷，第19\u201333页。查姆施普林格（2019）。https:\/\/doi.org/10.1007\/978-3-030-33220-4_2“｝，｛“key”：“24_CR34”，“doi断言者”：“crossref”，“非结构化”：“Parra，E.等人：安全关键系统人工制品质量分析的进展。在：ISSRE 2019（2019）”，“doi”：“10.1109\/ISSEW.2019.00047”｝，｛“key”：“24_CR35”，“doi断言者”：“crossref”，“非结构化”：“Paz，A.，El Boussaidi，G.：一种促进航空电子软件验证和认证的需求建模语言。在：RET 2019（2019）“，”DOI“：”10.1109\/RET.2019.00008“｝，｛”key“：”24_CR36“，”非结构化“：”Rival，X.，Yi，K.：静态分析导论。抽象解释视角。麻省理工学院出版社（2020）“｝，｛”key“：”24_CR37“，”DOI断言“：”crossref“，”非结构化“：”Sangchoolie，B.等人：使用模型实现的故障注入研究安全和安全之间的相互作用。In:EDCC 2018（2018）“，”DOI“：”10.1109\/EDCC.2018.00018“}，{”key“：”24_CR38“，”series-title“：”计算机科学讲义“，”DOI-asserted-by“：”publisher“，”first page“：“132”，“DOI”：“10.1007\/978-3319-22969-0_10”，“volume-title”：“软件工程与形式方法”，“author”：“A Savary”，“year”：“2015”，“unstructured”：“Savary，A.、Frappier，M.、Leuschel，M.和Lanet，J.-L.：使用突变对事件B进行基于模型的稳健性测试。收录：Calinescu，R.，Rumpe，B.（编辑）SEFM 2015。LNCS，第9276卷，第132\u2013147页。施普林格，查姆（2015）。https:\/\/doi.org\/10.1007\/978-3-319-22969-0_10“}，{“key”：“24_CR39”，“doi-asserted-by”：“crossref”，“unstructured”：“Skoglund，M.，et al.：自动驾驶系统安全告知安全的黑盒测试。In:VTC 2021-Spring（2021）”，“doi”：“10.1109\/VTC2021-Spring51267.2021.9448691”}，}“key:”24_CR40“，”doi-assert-by“：”crossref.“，”非结构化“：”Timperley，C.S.等人：坠毁模拟飞机很便宜：模拟能早期检测机器人错误吗？In:ICST 2018（2018）“，”DOI“：”10.1109\/ICST.2018.00040“}，{“issue”：“2”，“key”：“24_CR41”，“DOI-asserted-by”：“publisher”，“first page”：”177“，”DOI“：Tsachouridis，V.A.等人：Schulz矩阵反演算法的形式化分析：通用矩阵流求解器的计算机辅助验证范式。数字。代数控制优化。10（2），177\u2013206（2020）“，“新闻标题”：“数字。代数控制优化。“}，{”key“：”24_CR42“，”unstructured“：”美国国防部：国防建模与仿真协调办公室，V&V技术分类学（2001）。https:\/\/vva.msco.mil\/default.htm？Ref_Docs\/VVTechniques\/“}”，{“key”：“24_CR43”，“unstructure”：“VALU3S项目：D3.1-自动化系统SCP评估的V&V方法（2021）”}，“key“:”24_CR“，”doi-asserted-by“：”crossref“，”unstructured“：”Yang，Y.，et al.：人在中间攻击试验台，调查智能电网SCADA系统中的网络安全漏洞。In:SUPERGEN 2012（2012）“，”DOI“：”10.1049\/cp.2012.1831“}]，”container-title“：[”计算机与信息科学中的通信“，”信息与通信技术质量“]，”original-title”：[]，”language“：”en“，”link“：[{”URL“：”https:\/\/link.springer.com\/content\/pdf\/101007\/978-3-030-85347-1_24“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2021,8,27]]，”date-time“：”2021-08-27T05:15:20Z“，”timestamp“：1630041320000}，”score“：1，”resource“：”{“primary”：{“URL”：“https:\/\/link.springer.com\/10007\/978-3-030-85347-1_24”}}，“subtitle”：[]，“shorttitle”：[]，“已发布”：{“日期部分”：[[2021]]}，“ISBN”：[“9783030853464“，”978303053471“]，”references-count“：44，”URL“：”http://\/dx.doi.org\/10.1007\/978-3-030-85347-1_24“，“关系”：{}，“ISSN”：[“1865-0929”，“1865-0.937”]，“ISSN-type”：[{“type”:“print”，“value”：“1865-09”}，{“类型”：“电子”，“值”：“1855-0937”}]，“主题”：[]，“published”：{“date-parts”：[[2021]]}，“assertion”：[{“value”：“2021年8月25日”，“order“：1，”name“：”first_online“，”label“：”first online“，“group”：{“name”：“ChapterHistory”，“label”：“章节历史”}}，{“value”：“QUATIC”，“order”：1，“name”:“conference_acrombit”，“标签”：“conference-Acromnim”，“groups”：{name“：“ConverenceInfo”，“tabel”：”ConferenceInformation“}}”，{value“：”信息和通信技术质量国际会议“，”order“：2，”name“：”Conference_name“，”label“：”会议名称“，”group“：”{“name”：“ConferenceInfo”，“label”：“会议信息”}}，{“value”：“Algarve”，“order”：3，“name”:“Conference_city”会议信息“}}，{”value“：”葡萄牙“，”order“：4，”name“：”Conference_country“，”label“：”ConferenceCountry“，“group”：{“name”：“ConferenceInfo”，“label”：“会议信息”}}、{“value”：“2021”，“order”：5、“name”:“Conference_year”，“标签”：“Conference_year”、“group“：2021年9月8日“，”order“：7，”name“：”conference_start_date“，”label“：”会议开始日期“，”group“：9，“name“：”conference_number“，”label“：”会议编号“，”group“：{“name”：”ConferenceInfo“，“label”：”会议信息“}}，{“value”：”quatic2021“，”order“：10，”name“：“conference_id”，”label:“会议id”，“group”:{“name”：“ConferenceInformo”，conference_url“，”标签“：”会议URL“，”组“：{“name”：“ConferenceInfo”，“label”：“会议信息”}}，{“value”：“Double-blind”，“order”：1，“名称”：“类型”，“标签”：“type”，“group”：label“：”会议管理系统“，”group“：{“name”：“ConfEventPeerReviewInformation”，“label”：“Peer Review Information（由会议组织者提供同行评议信息（由会议组织者提供）“}}，{“value”：“30”，“order”：4，“name”：“number_of_full_papers_accepted”，“label”：“已接受的完整论文数”，“group”：{“name”:“ConfEventPeerReviewInformation”，“label”：”同行评议资讯（由会议主办方提供）“{}}number_of_short_papers_accepted“，”label“：”接受的短文数“，”group“：{”name“：”ConfEventPeerReviewInformation“，”标签“：”同行评审信息（由会议组织者提供）“}}，{”value“：”31%-该值由等式“接受的全文数”/发送供评审的提交数*100\“计算然后四舍五入为整数。“，”order“：6，”name“：”acceptance_rate_of_full_papers“，”label“：”全文接受率“，”group“：ConfEventPeerReviewInformation“，”label“：”同行评议信息（由会议组织者提供）“}}，{“value”：“2”，“order”：8，“name”：“average_number_of_papers_per_reviewer”，“label”：“每个审阅者的平均论文数”，“group”：}，{“value”：“Yes”，“order”：9，“name”：“external_reviewers_involved”，“label”：“涉及的外部审阅者”，“group”：{“name”:“ConfEventPeerReviewInformation”，“标签”：“同行审阅信息（由会议组织者提供）”}}]}}