{“id”：“https://openalex.org/W3047975027“，”doi“：”https://doi.org/10.109/cns48642.2020.9162197“，”title“：”证书透明性流言协议的定量验证“，”display_name“：”认证透明性流言蜚语协议的定量检验“，”publication_year“：2020，”publitation_date“：”2020-06-01“，”ids“：{”openalex“：”https://openalex.org/W3047975027“，”doi“：”https://doi.org/10.109/cns48642.2020.9162197“，”mag“：”3047975027“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/cns48642.2020.9162197“，”pdf_url“：null，”source“：null，”license“：null'，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，”type“：”article“，”type_crossref“：“procesdings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：false，”oa_status“：”closed“，”oa_url”：null“，”any_repository_has_fulltext“：false}”，”authorships“：[{”author_position“：”first“，”作者“：{”id“：”https://openalex.org/A5004387243“，”display_name“：”Michael Oxford“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I79619799“，”display_name“：”伯明翰大学“，”ror“：”网址：https://ror.org/03angcq70“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I79619799“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Michael Oxford“，”raw _affiliation_strings“：[“英国伯明翰大学计算机科学学院”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5036097359“，”display_name“：”David Parker“，”orcid“：”https://orcid.org/0000-0003-4137-8862}，“机构”：[{“id”：https://openalex.org/I79619799“，”display_name“：”伯明翰大学“，”ror“：”https://ror.org/03angcq70“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I79619799“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”David Parker“，”raw _affiliation_strings“：[“英国伯明翰大学计算机科学学院”]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5055690957“，”display_name“：”Mark Ryan“，”orcid“：”https://orcid.org/0000-0002-1632-497X}，“机构”：[{“id”：https://openalex.org/I79619799“，”display_name“：”伯明翰大学“，”ror“：”https://ror.org/03angcq70“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I79619799“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Mark Ryan“，”raw_affiliation_strings“：[“英国伯明翰大学计算机科学学院”]}]“countries_distict_count”：1，”institutions_disticent_count“：1，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]”，“apc_list”：null，“apc_payed”：nul，“has_fulltext”：false“”cited_by_count“：3，”cited_by_percentile_year“：{“min”：78，“max”：80}，“biblio”：{”volume“：null，“issue”：null、“first_page”：null，“last_page”：null}，”is_retracted“：false，”is_paratext“：false，”primary_topic“:{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9995，“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/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9995，“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/T10743“，”“display_name”：“自动化软件测试技术”，“score”：0.9993，“subfield”：{“id”：“https://openalex.org/subfields/1712“，”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/T12127“，”“display_name”：“日志分析和系统性能诊断”，“score”：0.9992，“subfield”：{“id”：“https://openalex.org/subfields/1705“，”display_name“：”计算机网络和通信“｝，”field“：｛”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/runtime验证“，”display_name“：”Runtime Verification“，”score“：0.542514}，{”id“：”https://openalex.org/keywords/safety-verification网站“，”display_name“：”安全验证“，”score“：0.536884}，{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.52175}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.86864793｝，｛”id“：”https://openalex.org/C145928361，“wikidata”：https://www.wikidata.org/wiki/Q5587504“，”display_name“：”绯闻协议“，”level“：3，”score“：0.7592327}，{”id“：”https://openalex.org/C62989814，“wikidata”：https://www.wikidata.org/wiki/Q854648“，”display_name“：”Gossip“，”level“：2，”score“：0.6370383｝，｛”id“：”https://openalex.org/C2780385302，“wikidata”：https://www.wikidata.org/wiki/Q367158“，”“display_name”“：”协议（科学）“，”级别“：3，”分数“：0.57397205}，{”id“：”https://openalex.org/C2780233690，“wikidata”：https://www.wikidata.org/wiki/Q535347“，”display_name“：”透明度（行为）“，”级别“：2，”分数“：0.55471313}，{”id“：”https://openalex.org/C49937458，“wikidata”：https://www.wikidata.org/wiki/Q2599292“，”display_name“：”概率逻辑“，”level“：2，”score“：0.549968}，{”id“：”https://openalex.org/C96865113，“wikidata”：https://www.wikidata.org/wiki/Q2946816“，”display_name“：”Certificate“，”level“：2，”score“：0.51195467}，{”id“：”https://openalex.org/C110875604，“wikidata”：https://www.wikidata.org/wiki/Q75“，”display_name“：”The Internet“，”level“：2，”score“：0.50208116｝，｛”id“：”https://openalex.org/C31258907，“wikidata”：https://www.wikidata.org/wiki/Q1301371“，”display_name“：”计算机网络“，”level“：1，”score“：0.41556808}，{”id“：”https://openalex.org/C199521495，“wikidata”：https://www.wikidata.org/wiki/Q181487“，”display_name“：”Audit“，”level“：2，”score“：0.4144183}，{”id“：”https://openalex.org/C38652104，“wikidata”：https://www.wikidata.org/wiki/Q3510521“，”display_name“：”计算机安全“，”level“：1，”score“：0.34668255}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.22719043}，{”id“：”https://openalex.org/C77088390，“wikidata”：https://www.wikidata.org/wiki/Q8513“，”display_name“：”数据库“，”级别“：1，”分数“：0.19181687}，{”id“：”https://openalex.org/C136764020，“wikidata”：https://www.wikidata.org/wiki/Q466“，”display_name“：”万维网“，”level“：1，”score“：0.17380291}，{”id“：”https://openalex.org/C71924100，“wikidata”：https://www.wikidata.org/wiki/Q11190“，”display_name“：”Medicine“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C15744967，“wikidata”：https://www.wikidata.org/wiki/Q9418“，”display_name“：”心理学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C77805123，“wikidata”：https://www.wikidata.org/wiki/Q161272“，”display_name“：”社会心理学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C204787440，“wikidata”：https://www.wikidata.org/wiki/Q188504“，”display_name“：”替代医学“，”level“：2，”score“：0.0}，{”id“：”https://openalex.org/C187736073，“wikidata”：https://www.wikidata.org/wiki/Q2920921“，”display_name“：”管理“，”级别“：1，”分数“：0.0}，{”id“：”https://openalex.org/C142724271，“wikidata”：https://www.wikidata.org/wiki/Q7208（网址：https://www.wikidata.org/wiki/Q7208）“，”display_name“：”病理“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.0｝，｛”id“：”https://openalex.org/C48044578，“wikidata”：https://www.wikidata.org/wiki/Q727490“，”display_name“：”可伸缩性“，”level“：2，”score“：0.0}，{”id“：”https://openalex.org/C162324750，“wikidata”：https://www.wikidata.org/wiki/Q8134“，”display_name“：”Economics“，”level“：0，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/cns48642.2020.9162197“，”pdf_url“：null，”source“：null，”license“：null:”license_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：nul，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[]:”，“referenced_works_count”：19，“referrenced_works”：[”https://openalex.org/W1437335841","https://openalex.org/W1516256348","https://openalex.org/W1596388494","https://openalex.org/W1603153151","https://openalex.org/W1655958391","https://openalex.org/W1862398452","https://openalex.org/W2005998857","https://openalex.org/W2054652241","https://openalex.org/W2106411961","https://openalex.org/W2113207845","https://openalex.org/W21164281999","https://openalex.org/W2159801413","https://openalex.org/W2186028149","https://openalex.org/W2233063544","https://openalex.org/W2396677053","https://openalex.org/W2884440084","https://openalex.org/W4206147779","https://openalex.org/W4240195388","https://openalex.org/W60686164“]，”related_works“：[”https://openalex.org/W3024820515","https://openalex.org/W2149172033","https://openalex.org/W2131433923","https://openalex.org/W2120550887","https://openalex.org/W2108737453","https://openalex.org/W2050759643","https://openalex.org/W2020760577网址","https://openalex.org/W2010318438","https://openalex.org/W177242786","https://openalex.org/W1678654634“]，”ngrams_url“：”https://api.openalex.org/works/W3047975027/ngrams网站“，”“abstract_inverted_index”：{“证书”：[0]，“透明度”：[1]，“是”：[2,14,22]，“a”：[3,34,51,72,83104]，“有希望”：[4]，“基于日志”：[5]，“系统”：[6]，“设计”：[7,57]，“到”：[8,25,33,41,97107145]，“审计”：[9]，“互联网”：[10]，“证书”:[11]，“公开”：[12]，“和”：[13,99129140]，“当前“：[15]，”支持“：[16]，”由“：[17]，”谷歌“：[18]，”铬。“：[19]，”“然而，”：[20]，“it”：[21]，“潜在”：[23]，“易受攻击”：[24]，“split-world”：[26]，“攻击，”：[27]，“其中”：[28]，“确定”：[29]，“用户”：[30,44,60]，“是”：[31,45]，“定向”：[32]，“假”：[35]，“版本”：[36,49]，“的”：[37,50,75,9011623134]，“the”：[38,47,65101171 20130]，“日志。“：[39,66]，”So，“：[40]，”sure“：[42]，”that“：[43]，”seeing“：[46]，”same“：[48]，”log“：[52]，”gossip“：[53]，”protocols“：[54,78]，”have“：[55]，”been“：[56]，”in“：[58126132]，”which“：[59]，”share“：/61]，”data“:[62128]，”sourced“：[63]，”from“：[64]，”in“：]，“这个”：[68]，“论文”：[69]，“我们”：[70]，“提议”：[71]，“新”：[73]，“方式”：[74]，“评估”：[76]，“这些”：[77]，“使用“：[79]，“概率”：[80]，“模型”：[81110]，“检查”：[82]，“技术”：[84]，“for”：[85]，“形式”：[86]，“验证”：[87100]，“定量”：[88]，“属性”：[89]，“计算机”：[91]，“系统”。“：[92]，“我们”：[93112]，“描述”：[94]，“我方”：[95142]，“方法”：[96106]，“建模”：[98]，“协议”：[102118]，“包括”：[103119]，“新颖”：[105]，“确定”：[108]，“最坏情况”：[109]，“参数”。“：[111]，“分析”：[113]，“多个”：[114]，“方面”：[115]，“成功”：[121]，“速率”：[122]，“检测”：[124]，“不一致”：[125]，“流言”：[127]，“效率”：[131]，“术语”：[133]，“带宽”：[135]，“比较”：[136]，“不同”：[137]，“协议”：[138147]，“变体”：[139]，“也”：[141]，“自己的”：[143]，“提案”：[144]，“提高”：[146]，“性能。“：[148]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W3047975027“，”counts_by_year“：[{”年“：2022，”引用_by_count“：3}]，”更新日期“：”2024-06-03T07:19:02.004254“，”创建日期“：“2020-08-13”}