{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[2022,4,5]]，“日期时间”：“2022-04-05T00:19:20Z”，“时间戳”：1649117960474}，“出版商位置”：“柏林，海德堡”，“参考计数”：12，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540888727”，“类型”：“打印”}，{“值”：“9783540888734”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2008,1,1]]，“date-time”：“2008-01-01T00:00:00Z”，“timestamp”：1199145600000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“http://\www.springer.com\/tdm”}“：”2008-01-01T00:00:00Z“，”时间戳“：1199145600000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“http://www.springer.com//tdm”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2008]]}，”DOI“：”10.1007\/978-3-540-88873-4_14“，”type“：”book-chapter“，”created“：{”date-ports“：[2008,11,7]]，”日期时间“：“2008-11-07T00:56:56Z”，“时间戳”：1226019416000}，“页面”：“1131-1139”，“源”：“交叉引用”，“is-referenced-by-count”：2，“标题”：[“验证安全设备互操作性的扩展标准”]，“前缀”：“10.1007”，”作者“：[{“给定”：“Maurizio”，“family”：“Talamo”，“sequence”：“first”，“affiliation”：[]}，{“指定”：“Franco”，”family“Arcieri”，“sequence”：“additional”，“affiliation”：[]}，{“given”：“Giuseppe”，“family”：“Della Penna”，“segment”：“附加”，“从属”：[]}“：”Magazzeni“，”sequence“：“additional”，“affiliation”：[]}]，“member”：“297”，“reference”：[{“key”：“14_CR1”，“unstructured”：“CEN:TC224 WG15”}，{“密钥”：“14 _CR2”，“非结构化”：“D.M.S.O.n.229 della G.U.261 del 9/11\/2007 Regole tecniche della Carta D\u2019identita elettronica（电子身份证技术规则）”}：“信息技术安全评估通用标准（2006年9月）”}，{“key”：“14_CR4”，“unstructured”：“CEN研讨会协议：Cwa 14169（2004年3月）”：“编程语言和系统”，“作者”：“X.Leroy”，“年份”：“2003”，“非结构化”：“Leroy，X.：从编程语言和静态分析的角度看计算机安全。摘自：Degano，P.（ed.）ESOP 2003。LNCS，第00a02618卷，第1\u20139页。Springer，Heidelberg（2003）“}，{“key”：“14_CR6”，“unstructured”：“Toll，D.C.，Weber，S.，Karger，P.A.，Palmer，E.R.，McIntosh，S.K.：支持高保证操作系统通用标准评估的工具。IBM Thomas J.Watson Research Center Report（2008）”}，“{”key“：”14_CR7“非结构化”：“查普曼，R.：通过构建实现正确性：高完整性软件的宣言。摘自：SCS 2005:第十届澳大利亚安全关键系统和软件研讨会论文集，第43\u201346页。澳大利亚计算机学会（2006）“}，{”key“：”14_CR8“，”unstructured“：”CMurphi Web Page，\n\n http://www.di.univaq.it\/gdellape\/murphi\/CMurphi.php“}”，{“key”：“14_CR9”，“unstructure”：“Michael，C.，Radosevich，W.：黑盒安全测试工具。Cigital（2005）”}，“key“:”14_CR10“，”series-title“：”计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：“277”，“doi”：“10.1007\/978-3-540-39724-3_25”，“volume-title”：“正确的硬件设计和验证方法”，“author”：“G.Penna Della”，“year”：“2003”，“unstructured”：“Della Penna，G.，Intrigila，B.，Melatti，I.，Tronci，E.，Venturini Zilli，M.：在Mur\u03d5验证器中集成基于ram和磁盘的验证。摘自：Geist，D.，Tronci，E.（编辑）CHARME 2003。LNCS，第u00a02860卷，第277\u2013282页。Springer，Heidelberg（2003）“}，{”key“：”14_CR11“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“141”，”doi“：”10.1007\/3-540-36580-X_13“，”volume-title“：“混合系统：计算与控制”，”author“：”G.Della Penna“，”year“：”2003“，”unstructured“：”Della Penna，G.，Intrigila，B.，Melatti，I.，Minichino，M.，Ciancamerla，E.，Parisse，A.，Tronci，E.，Venturini Zilli，M.：使用Mur\u03d5验证器自动验证涡轮燃气控制系统。作者：Maler，O.，Pnueli，A.（编辑）HSCC 2003。LNCS，卷\u00a02623，第141\u2013155页。Springer，Heidelberg（2003）“}，{”key“：”14_CR12“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“108”，”doi“：”10.1007\/11691617_7“，”volume-title“：“模型检查软件”，”author“：”I.Melatti“，”year“：”2006“，”unstructured“：”Melatti，I.、Palmer，R.、Sawaya，G.、Yang，Y.、Kirby，R.M.、Gopalakrishnan，G.：涡流中的平行和分布式模型检查。收录：Valmari，A.（编辑）SPIN 2006。LNCS，第00a03925卷，第108\u2013125页。Springer，Heidelberg（2006）“}”，“container-title”：[“走向有意义的互联网系统：OTM 2008”，“计算机科学课堂讲稿”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.Springer.com\/content\/pdf\/10.1007\/978-3-540-88873-4_14”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“deposed”：{“date-parts”：[[2019,3,4]]，“date-time”：“2019-03-04T00:41:27Z”，“timestamp”：1551660087000}，“score”：1，“resource”：{“primary”：}“URL”：“http://\/link.springer.com\/10.1007\/978-3-540-88873-4_14”}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-part“[2008]}”，“ISBN”：[“9783540888727”，“9783540888734”]，“references-count”：12，“URL”：“http://\/dx.doi.org\/10.1007\/978-3-540-88873-4_14”，“关系”：{}，“ISSN”：[“0302-9743”，“1611-3349”]，“ISSN-type”：[{“值”：“0302-7743”