{“id”：“https://openalex.org/W1512211898“，”doi“：”https://doi.org/10.1007/3-540-44716-4_2“，”title“：”证明码的可扩展架构“，”display_name“：”验证码的可伸缩架构“，“publication_year”：2001，”publication_date“：”2001-01-01“，”ids“：{”openalex“：”https://openalex.org/W1512211898“，”doi“：”https://doi.org/10.1007/3-540-44716-4_2“，”mag“：”1512211898“｝，”language“：”en“，”primary_location“：｛”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/3-540-44716-4_2“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”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“：”图书系列“}，”license“：null，”license_id“：null，”version“：null，”is_accepted“：false，”is_published“：false｝，”type“：”图书章节“，”type_crossref“：”图书章节“，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：false，”oa_status“：”closed“，”oa_url“：null”，“any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5049483484“，”display_name“：”George C.Necula“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I95457486“，”display_name“：”加州大学伯克利分校“，”ror“：”https://ror.org/01an7q238“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I95457486“]}]，”国家“：[”美国“]，”is_corresponding“：true，”raw_author_name“：”George C.Necula“，”raw _ afiliation_strings“：[“美国加州大学伯克利分校电气工程与计算机科学系”]，”affiliations“：[{”raw_ afiliation _string“：”美国加州大学伯克利分校电气工程与计算机科学系“，“institution_ids”：[“https://openalex.org/I95457486“]}]}]，”countries_disticont_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[“https://openalex.org/A5049483484“]，”对应的机构ID“：[”https://openalex.org/I95457486“]，”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc _payd“：null，”has_fulltext“：false，”cited_by_count“：23，”cited_by_percentile_year“：{”min“：87，”max“：88}，“biblio”：{“volume”：null、“issue”：null，“first_page”：“21”，“last_page”：“39”}，，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.9997，”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/T10126“，”display_name“：”程序分析与验证技术“，”score“：0.9997，”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/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9983，“subfield”：{“id”：“https://openalex.org/subfields/1703“，”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.9961，”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/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.514106}，{”id“：”https://openalex.org/keywords/safety-verification（https://openalex.org/keywords/safety-verification）“，”display_name“：”安全验证“，”score“：0.504783}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.8141012}，{”id“：”https://openalex.org/C108710211，“wikidata”：https://www.wikidata.org/wiki/Q11538“，”display_name“：”数学证明“，”level“：2，”score“：0.74239033}，{”id“：”https://openalex.org/C48044578，“wikidata”：https://www.wikidata.org/wiki/Q727490“，”display_name“：”可伸缩性“，”level“：2，”score“：0.6722884}，{”id“：”https://openalex.org/C2776760102，“wikidata”：https://www.wikidata.org/wiki/Q5139900“，”display_name“：”Code（set theory）“，”level“：3，”score“：0.6645503}，{”id“：”https://openalex.org/C153083717，“wikidata”：https://www.wikidata.org/wiki/Q6535263“，”display_name“：”杠杆率（统计）“，”level“：2，”score“：0.6007798}，{”id“：”https://openalex.org/C26713055，“wikidata”：https://www.wikidata.org/wiki/Q245962“，”display_name“：”Implementation“，”level“：2，”score“：0.54484653}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.52968913}，{”id“：”https://openalex.org/C2780586882，“wikidata”：https://www.wikidata.org/wiki/Q7520643（网址：https://www.wikidata.org/wiki/Q7520643）“，”display_name“：”Simple（哲学）“，”level“：2，”score“：0.5213605}，{”id“：”https://openalex.org/C124978682，“wikidata”：https://www.wikidata.org/wiki/Q1201019“，”display_name“：”概念证明“，”level“：2，”score“：0.5165521}，{”id“：”https://openalex.org/C123657996，“wikidata”：https://www.wikidata.org/wiki/Q12271“，”display_name“：”Architecture“，”level“：2，”score“：0.49751428}，{”id“：”https://openalex.org/C94461902，“wikidata”：https://www.wikidata.org/wiki/Q2762418“，”display_name“：”形式证明“，”level“：3，”score“：0.45285514}，{”id“：”https://openalex.org/C26517878，“wikidata”：https://www.wikidata.org/wiki/Q228039“，”display_name“：”Key（lock）“，”level“：2，”score“：0.4464544}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.35079205}，{”id“：”https://openalex.org/C111919701，“wikidata”：https://www.wikidata.org/wiki/Q9135“，”display_name“：”操作系统“，”level“：1，”score“：0.14145124}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.06723243}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.058750123}，{”id“：”https://openalex.org/C142362112，“wikidata”：https://www.wikidata.org/wiki/Q735“，”display_name“：”Art“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.0｝，｛”id“：”https://openalex.org/C177264268，“wikidata”：https://www.wikidata.org/wiki/Q1514741“，”display_name“：”Set（abstract data type）“，”level“：2，”score“：0.0}，{”id“：”https://openalex.org/C111472728，“wikidata”：https://www.wikidata.org/wiki/Q9471“，”display_name“：”认识论“，”level“：1，”score“：0.0｝，｛”id“：”https://openalex.org/C153349607，“wikidata”：https://www.wikidata.org/wiki/Q36649“，”display_name“：”视觉艺术“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/3-540-44716-4_2“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”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”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nuld，“sustainable_development_goals”：[{“score”：0.47，“display_name”：“无贫困”，“id”：“https://metadata.un.org/sdg/1“｝]，”grants“：[]，”dataset“：[]，”versions“：[]，”referenced_works_count“：8，”referenced_works“：[”https://openalex.org/W1974190112","https://openalex.org/W2004916435","https://openalex.org/W2034711041","https://openalex.org/W2069107692","https://openalex.org/W2114925693","https://openalex.org/W2568721247","https://openalex.org/W4231861573","https://openalex.org/W4238474662“]，”related_works“：[”https://openalex.org/W4385763783","https://openalex.org/W4320561453","https://openalex.org/W4309397387","https://openalex.org/W4295798319","https://openalex.org/W3168779796","https://openalex.org/W3037184231","https://openalex.org/W3036179535","https://openalex.org/W2953172612","https://openalex.org/W2386725749","https://openalex.org/W1598473030“]，”ngrams_url“：”https://api.openalex.org/works/W1512211898/ngrams网站“，”“abstract_inverted_index”：{“证明携带”：[0]，“代码”：[1]，“（PCC）”：[2]，“是”：[3,32,37,69]，“a”：[4,10,18,43101148155163]，“通用”：[5]，“机制”：[6]，“用于”：[7144178]，“验证”：[8,65]，“that”：[9,25,33,66,72135171]，“编码”：[11,35,58,76,94]，“片段”：[12,36]，“可以”：[13]，“成为”：[14,40176]，“执行”：[15]，“安全”：[16]，“开启”：[17]，“主机“：[19]，”系统。“：[20]，”The“：[21]，”key“：[22]，”technical“：[23]，”detail“：/24]，”makes“：[26]，”PCC“：[27,82164]，”simple“：[28,62]，”yet“：[29]，”very“：[30185]，”powerful“：[31]，”The“：[34,52,57,61,67,75,87107116159180]，”required“：[3]8]，”to“：[39122138175]，”assiled“：[41]，”by“：[42]，“详细”：[44]，“和”：[45,71112]，“精确”：[46]，“解释”：[47,68]，““：[48,64,81,89,93103109118133158162183]，”如何“：[49]，”它“：[50,73]，”满足“：[51]，”安全“：[53,84182]，”策略。“：[54]，”This“：[55]，”leaves“：[56]，”receiver“：[59]，”with“：[00154]，“task”：[63]，“correct”：[70]，“matches”：[74]，“in”：[77,86106]，“question”。“：[78]，”先前“：[79]，”实现“：[80]，”使用“：[83]，”解释“：[85]，”形式“：[88152]，”显式“：[90]，”正式“：[91]，”证明“：[92]，”安全“：[95]，”因此“：[96]，”获得“：[97]，”杠杆“：[98]，”来自“：[99]，”实质“：[101]，”金额“：[102]，”以前“：[104]，”研究“：[105]，”面积“：[108]，“证明”：[110124150]，“陈述”：[11151]，“核对，“：[113]，”但是“：[114]，”在“：[115]，”费用“：[117]，”差“：[119]，”可扩展性“：[120]，”到期“：[121]，”大“：[123186]，”大小。“：[125]，”In“：[126]，”this“：[127173]，”paper“：[128]，”we“：/129]，”describe“：[130]，”series“：[132]，”changes“：%134]，”are“：%136]，”necessary“：[137]，”reach“：[139]，”truel“：[141]，”scalable“：[142]，”architecture“：[143174]，”PCC。“：[145]，”这些“：[146]，”包括“：[147]，”新“：[149]，”沿“：[153]，”更好“：[156]，”集成“：[157]，”各种“：[160]，”组件“：[161]，”检查程序。“：[165]，“我们”：[166]，“也”：[167]，“存在”：[168]，“实验”：[169]，“结果”：[170]，“显示”：[172]，“有效”：[177]，“检查”：[179]，“类型”：[181]，“偶数”：[184]，“程序”：[187]，“表示”：[188]，“作为”：[189]，“机器”：[190]，“代码”。“：[191]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=引用：W1512211898“，”counts_by_year“：[{”年份“：2020，”cited_by_count“：1}，{”年“：2012，”cited_by_count”：1}]，”更新日期“：”2024-06-19T01:38:28.494372“，”创建日期“：“2016-06-24”}