{“id”：“https://openalex.org/W4294730722“，”doi“：”https://doi.org/10.1007/s11334-022-00475-1“，”title“：”正式验证的分层证明的捆绑和评估证据“，”display_name“：”正式验证的分层证明的捆绑和评估证据“，”publication_year“：2022，”publication_date“：”2022-09-04“，”ids“：｛”openalex“：”https://openalex.org/W4294730722“，”doi“：”https://doi.org/10.1007/s11334-022-00475-1“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/s11334-022-00475-1“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S151239915“，”display_name“：”系统和软件工程创新“，”issn_l“：”1614-5046“，”isn“：[”1614-5406“，”1614-50054“]，”is_oa“：false，”is-in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“journal”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“jornal-article”，“indexed_in”：[”crossref“]”，“open_access”：{“is_oa”：true，“oa_status”：“green”url“：”https://kuschoolworks.ku.edu/bitstream/1808/34418/1/Petz_ku_0099D_18488_DATA_1.pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5027425888“，”display_name“：”Adam Petz“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I146416000“，”display_name“：”堪萨斯大学“，”ror“：”https://ror.org/001tmjg57“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I146416000“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Adam Petz“，”raw _affiliation_strings“：[“堪萨斯大学信息科学研究所，堪萨斯州劳伦斯市，66045，美国”]，”affiliations“：[{”raw _affiliation_string“：”堪萨斯大学，劳伦斯市https://openalex.org/I146416000“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5042452819“，”display_name“：”Perry Alexander“，”orcid“：”https://orcid.org/0000-0002-5387-9157}，“机构”：[{“id”：https://openalex.org/I146416000“，”display_name“：”堪萨斯大学“，”ror“：”https://ror.org/001tmjg57“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I146416000“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Perry Alexander“，”raw _affiliation_strings“：[“堪萨斯大学信息科学研究所，堪萨斯州劳伦斯市，66045，美国”]，”affiliations“：[{”raw _affiliation_string“：”堪萨斯大学，劳伦斯市机构ID“：[”https://openalex.org/I146416000“]}]}]，”countries_distinct_count“：1，”institutions_disting_count”：1，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]、”apc_list“：{”value“：2190，”currency“：”EUR“，”value_usd“：2790，”provenance“：”doaj“}，”apc_payd“：null，”fwci“：null，”has_fulltext“：false，”cited_by_count ile_year“：{“最小”：0，“最大”：67}，“书目”：{”卷“：”19“，”问题“：“4”，”第一页“：“411”，”最后一页“：”426“}，”被提取“：false，”is_paratext“：false，”primary_topic“：{”id“：”https://openalex.org/T11424“，”display_name“：”基于语言的信息流安全“，”score“：0.9995，”subfield“：{”id“：”https://openalex.org/subfields/1702“，”display_name“：”人工智能“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，”主题“：[{”id“：”https://openalex.org/T11424“，”display_name“：”基于语言的信息流安全“，”score“：0.9995，”subfield“：{”id“：”https://openalex.org/subfields/1702“，”display_name“：”人工智能“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T11689“，”“display_name”：“深度学习模型中的对抗稳健性”，“score”：0.9781，“subfield”：{“id”：“https://openalex.org/subfields/1702“，”display_name“：”人工智能“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T11241“，”display_name“：”Android恶意软件的特征描述和检测“，”score“：0.9735，”subfield“：{”id“：”https://openalex.org/subfields/1711“，”display_name“：”信号处理“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/verification网站“，”display_name“：”Verification“，”score“：0.488246｝]，”concepts“：[｛”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.73364216}，{”id“：”https://openalex.org/C26713055，“wikidata”：https://www.wikidata.org/wiki/Q245962“，”display_name“：”Implementation“，”level“：2，”score“：0.57408303}，{”id“：”https://openalex.org/C153083717，“wikidata”：https://www.wikidata.org/wiki/Q6535263“，”display_name“：”杠杆（统计）“，”level“：2，”score“：0.55129445}，{”id“：”https://openalex.org/C115903868，“wikidata”：https://www.wikidata.org/wiki/Q80993“，”display_name“：”软件工程“，”level“：1，”score“：0.45287004}，{”id“：”https://openalex.org/C36503486，“wikidata”：https://www.wikidata.org/wiki/Q11235244网址“，”display_name“：”域（数学分析）“，”level“：2，”score“：0.4208367}，{”id“：”https://openalex.org/C168167062，“wikidata”：https://www.wikidata.org/wiki/Q1117970“，”display_name“：”组件（热力学）“，”level“：2，”score“：0.41281492}，{”id“：”https://openalex.org/C38652104，“wikidata”：https://www.wikidata.org/wiki/Q3510521“，”display_name“：”计算机安全“，”level“：1，”score“：0.39348426}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.375001}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.1206834}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”Physics“，”level“：0，”score“：0.0｝，｛”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C97355855，“wikidata”：https://www.wikidata.org/wiki/Q11473“，”display_name“：”热力学“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/s11334-022-00475-1“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S151239915“，”display_name“：”系统和软件工程创新“，”issn_l“：”1614-5046“，”isn“：[”1614-5406“，”1614-50054“]，”is_oa“：false，”is-in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“journal”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://hdl.handle.net/1808/34418，“pdf_url”：https://kuschoolworks.ku.edu/bitstream/1808/34418/1/Petz_ku_0099D_18488_DATA_1.pdf，“源”：{“id”：https://openalex.org/S4377196285“，”display_name“：”KU ScholarWorks（堪萨斯大学）“，”issn_l“：null，”issn“：null，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/I146416000“，”“host_organization_name”：“堪萨斯大学”，“host_ordanization_lineage”：[“https://openalex.org/I146416000“]，”host_organization_lineage_names“：[”堪萨斯大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://hdl.handle.net/1808/34418，“pdf_url”：https://kuschoolworks.ku.edu/bitstream/1808/34418/1/Petz_ku_0099D_18488_DATA_1.pdf，“源”：{“id”：https://openalex.org/S4377196285“，”display_name“：”KU ScholarWorks（堪萨斯大学）“，”issn_l“：null，”issn“：null，”is_oa“：false，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I146416000“，”“host_organization_name”：“堪萨斯大学”，“host_ordanization_lineage”：[“https://openalex.org/I146416000“]，”host_organization_lineage_names“：[”堪萨斯大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，”sustainable_development_goals“：[]，“grants”：[{“funder”：“https://openalex.org/F4320311089“，”“funder_display_name”：“国家安全局”，“award_id”：“H98230-18-D-0009”}，{“funder”：“https://openalex.org/F4320332180“，”“funder_display_name”“：”国防高级研究计划局“，”award_id“：”HR0011-18-9-0001“}]，”数据集“：[]，”版本“：[]，”referenced_works_count“：39，”referrenced_works“：[”https://openalex.org/W1549483202","https://openalex.org/W168668849","https://openalex.org/W1966709388","https://openalex.org/W1977008535","https://openalex.org/W1984187936","https://openalex.org/W2006731094","https://openalex.org/W202447933","https://openalex.org/W2025431400","https://openalex.org/W2075095478","https://openalex.org/W2076317514","https://openalex.org/W2076409494","https://openalex.org/W2098621209","https://openalex.org/W2110688133","https://openalex.org/W2115175416","https://openalex.org/W2135274013","https://openalex.org/W2136310957","https://openalex.org/W2140911579","https://openalex.org/W2146431583","https://openalex.org/W2147669587","https://openalex.org/W2151491842","https://openalex.org/W2167814583","https://openalex.org/W2509458456","https://openalex.org/W2515140570","https://openalex.org/W2604623598","https://openalex.org/W2777564027","https://openalex.org/W2810040629","https://openalex.org/W2899279436","https://openalex.org/W2906765636","https://openalex.org/W2907400963","https://openalex.org/W2928942449","https://openalex.org/W2951525221","https://openalex.org/W2963520010","https://openalex.org/W2963715337","https://openalex.org/W3011815082","https://openalex.org/W3164774207","https://openalex.org/W3203215087","https://openalex.org/W3205905300","https://openalex.org/W4200559088","https://openalex.org/W4236995802“]，”related_works“：[”https://openalex.org/W797688974","https://openalex.org/W4238532390","https://openalex.org/W2977179488","https://openalex.org/W2961779879","https://openalex.org/W2209382646","https://openalex.org/W2188872161","https://openalex.org/W2144453115","https://openalex.org/W2128223750","https://openalex.org/W2120447654","https://openalex.org/W2002978035“]，”ngrams_url“：”https://api.openalex.org/works/W4294730722/ngrams网站“，”“abstract_inverted_index”：{“Remote”：[0]，“certification”：[1,20121143]，“is”：[2,14]，“a”：[3,9,15,46,55140]，“technology”：[4]，“for”：[5,18,41,72139]，“establing”：[6]，“trust”：[7]，“in”：[8,24,86115123]，“Remote”：[10]，“computing”：[11]，“system.”：[12]，“Copland”：[13,38,43,97]，“domain-specific”“：[16]，”语言“：[17]，”指定“：[19]，”协议“：[21,44]，”“：[22]，”操作“：[23]，”多样性“：[25]，”分层“：[26]，”测量“：[27,73]，”拓扑。“：[28]，“In”：[29]，“this”：[30]，“work”，：[31]，“we”：[32101]，“formal”：[33]，“define”：[34]，“and”：[35,60,67,75,91108118]，“verify”：[36]，“the”：[37,69,87,96116124137]，“Virtual”：[3]，“Machine”：[40]，“executinging”：[42]，：[49]，“程序。“：[50]，”一起“：[51]，”这些“：[52]，”组件“：[53135]，”提供“：[54]，”原则“：[56]，”管道“：[57]，”到“：[58,95113131]，”执行“：[59]，”捆绑“：[61]，”任意“：[62]，”基于Copland“：[63]，”证明“：[64]，”然后“：[65]，”解开“：[66]，”评估“：[68]，”结果“：[70]，”证据“：[71]，“内容”：[74]，“加密”：[76]，“完整性”。“：[77]，“全部”：[78]，“工件”：[79]，“是”：[80]，“实现”：[81]，“作为”：[82]，“一元”，：[83]，“函数”：[84]，“程序”：[85]，“Coq”：[88]，“证明”：[89]，“助手”：[90]，“验证”：[92141]，“使用”：[93]，“尊重”：[94]，“引用”：[98]，“语义。“：[99]，”最后，“：[100]，”杠杆“：[102]，”形式“：[103]，”属性“：[104]，”of“：[105120126]，”component“：[106]，”implementations“：[107]，”their“：[109]，”arounding“：[110]，”security“：[111]，”architecture“：[112]，”aid“：[114]，”design“：[117]，”analysis“：[119]，”scenarios“：[122]，”context“：[125]，”an“：[127]，”active“：[128]，“对手”：[129]，“尝试”：[130]，“颠覆“：[132]，”认证。“：[133]，”这些“：[134]，”层“：[136]，”基础“：[138]，”端到端“：[142]，”堆栈。“：[144]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W4294730722“，”counts_by_year“：[]，”updated_date“：”2024-06-20T06:10:46.649295“，”created_date:“2022-09-06”}“