{“id”：“https://openalex.org/W2078264993“，”doi“：”https://doi.org/10.1145/1085126.1085128“，”title“：“分层证明树的概念及其在安全协议验证自动化中的应用”，”display_name“：”分层证明树概念及其在自动化安全协议验证中的应用“，”publication_year“：2005，”publitation_date“：”2005-08-01“，”ids“：{”openalex“：”https://openalex.org/W2078264993“，”doi“：”https://doi.org/10.1145/1085126.1085128“，”mag“：”2078264993“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/1085126.1085128“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S2642811“，”display_name“：”ACM Transactions on Information and System Security“，”issn_l“：”1094-9224“，”isn“：[”1094-92“，”1557-7406“]，”is_oa“：false，”is.in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P431031798“，”“host_organization_name”：“计算机协会”，“host_ordanization_lineage”：[“https://openalex.org/P431031798“]，”host_organization_lineage_names“：[”Association for Computing Machinery“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“jounal-article”，“indexed_in”：[”crossref“]，‘open_access”：{“is_oa”：false，“oa_status”：“closed”，“oa_url”：nul”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5073987773“，”display_name“：”Reiner Dojen“，”orcid“：”https://orcid.org/0000-0002-113-5532}，“机构”：[{“id”：https://openalex.org/I230495080“，”display_name“：”利默里克大学“，”ror“：”https://ror.org/00a0n9e72“，”country_code“：”IE“，”type“：“教育”，”世系“：[”https://openalex.org/I230495080“]}]，”国家“：[”IE“]，”is_corresponding“：false，”raw_author_name“：”Reiner Dojen“，”raw _ afiliation_strings“：[“爱尔兰利默里克大学”]，”affiliations“：[{”raw_ afiliation _string“：”爱尔兰利默里克大学“，”institution_ids“：[https://openalex.org/I230495080“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5059822467“，”display_name“：”Tom Coffey“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I230495080“，”display_name“：”利默里克大学“，”ror“：”https://ror.org/00a0n9e72“，”country_code“：”IE“，”type“：“教育”，”世系“：[”https://openalex.org/I230495080“]}]，”国家“：[”IE“]，”is_corresponding“：false，”raw_author_name“：”Tom Coffey“，”raw _affiliation_strings“：[“爱尔兰利默里克大学”]，”affiliations“：[{”raw _affiliation_string“：”爱尔兰利默里大学“，”institution_ids“：[https://openalex.org/I230495080“]}]}]，”institution_assertions“：[]，”countries_distiction_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[]、“corresconding_institution_ids“：[].”apc_list“：null，”apc_payed“：nul，”fwci“：1.534，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count，“：19，”citation_normalized_percentile“：{”value“：0.9”18978年，“is_in_top_1_percent“：false，”is_in_top_10_percennt“：true}，”cited_by_percentile_year“：{”min“：86，”max“：87}，“biblio”：{“volume”：“8”，”issue“：”3“，”first_page“：”287“，”last_page“：”311“}https://openalex.org/T11504“，”“display_name”：“身份验证和密钥交换安全协议”，“score”：0.9999，“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/T11504“，”“display_name”：“身份验证和密钥交换安全协议”，“score”：0.9999，“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/T1180“，”“display_name”：“用户身份验证方法和安全措施”，“score”：0.9986，“subfield”：{“id”：“https://openalex.org/subfields/1710“，”display_name“：”Information Systems“}，”field“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T13999“，”“display_name”：“数字版权管理体系结构和技术”，“score”：0.9905，“subfield”：{“id”：“https://openalex.org/subfields/1710“，”display_name“：”Information Systems“}，”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/soundness网站“，”display_name“：”声音“，”分数“：0.7915156}，{”id“：”https://openalex.org/keywords/complementation网站“，”display_name“：”完整性（有序理论）“，”score“：0.51550937｝，｛”id“：”https://openalex.org/keywords/security-architecture网站“，”display_name“：”安全体系结构“，”score“：0.514957}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.88211536}，{”id“：”https://openalex.org/C55439883，“wikidata”：https://www.wikidata.org/wiki/Q360812“，”display_name“：”正确性“，”级别“：2，”分数“：0.8250676}，{”id“：”https://openalex.org/C39920170，“wikidata”：https://www.wikidata.org/wiki/Q693083“，”display_name“：”健全“，”等级“：2，”分数“：0.7915156}，{”id“：”https://openalex.org/C108710211，“wikidata”：https://www.wikidata.org/wiki/Q11538“，”display_name“：”数学证明“，”level“：2，”score“：0.62852716}，{”id“：”https://openalex.org/C33884865，“wikidata”：https://www.wikidata.org/wiki/Q1254335网址“，”display_name“：”Cryptographic protocol“，”level“：3，”score“：0.61031944}，{”id“：”https://openalex.org/C2780385302，“wikidata”：https://www.wikidata.org/wiki/Q367158“，”“display_name”“：”协议（科学）“，”级别“：3，”分数“：0.6013844}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.5449972}，{”id“：”https://openalex.org/C17231256，“wikidata”：https://www.wikidata.org/wiki/Q5156540“，”display_name“：”完整性（有序理论）“，”level“：2，”score“：0.51550937｝，｛”id“：”https://openalex.org/C111498074，“wikidata”：https://www.wikidata.org/wiki/Q173326“，”display_name“：”形式验证“，”level“：2，”score“：0.48392016}，{”id“：”https://openalex.org/C75606506，“wikidata”：https://www.wikidata.org/wiki/Q1049183“，”display_name“：”形式方法“，”level“：2，”score“：0.43653455}，{”id“：”https://openalex.org/C120314980，“wikidata”：https://www.wikidata.org/wiki/Q180634网址“，”display_name“：”分布式计算“，”level“：1，”score“：0.37604386}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.3555839}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.27479476}，{”id“：”https://openalex.org/C178489894，“wikidata”：https://www.wikidata.org/wiki/Q8789“，”display_name“：”Cryptography“，”level“：2，”score“：0.19362}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.08721411}，{”id“：”https://openalex.org/C71924100，“wikidata”：https://www.wikidata.org/wiki/Q11190“，”display_name“：”Medicine“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：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/C204787440，“wikidata”：https://www.wikidata.org/wiki/Q188504“，”display_name“：”替代医学“，”level“：2，”score“：0.0}，{”id“：”https://openalex.org/C142724271，“wikidata”：https://www.wikidata.org/wiki/Q7208“，”display_name“：”病理“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/1085126.1085128“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S2642811“，”display_name“：”ACM Transactions on Information and System Security“，”issn_l“：”1094-9224“，”issn“：[”1094-9224“，”1557-7406“]，”is_oa“：false，”is_in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P431031798“，”“host_organization_name”：“计算机协会”，“host_ordanization_lineage”：[“https://openalex.org/P431031798“]，”host_organization_lineage_names“：[”计算机械协会“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：nul，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nuld，“sustainable_development_goals”：[{“display_name”：“和平、正义和强大的制度”，“id”：”https://metadata.un.org/sdg/16“，”score“：0.71}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：30，”referrenced_works“：【”https://openalex.org/W1499073821","https://openalex.org/W1521083034","https://openalex.org/W1533886364","https://openalex.org/W1566288460","https://openalex.org/W1597343621","https://openalex.org/W1627776297","https://openalex.org/W1635800776","https://openalex.org/W1659048632网址","https://openalex.org/W176888085","https://openalex.org/W1927383947","https://openalex.org/W2010939995","https://openalex.org/W2070207454","https://openalex.org/W2078793962","https://openalex.org/W2088258634","https://openalex.org/W2102922499","https://openalex.org/W2105401163","https://openalex.org/W2106755","https://openalex.org/W2113599658","https://openalex.org/W2119951041","https://openalex.org/W2131895477","https://openalex.org/W2136262554","https://openalex.org/W2146973388","https://openalex.org/W2151461610","https://openalex.org/W2152286108","https://openalex.org/W2153778899","https://openalex.org/W2169216703","https://openalex.org/W2339045958","https://openalex.org/W3143649921","https://openalex.org/W4285719527","https://openalex.org/W62100894“]，”related_works“：[”https://openalex.org/W3091728393","https://openalex.org/W2117798332","https://openalex.org/W2078264993","https://openalex.org/W1977144985","https://openalex.org/W1607540445","https://openalex.org/W1597343621","https://openalex.org/W1522873391","https://openalex.org/W1505593098","https://openalex.org/W1491103038","https://openalex.org/W132289538“]，”abstract_inverted_index“：{”Security“：[0]，”protocols“：[1,24,44]，”are“：[2100]，”one“：[3]，”of“：[4,16,20,28,42,87,97113]，”the“：[5,11,26,40,77,83,88,95,98109114]，”most“：[6]，”critical“：[7]，”elements“：[8]，”in“：[9,22,39,51,70]，”enabled“：[10]，”secure“：[12]，”communication“：[13]，“和”：[14,45,82,85105111]，“处理”：[15]，“信息。”：[17]，““：[18102]，”存在“：[19]，”缺陷“：[21]，”发布“：[23]，”突出显示“：[25]，”复杂性“：[27]，”安全“：[29,43,72]，”协议“：[30,73]，”设计。“：[31,53]，”Only“：[32]，”formal“：[33]，”verification“：[34]，”can“：[35]，”provide“：[36]，”strong“：[37]，”confidence“：[38]，”correction“：[41]，”is“：[46,80,90]，”resident“：[47]，”an“：[48]，”imperative“：[49]，”step“：[50]，”their“：[52]，”This“：[54]，”paper“：[55]，”presents“：[56]，”a“：[57]，”新“：[58,78]，”理论“：[59]，”概念“：[60]，”调用“：[61]，”分层：[62115]，“证明”：[63116]，“树”，：[64]，“表示”：[65,76]，“自动”：[66]，“应用”：[67]，“逻辑”：[68]，“假设”：[69]，“基于逻辑的”：[71]，“验证”。证明了“：[74]，”算法“：[75,99]，”概念“：[79]，”引入“：[81]，”可靠性“：[84]，”完整性“：[86]，”技术“：[89]。“：[91]，“实证”：[92]，“结果”：[93107]，“on”：[94]，“性能”：[96]，“presented。“：[101]，”提出的“：[103]，”证明“：[104]，”实证“：[106]，”论证“：[108]，”可行性“：[110]，”有效性“：[112]，”树“：[117]，”方法。“：[118]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2078264993“，”counts_by_year“：[{”年份“：2019，”cited_by_count“：2}，{”年“：2018，”cited_by_count”：1}，“{”年度“：2015，”citecd_by_count“：1}.，{“年份”：2014，”citesd_by_count“:1}，”年份“:2013，”citted_by-count“:2}.，”年份：2012，“citected_by-count”:2}]，”更新日期“：”2024-09-14T15:15:53.414132“，”创建编辑日期：“2016-06-24”}