{“id”：“https://openalex.org/W4393100166“，”doi“：”https://doi.org/10.1109/sp.2014.18“，”title“：”全局状态安全协议的自动分析“，”display_name“：”具有全局状态的安全协议的自动化分析“，“publication_year”：2014，”publication_date“：”2014-05-18“，”ids“：{”openalex“：”https://openalex.org/W4393100166“，”doi“：”https://doi.org/10.1109/sp.2014.18“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://inria.hal.science/hal-01091241，“pdf_url”：https://inria.hal.science/hal-01091241/document（英文）“，”source“：null，”license“：”other-oa“，”licence_id“：”https://openalex.org/licenses/other-oa网站“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}，”type“：”article“，”type_crossref“：“proceedings-article”，”indexed_in“：[]，”open_access“：{”is_oa“：true，”oa_status“：”青铜“，”oa_url“：”https://inria.hal.science/hal-01091241/document（英文）“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5085316790“，”display_name“：”Steve Kremer“，”orcid“：null｝，”institutions“：[]，”countries“：[]，”is_correresponsing“：false，”raw_author_name“：”Steve Kremer“，”raw_affiation_string“：[”无限状态系统安全方法的组合“]，”affiliations“：[｛”raw_affiation_string“：”无限状态系统安全方法的组合“，”institution_ids“：[]}]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5071250407“，”display_name“：”Robert K\u00fcnnemann“，”orcid“：”https://orcid.org/0000-0003-0822-9283}，“机构”：[{“id”：https://openalex.org/I4210132990“，”display_name“：”密码学国家重点实验室“，”ror“：”https://ror.org/02pn5rj08“，”country_code“：”CN“，”type“：“政府”，”世系“：[”https://openalex.org/I4210132990“]}，{”id“：”https://openalex.org/I31512782“，”display_name“：”达姆施塔特科技大学“，”ror“：”https://ror.org/05n911h24“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I31512782“]}]，”国家“：[”CN“，”DE“]，”is_corresponding“：false，”raw_author_name“：”Robert K\u00fcnnemann“，”raw _ afiliation_strings“：[“使用密码学安全编程”，“达姆施塔特理工大学\u00e4t Darmstadt”]，“afliations”：[{“raw_affiliation_strong”：“使用密码安全编程”、“institution_ids”：[”https://openalex.org/I4210132990“]}，{”raw_affiliation_string“：”达姆施塔特科技大学\u00e4t Darmstadt-达姆施塔科技大学“，”institution_ids“：[”https://openalex.org/I31512782“]}]}]，”countries_distinct_count“：2，”institutions_disting_count”：2，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]、”apc_list“：null，”apc_payed“：null，”fwci“：5.037，”has_fulltext“：false，”cited_by_count：null，“first_page”：空，“last_page”：空}，“is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T11504“，”display_name“：”身份验证和密钥交换安全协议“，”score“：0.9949，”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.9949，”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/T10651“，”display_name“：”无线移动和网络切换管理“，”score“：0.994，”subfield“：{”id“：”https://openalex.org/subfields/2208“，”display_name“：”电气与电子工程“}，”字段“：{”id“：”https://openalex.org/fields/22“，”display_name“：”Engineering“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10400“，”display_name“：”网络入侵检测和防御机制“，”score“：0.9924，”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/keywords/security-protocols网站“，”display_name“：”安全协议“，”score“：0.67073}，{”id“：”https://openalex.org/keywords/cryptanalysis网站“，”display_name“：”密码分析“，”score“：0.56812}，{”id“：”https://openalex.org/keywords/formal-analysis（https://openalex.org/keywords/formal-analysis）“，”display_name“：”形式分析“，”score“：0.553501}，{”id“：”https://openalex.org/keywords/iot-security“，”display_name“：”物联网安全“，”score“：0.541534}，{”id“：”https://openalex.org/keywords/network-security网站“，”display_name“：”网络安全“，”score“：0.537532}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.7102214}，{”id“：”https://openalex.org/C38369872，“wikidata”：https://www.wikidata.org/wiki/Q7445009“，”display_name“：”安全分析“，”level“：2，”score“：0.51301545}，{”id“：”https://openalex.org/C48103436，“wikidata”：https://www.wikidata.org/wiki/Q599031“，”display_name“：”State（computer science）“，”level“：2，”score“：0.50639236}，{”id“：”https://openalex.org/C38652104，“wikidata”：https://www.wikidata.org/wiki/Q3510521“，”display_name“：”计算机安全“，”level“：1，”score“：0.50570226}，{”id“：”https://openalex.org/C33884865，“wikidata”：https://www.wikidata.org/wiki/Q1254335“，”display_name“：”Cryptographic protocol“，”level“：3，”score“：0.48557135｝，｛”id“：”https://openalex.org/C178489894，“wikidata”：https://www.wikidata.org/wiki/Q8789“，”display_name“：”Cryptography“，”level“：2，”score“：0.19515291}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.08066723}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：true，”landing_page_url“：”https://inria.hal.science/hal-01091241，“pdf_url”：https://inria.hal.science/hal-01091241/document（英文）“，”source“：null，”license“：”其他oa“，”license_id“：”https://openalex.org/licenses/other-oa网站“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：{”is_oa“：true，”landing_page_url“：”https://inria.hal.science/hal-01091241，“pdf_url”：https://inria.hal.science/hal-01091241/document（英文）“，”source“：null，”license“：”other-oa“，”licence_id“：”https://openalex.org/licenses/other-oa网站“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[https://openalex.org/W2766896269","https://openalex.org/W2748952813","https://openalex.org/W2551197715","https://openalex.org/W2379701766","https://openalex.org/W2358638783","https://openalex.org/W2252724828","https://openalex.org/W2140451704","https://openalex.org/W164648224","https://openalex.org/W1533722674","https://openalex.org/W1498404765“]，”ngrams_url“：”https://api.openalex.org/works/W4393100166/ngrams网站“，”abstract_inverted_index“：空，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W4393100166“，”“counts_by_year”：[{“年份”：2023，”“cited_by_count”：2}，{“年度”：2022，”“cited_by_cunt”：1}，”“年份”“：2021，”年份“：2016，”引用_ by_count“：4}，{“年份”：2015，”引用_by_count:4}]，“更新日期”：“2024-06-20T02:35:52.675736“，”创建日期“：”2024-03-23“}