{“id”：“https://openalex.org/W2736634910“，”doi“：”https://doi.org/10.1007/978-3-319-66399-9_1“，”title“：“使用Else分支自动分析安全协议的等价属性”，”display_name“：”使用Else分枝自动分析安全协定的等价属性“，”publication_year“：2017，”publiation_date“：”2017-01-01“，”ids“：{”openalex“：”https://openalex.org/W2736634910“，”doi“：”https://doi.org/10.1007/978-3-319-66399-9_1“，”mag“：”2736634910“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-319-66399-9_1“，”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、”is_core“：true、”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“，”Spring er Science+Business Media“]，“type”：“book series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”preprint“，”type_crossref“：“book-chapter”，“indexed_in”：[“crossref”]，“open_access”：{“is_oa”：true，“oa_status”：“green”，“oaurl”（_U）：“https://inria.hal.science/hal-01566035/document（英文）“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5039605057“，”display_name“：”Ivan Gazeau“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I4210127166“，”display_name“：”洛林大学中心“，”ror“：”https://ror.org/03fcjvn64“，”“country_code”“：”FR“，”type“：”facility“，”lineage“：[”https://openalex.org/I1326498283","https://openalex.org/I4210127166“]}，{”id“：”https://openalex.org/I4210121838“，”display_name“：”Laboratoire Lorrain de Recherche en Informatique et ses Applications“，”ror“：”https://ror.org/02vnf0c38“，”“country_code”“：”FR“，”type“：”facility“，”lineage“：[”https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I4210121838","https://openalex.org/I4210159245","https://openalex.org/I4387156389","https://openalex.org/I90183372“]｝]，”countries“：[”FR“]，”is_corresponding“：true，”raw_author_name“：”Ivan Gazeau“，”raw_affiation_strings“：[”LORIA，Inria Nancy-Grand Est，Villers-l\u00e8s Nancy，France“]，”affiliations“：[｛”raw_affiation_string“：”LORIA，Inria Nancy-Grand Est，Villers-l\u00e8s Nancy，France“，”institution_ids“：[”https://openalex.org/I4210127166","https://openalex.org/I4210121838“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5085316790“，”display_name“：”Steve Kremer“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I4210127166“，”display_name“：”洛林大学中心“，”ror“：”https://ror.org/03fcjvn64“，”“country_code”“：”FR“，”type“：”facility“，”lineage“：[”https://openalex.org/I1326498283","https://openalex.org/I4210127166“]}，{”id“：”https://openalex.org/I4210121838“，”display_name“：”Laboratoire Lorrain de Recherche en Informatique et ses Applications“，”ror“：”https://ror.org/02vnf0c38“，”“country_code”“：”FR“，”type“：”facility“，”lineage“：[”https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I4210121838","https://openalex.org/I4210159245","https://openalex.org/I4387156389","https://openalex.org/I90183372“]}]，”国家“：[”FR“]，”is_corresponding“：true，”raw_author_name“：”Steve Kremer“，”raw _affiliation_strings“：[“LORIA，Inria Nancy-Grand-Est，Villers-l\u00e8s-Nancy，France”]，“affiliations”：[{“raw_affiliation _string”：“LORIA，Inria-Nacy-Grand-Est，Villers-l\u 00e8s-Nacy，Frances”，“institution_ids”：[”https://openalex.org/I4210127166","https://openalex.org/I4210121838“]}]}]，”countries_disticont_count“：1，”institutions_disticent_count”：2，”corresponding_author_ids“：[”https://openalex.org/A5039605057","https://openalex.org/A5085316790“]，”对应的机构ID“：[”https://openalex.org/I4210127166","https://openalex.org/I4210121838","https://openalex.org/I4210127166","https://openalex.org/I4210121838“]，”apc_list“：null，”apc _ paid“：null，”fwci“：2.342，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：6，”citecd_by_percentile_year“：{”min“：83，”max“：85}，”biblio“：{volume”：null、“issue”：null、“first_page”：“1”、“last_page”：“20”}、“is_retracted”：false、“is_paratext”：false、“primary_t”主题“：{”id“：”https://openalex.org/T11504“，”“display_name”：“身份验证和密钥交换安全协议”，“score”：0.9999，“subfield”：{“id”：“https://openalex.org/subfields/1705“，”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/T11504“，”“display_name”：“身份验证和密钥交换安全协议”，“score”：0.9999，“subfield”：{“id”：“https://openalex.org/subfields/1705“，”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/T1180“，”display_name“：”用户身份验证方法和安全措施“，”score“：0.9998，”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/T10951“，”display_name“：”分组密码和哈希函数的密码分析“，”score“：0.9966，”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/security-analysis网站“，”display_name“：”安全分析“，”score“：0.547185}，{”id“：”https://openalex.org/keywords/security-protocols网站“，”display_name“：”安全协议“，”score“：0.528341}，{”id“：”https://openalex.org/keywords/authentication网站“，”display_name“：”身份验证“，”score“：0.522275}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.8240161}，{”id“：”https://openalex.org/C2780069185，“wikidata”：https://www.wikidata.org/wiki/Q7977945“，”display_name“：”等效（正式语言）“，”level“：2，”score“：0.73669964｝，｛”id“：”https://openalex.org/C121158502，“wikidata”：https://www.wikidata.org/wiki/Q4652161“，”display_name“：”AKA“，”level“：2，”score“：0.6860955}，{”id“：”https://openalex.org/C2778029271，“wikidata”：https://www.wikidata.org/wiki/Q5421931“，”display_name“：”扩展（谓词逻辑）“，”level“：2，”score“：0.55446035}，{”id“：”https://openalex.org/C2780385302，“wikidata”：https://www.wikidata.org/wiki/Q367158“，”“display_name”“：”协议（科学）“，”级别“：3，”分数“：0.5188766}，{”id“：”https://openalex.org/C33884865，“wikidata”：https://www.wikidata.org/wiki/Q1254335“，”display_name“：”加密协议“，”level“：3，”score“：0.5074753}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.49110886}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.39688605}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.2616943}，{”id“：”https://openalex.org/C178489894，“wikidata”：https://www.wikidata.org/wiki/Q8789“，”display_name“：”Cryptography“，”level“：2，”score“：0.18801701}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.14470446}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.13727385}，{”id“：”https://openalex.org/C71924100，“wikidata”：https://www.wikidata.org/wiki/Q11190“，”display_name“：”Medicine“，”level“：0，”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（网址：https://www.wikidata.org/wiki/Q7208）“，”display_name“：”病理“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C161191863，“wikidata”：https://www.wikidata.org/wiki/Q199655“，”display_name“：”Library science“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：4，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-319-66399-9_1“，”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、”is_core“：true、”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}，{“is_oa”：true，“landing_page_url”：“https://hal.inia.fr/hal-01566035，“pdf_url”：https://inria.hal.science/hal-01566035/document（英文），“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（科学传播中心）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”Centre National de la Recherche Scientifique“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://hal.inria.fr/hal-01566035/document（https://harl.inria.jr/hal-01566035-document），“pdf_url”：https://hal.inria.fr/hal-01566035/document（https://harl.inria.jr/hal-01566035-document），“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（科学传播中心）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”Centre National de la Recherche Scientifique“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://hal.inia.fr/hal-01566035/file/main.pdf，“pdf_url”：https://hal.inia.fr/hal-01566035/file/main.pdf，“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（科学传播中心）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”Centre National de la Recherche Scientifique“]，“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://hal.inia.fr/hal-01566035，“pdf_url”：https://inria.hal.science/hal-01566035/document（英文），“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（科学传播中心）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”Centre National de la Recherche Scientifique“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，”sustainable_development_goals“：[{”id“：”https://metadata.un.org/sdg/16“，”score“：0.55，”display_name“：”Peace，justice，and strong institutions“}]，”grants“：[]，”datasets“：【】，”versions“：【]，”referenced_works_count“：28，”referrenced_works“：[”https://openalex.org/W146244851","https://openalex.org/W1530255708","https://openalex.org/W1535988411","https://openalex.org/W1536580911","https://openalex.org/W1562901937","https://openalex.org/W1571378841","https://openalex.org/W1603878273","https://openalex.org/W1635413415","https://openalex.org/W1965890562网址","https://openalex.org/W1979418580","https://openalex.org/W1996497395","https://openalex.org/W2001874371","https://openalex.org/W2005880313","https://openalex.org/W2042609207","https://openalex.org/W2045673642","https://openalex.org/W2055259417","https://openalex.org/W2078671172","https://openalex.org/W2117064875","https://openalex.org/W2167816957","https://openalex.org/W2253199766","https://openalex.org/W2496342316","https://openalex.org/W2521663436","https://openalex.org/W2623090161","https://openalex.org/W2736634910","https://openalex.org/W2914971001","https://openalex.org/W3003983481","https://openalex.org/W35034951","https://openalex.org/W4210531213“]，”related_works“：[”https://openalex.org/W4241313390","https://openalex.org/W3156494719","https://openalex.org/W3014541132网址","https://openalex.org/W2994737807","https://openalex.org/W2948769344","https://openalex.org/W2948704552","https://openalex.org/W2948639032","https://openalex.org/W2948403110","https://openalex.org/W2948123712","https://openalex.org/W2282990539“]，”ngrams_url“：”https://api.openalex.org/works/W2736634910/ngrams网站“，”“abstract_inverted_index”：{“In”：[0]，“this”：[1,77]，“paper”：[2]，“we”：[3134]，“present”：[4]，“an”：[5,90]，“extension”：[6106]，“of”：[7100116120]，“the”：[8,41,56,80,93108114117136156164]，“AKISS”：[9121]，“protocol”：[10166]，“verification”：[11118]，“tool”：[12138]，“which”：[13111]，“允许”：[14]，“到”：[15,53128]，“验证”：[16142]，“等价“：[17,49,83143]，“属性”：[18,50,76144]，“for”：[19,82,86145]，“protocols”：[20,29146]，“with”：[21]，“else”：[22152]，“分支”：[23]，“即”：[24]，“disequality”：[25]，“tests”。“：[26]，”While“：[27，65]，”many“：[28]，”are“：[30]，”represent“：[31]，”as“：[32，85122]，”linear“：[33]，”sequences“：[34]，”or“：[35]，”inputs“：[36]，”outputs“：[37]，”and“：[338151]，”equality“：[39，62]，”tests“：[40]，”reality“：[42]，”is“：[43，781031140]，”frequency“：[44，70]，“更多”：[45]，“复杂。“：[46]，”当“：[47]，”验证“：[48]，”一“：[51]，”需要“：[52]，”模型“：[54]，”精确“：[55]，”错误“：[57]，”消息“：[58]，”发送“：[59]，”输出“：[60]，”时“：[61,73]，”测试“：[63]，”失败。“：[64]，”忽略“：[66]，”这些“：[67]，”分支“：[68]，”可能“：[69148]，”是“：[71]，”安全“：[72]，”学习“：[74]，”跟踪“：[75]，”不是“：[79]，”案例“：[81161]，”属性“：[84]，”实例“：[87]，”见证“：[88]，”由“：[89]，”攻击“：[91]，”日期“：[92159]，”欧洲“：[94]，”电子“：[95]，”护照。“：[96]，“一个”：[97]，“上诉”：[98]，“特征”：[99]，“我们的”：[10105]，“方法”：[102]，“那”：[104139147]，“再利用”：[107]，“饱和”：[109]，“程序”：[110119]，“at”：[113]，“心脏”：[115]，“a”：[123132]，“黑色”：[124]，“框，”：[125]，“没有”：[126]，“需要”：[127]，“修改”：[129]，“it”：[130]，“As”：[131]，“result”：%133]，“获取”：[135]，“第一”：[137]，“able”：[141]，“使用”：[149]，“异或”：[150]，“分支”：[153]，“我们”：[154]，“演示”：[155]，“工具\u2019s”：[157]，“有效性”：[158]，“多个”：[160]，“研究”：[162]，“包括”：[163]，“AKA”：[165]，“部署”：[167]，“in”：[168]，“移动”：[169]，“电话”：[170]}，“引用_by_api_url”：“https://api.openalex.org/works？filter=引用：W2736634910“，”“counts_by_year”：[{“年份”：2023，”“cited_by_count”：2}，{“年”：2019，”“引用的_by_cunt”：1}，}“年度”：2018，”“引的_by_count”“：1}，{”“年”“：2017，”“引述的_by-count”“:1}，”“年份”“：2012，”“援引的_by/count”:1}]，”“更新日期”：“2024-06-29T23:09:34.017768”，”“创建日期”：”“2017-07-31”}