{“id”：“https://openalex.org/W2117064875“，”doi“：”https://doi.org/10.1007/11513988_27“，”title“：”互联网安全协议和应用程序自动验证的AVISPA工具“，”display_name“：”用于互联网安全协议与应用程序自动确认的AVISDA工具“，“publication_year”：2005，“publiation_date”：“2005-01-01”，“ids”：{“openalex”：“https://openalex.org/W2117064875“，”doi“：”https://doi.org/10.1007/11513988_27“，”mag“：”2117064875“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/11513988_27，“pdf_url”：https://link.springer.com/content/pdf/10.1007%2F11513988_27.pdf，“源”：{“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”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”type“：”book-chapter“，”type_crossref“：美国“：”铜牌“，”oaurl“：”https://link.springer.com/content/pdf/10.1007%2F11513988_27.pdf“，”any_repository_has_fulltext“：false}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5039827178“，”display_name“：”Alessandro Armando“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I83816512“，”display_name“：”热那亚大学“，”ror“：”https://ror.org/0107c5v14“，”country_code“：”IT“，”type“：“教育”，”世系“：[”https://openalex.org/I83816512“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”A.Armando“，”raw _affiliation_strings“：[“AI-Lab，DIST，University \u00e0 di Genova，Italy”]，”affiliations“：[{”raw _affiliation_string“：”AI-Lab、DIST，university \u 00e0 de Genova、Italy“，”institution_ids“：[https://openalex.org/I83816512“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5025344654“，”display_name“：”David Basin“，”orcid“：”https://orcid.org/0000-0003-2952-939X}，“机构”：[{“id”：https://openalex.org/I35440088“，”display_name“：”苏黎世ETH“，”ror“：”https://ror.org/05a28rw58“，”country_code“：”CH“，”type“：“教育”，”世系“：[”https://openalex.org/I2799323385","https://openalex.org/I35440088“]｝]，”countries“：[”CH“]，”is_corresponding“：false，”raw_author_name“：”D.Basin“，”raw_affiation_strings“：[”瑞士苏黎世联邦理工学院信息安全组“]，”affiliations“：[｛”raw_affiation_string“：”瑞士苏黎世联邦理工学院信息安全组“，”institution_ids“：[”https://openalex.org/I35440088“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5049597004“，”display_name“：”Yohan Boichut“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I90843659“，”display_name“：”法国大学-Comt\u00e9“，”ror“：”https://ror.org/03pcc9z86“，”country_code“：”FR“，”type“：“教育”，”世系“：[”https://openalex.org/I90843659“]}]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”Y.Boichut“，”raw _affiliation_strings“：[“LIFC，University \u00e9 de Franche-Comt\u00e 9，Besancon，France”]，”affiliations“：[{”raw _affiliation_string“：”LIFC，university \u 00e 9 de France-Comt\u 00e9，Besancon，Frence“，”，“institution_ids”：[“https://openalex.org/I90843659“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5076479770“，”display_name“：”Yannick骑士“，”orcid“：null}，”机构“：[{”id“：”https://openalex.org/I4210121838“，”display_name“：”洛林计算机科学研究实验室及其应用“，”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“]}，{”id“：”https://openalex.org/I1326498283“，”display_name“：”法国计算机科学与自动化研究所“，”ror“：”https://ror.org/02kvxyf05“，”country_code“：”FR“，”type“：“政府”，”世系“：[”https://openalex.org/I1326498283“]}]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”Y.Chevalier“，”raw _ afiliation_strings“：[“LORIA-INRIA-Loraine，Nancy，France”]，”从属关系“：[{”raw _affiliation_string“：”LORIA-INRIA-Loriane，Nanch，France“，”institution_ids“：[https://openalex.org/I4210121838","https://openalex.org/I1326498283“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5071893704“，”display_name“：”Luca Compagna“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I83816512“，”display_name“：”热那亚大学“，”ror“：”https://ror.org/0107c5v14“，”country_code“：”IT“，”type“：“教育”，”世系“：[”https://openalex.org/I83816512“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”L.Compagna“，”raw _affiliation_strings“：[“AI-Lab，DIST，University \u00e0 di Genova，Italy”]，”affiliations“：[{”raw _affiliation_string“：”AI-Lab、DIST，university \u 00e0 de Genova、Italy“，”institution_ids“：[https://openalex.org/I83816512“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5050142189“，”display_name“：”Jorge Cu\u00e9llar“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I1325886976“，”display_name“：”西门子（德国）“，”ror“：”https://ror.org/059mq0909“，”country_code“：”DE“，”type“：“company”，”lineage“：[”https://openalex.org/I1325886976“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”J.Cuellar“，”raw _ afiliation_strings“：[“西门子股份公司，CT IC 3，德国慕尼黑”]，”affiliations“：[{”raw_ afiliation _string“：”西门子股份公司https://openalex.org/I1325886976“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5064561031“，”display_name“：”Paul Drielsma“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I35440088“，”display_name“：”苏黎世联邦理工学院“，”ror“：”https://ror.org/05a28rw58“，”country_code“：”CH“，”type“：“教育”，”世系“：[”https://openalex.org/I2799323385","https://openalex.org/I35440088“]}]，”国家“：[”CH“]，”is_corresponding“：false，”raw_author_name“：”P.Hankes Drielsma“，”raw _affiliation_strings“：[“瑞士苏黎世联邦理工学院信息安全小组”]，”affiliations“：[{”raw _affiliation_string“：”瑞士苏黎士联邦理工大学信息安全小组“，”institution_ids“：[https://openalex.org/I35440088“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5081683705“，”display_name“：”Pierre-Cyrille H\u00e9am“，”orcid“：”https://orcid.org/0000-0002-1125-1767}，“机构”：[{“id”：https://openalex.org/I90843659“，”display_name“：”法国大学-Comt\u00e9“，”ror“：”https://ror.org/03pcc9z86“，”country_code“：”FR“，”type“：“教育”，”世系“：[”https://openalex.org/I90843659“]}]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”P.C.He\u00e1m“，”raw _ afiliation_strings“：[“LIFC，University \u00e 9 de Franche-Comt\u00e\u00e9，Besancon，France”]，”afliations“：[{”raw _affiliation_string“：”LIFC，university \u 00e9 de France-Comt\u00e九，Besanson，France“，institution_ids”：[“https://openalex.org/I90843659“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5070920431“，”display_name“：”Olga Kouchnarenko“，”orcid“：”https://orcid.org/0000-0003-1482-9015}，“机构”：[{“id”：https://openalex.org/I90843659“，”display_name“：”法国大学-Comt\u00e9“，”ror“：”https://ror.org/03pcc9z86“，”country_code“：”FR“，”type“：“教育”，”世系“：[”https://openalex.org/I90843659“]}]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”O.Kouchnarenko“，”raw _ afiliation_strings“：[“LIFC，University \u00e9 de Franche-Comt\u00e 9，Besancon，France”]，”affiliations“：[{”raw _affiliation_string“：”LIFC，university \u 00e9 der Franche-Comt\u 00e九，Besanson，France“，France，”，“institution_ids”：[“https://openalex.org/I90843659“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5062088122“，”display_name“：”Jacopo Mantovani“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I83816512“，”display_name“：”热那亚大学“，”ror“：”https://ror.org/0107c5v14“，”country_code“：”IT“，”type“：“教育”，”世系“：[”https://openalex.org/I83816512“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”J.Mantovani“，”raw _ afiliation_strings“：[“AI-Lab，DIST，University \u00e0 di Genova，Italy”]，”affiliations“：[{”raw _affiliation_string“：”AI-Lab、DIST，university \u 00e0 de Genova、Italy“，”institution_ids“：[https://openalex.org/I83816512“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5041754592“，”display_name“：”塞巴斯蒂安M\u00f6dersheim“，”兽人“：”https://orcid.org/0000-0002-6901-8319}，“机构”：[{“id”：https://openalex.org/I35440088“，”display_name“：”苏黎世ETH“，”ror“：”https://ror.org/05a28rw58“，”country_code“：”CH“，”type“：“教育”，”世系“：[”https://openalex.org/I2799323385","https://openalex.org/I35440088“]｝]，”国家“：[”CH“]，”is_corresponding“：false，”raw_author_name“：”S.M\u00f6dersheim“，”raw_affiation_strings“：[”瑞士苏黎世联邦理工学院信息安全组“]，”附属机构“：[｛”raw_affiation_string“：”瑞士苏黎世联邦理工学院信息安全组“，”institution_ids“：[”https://openalex.org/I35440088“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5050598471“，”display_name“：”David von Oheimb“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I1325886976“，”display_name“：”西门子（德国）“，”ror“：”https://ror.org/059mq0909“，”country_code“：”DE“，”type“：“company”，”lineage“：[”https://openalex.org/I1325886976“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”D.von Oheimb“，”raw _ afiliation_strings“：[“西门子股份公司，CT IC 3，德国慕尼黑”]，”affiliations“：[{”raw _affiliation_strong“：”西门子公司，CT IC3，德国穆尼黑”，“institution_ids”：[“https://openalex.org/I1325886976“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5010375037“，”display_name“：”Micha\u00ebl Rusinovitch“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I1326498283“，”display_name“：”法国计算机科学与自动化研究所“，”ror“：”https://ror.org/02kvxyf05“，”country_code“：”FR“，”type“：“政府”，”世系“：[”https://openalex.org/I1326498283“]}，{”id“：”https://openalex.org/I4210121838“，”display_name“：”洛林计算机科学研究实验室及其应用“，”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“：false，”raw_author_name“：”M.Rusinovitch“，”raw _ afiliation_strings“：[“LORIA-INRIA-Loraine，Nancy，France”]，”从属关系“：[{”raw _affiliation_string“：”LORIA-INRIA-Lorraine，Nanch，France“，”institution_ids“：[https://openalex.org/I1326498283","https://openalex.org/I4210121838“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5069775358“，”display_name“：”Judson Santos Santiago“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I1326498283“，”display_name“：”法国计算机科学与自动化研究所“，”ror“：”https://ror.org/02kvxyf05“，”country_code“：”FR“，”type“：“政府”，”世系“：[”https://openalex.org/I1326498283“]}，{”id“：”https://openalex.org/I4210121838“，”display_name“：”洛林计算机科学研究实验室及其应用“，”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“：false，”raw_author_name“：”J.Santiago“，”raw _affiliation_strings“：[“LORIA-INRIA-Lorraine，Nancy，France”]，”从属关系“：[{”raw _affiliation_string“：”LORIA-INRIA-Lorlaine，南希，France“，”institution_ids“：[https://openalex.org/I1326498283","https://openalex.org/I4210121838“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5084531640“，”display_name“：”Mathieu Turuani“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I4210121838“，”display_name“：”洛林计算机科学研究实验室及其应用“，”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“]}，{”id“：”https://openalex.org/I1326498283“，”display_name“：”法国计算机科学与自动化研究所“，”ror“：”https://ror.org/02kvxyf05“，”country_code“：”FR“，”type“：“政府”，”世系“：[”https://openalex.org/I1326498283“]}]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”M.Turuani“，”raw _ afiliation_strings“：[“LORIA-INRIA-Loraine，Nancy，France”]，”从属关系“：[{”raw _affiliation_string“：”LORIA-INRIA-Loriane，Nanch，France“，”institution_ids“：[https://openalex.org/I4210121838","https://openalex.org/I1326498283“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5017237200“，”display_name“：”Luca Vigan\u00f2“，”orcid“：”https://orcid.org/0000-0001-9916-271X}，“机构”：[{“id”：https://openalex.org/I35440088“，”display_name“：”苏黎世ETH“，”ror“：”https://ror.org/05a28rw58“，”country_code“：”CH“，”type“：“教育”，”世系“：[”https://openalex.org/I2799323385","https://openalex.org/I35440088“]}]，”国家“：[”CH“]，”is_corresponding“：false，”raw_author_name“：”L.Vigan\u00f2“，”raw _ afiliation_strings“：[“瑞士苏黎世联邦理工大学信息安全小组”]，”affiliations“：[{”raw _affiliation_string“：”瑞士苏黎士联邦理工学院信息安全小组https://openalex.org/I35440088“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5026634244“，”display_name“：”Laurent Vigneron“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I4210121838“，”display_name“：”洛林计算机科学研究实验室及其应用“，”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“]}，{”id“：”https://openalex.org/I1326498283“，”display_name“：”法国计算机科学与自动化研究所“，”ror“：”https://ror.org/02kvxyf05“，”country_code“：”FR“，”type“：“政府”，”世系“：[”https://openalex.org/I1326498283“]}]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”L.Vigneron“，”raw _ afiliation_strings“：[“LORIA-INRIA-Loraine，Nancy，France”]，”从属关系“：[{”raw _affiliation_string“：”LORIA-IRIA-Lorraine，南希，France“，”，“institution_ids”：[“https://openalex.org/I4210121838","https://openalex.org/I1326498283“]}]}]，”countries_distinct_count“：4，”institutions_distinact_counts“：6，”corresponding_author_ids“：[]，”corresponding_institution_ids”：[]、“apc_list”：{“value”：5000，“currency”：“EUR”，“value_usd”：5392，“provenance”：“doaj”}，“apc_payd”：null，“has_fulltext”：true，“fulltext_origin”：“pdf”，“cited_by_count”：947，“cit”ed_by_percentile_year“：{“最小值”：99，“最大值”：100}，”biblio“：{”volume“：null，”issue“：nul，”first_page“：”281“，”last_page“：”295“}，”is_retracted“：false，”is_paratext“：false，”primary_topic“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9998，“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.9998，“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/T11504“，”display_name“：”身份验证和密钥交换安全协议“，”score“：0.9974，”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/T10743“，”“display_name”：“自动化软件测试技术”，“score”：0.997，“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/keywords/safety-verification网站“，”display_name“：”安全验证“，”score“：0.522903}，{”id“：”https://openalex.org/keywords/authentication网站“，”display_name“：”身份验证“，”score“：0.520763}，{”id“：”https://openalex.org/keywords/security-protocols网站“，”display_name“：”安全协议“，”score“：0.502012}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198（网址：https://www.wikidata.org/wiki/Q21198）“，”display_name“：”计算机科学“，”level“：0，”score“：0.87583095}，{”id“：”https://openalex.org/C2211027，“wikidata”：https://www.wikidata.org/wiki/Q1070427“，”display_name“：”Internet安全“，”level“：4，”score“：0.6741948}，{”id“：”https://openalex.org/C101468663，“wikidata”：https://www.wikidata.org/wiki/Q1620158“，”display_name“：”模块化设计“，”level“：2，”score“：0.6359929}，{”id“：”https://openalex.org/C110875604，“wikidata”：https://www.wikidata.org/wiki/Q75“，”display_name“：”The Internet“，”level“：2，”score“：0.61927164}，{”id“：”https://openalex.org/C48044578，“wikidata”：https://www.wikidata.org/wiki/Q727490“，”display_name“：”可伸缩性“，”level“：2，”score“：0.6022868}，{”id“：”https://openalex.org/C63479239，“wikidata”：https://www.wikidata.org/wiki/Q7353546“，”display_name“：”健壮性（进化）“，”level“：3，”score“：0.5839635}，{”id“：”https://openalex.org/C2778012447，“wikidata”：https://www.wikidata.org/wiki/Q1034415“，”display_name“：”Scope（computer science）“，”level“：2，”score“：0.42602307}，{”id“：”https://openalex.org/C111498074，“wikidata”：https://www.wikidata.org/wiki/Q173326“，”display_name“：”形式验证“，”level“：2，”score“：0.41852608}，{”id“：”https://openalex.org/C38652104，“wikidata”：https://www.wikidata.org/wiki/Q3510521“，”display_name“：”计算机安全“，”level“：1，”score“：0.34443438}，{”id“：”https://openalex.org/C136764020，“wikidata”：https://www.wikidata.org/wiki/Q466“，”display_name“：”万维网“，”级别“：1，”分数“：0.27274677}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.23766372}，{”id“：”https://openalex.org/C527648132，“wikidata”：https://www.wikidata.org/wiki/Q189900“，”display_name“：”信息安全“，”level“：2，”score“：0.23521885｝，｛”id“：”https://openalex.org/C77088390，“wikidata”：https://www.wikidata.org/wiki/Q8513（网址：https://www.wikidata.org/wiki/Q8513）“，”display_name“：”数据库“，”级别“：1，”分数“：0.16429844}，{”id“：”https://openalex.org/C2989905，“wikidata”：https://www.wikidata.org/wiki/Q7445066“，”display_name“：”Security service“，”level“：3，”score“：0.111902}，{”id“：”https://openalex.org/C55493867，“wikidata”：https://www.wikidata.org/wiki/Q7094“，”display_name“：”生物化学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C185592680，“wikidata”：https://www.wikidata.org/wiki/Q2329“，”display_name“：”Chemistry“，”level“：0，”score“：0.0｝，｛”id“：”https://openalex.org/C104317684，“wikidata”：https://www.wikidata.org/wiki/Q7187“，”display_name“：”Gene“，”level“：2，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/11513988_27，“pdf_url”：https://link.springer.com/content/pdf/10.1007%2F11513988_27.pdf，“源”：{“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”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”best_oa_location“：{”is_oa“：true”，“landing_page_url”：“https://doi.org/10.1007/11513988_27，“pdf_url”：https://link.springer.com/content/pdf/10.1007%2F11513988_27.pdf，“源”：{“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”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”sustainable_development_goals“：[{”id“：”https://metadata.un.org/sdg/16“，”score“：0.46，”display_name“：”Peace，justice，and strong institutions“}]，”grants“：[]，”datasets“：【】，”versions“：【]，”referenced_works_count“：7，”referrenced_works“：[”https://openalex.org/W1573295900","https://openalex.org/W1600499695","https://openalex.org/W1619409532","https://openalex.org/W1922967198","https://openalex.org/W2015688007","https://openalex.org/W2132544882","https://openalex.org/W2133126578“]，”related_works“：[”https://openalex.org/W4280543773","https://openalex.org/W2808360891","https://openalex.org/W2387622493","https://openalex.org/W2366083136","https://openalex.org/W2362452928","https://openalex.org/W2360028903","https://openalex.org/W2357832196","https://openalex.org/W2019887508","https://openalex.org/W1932132538","https://openalex.org/W178231042“]，”ngrams_url“：”https://api.openalex.org/works/W2117064875/ngrams（英文）“，”“abstract_inverted_index”：{“AVISPA”：[0]，“is”：[1]，“a”：[2,17,36]，“push-button”：[3]，“tool”：[4,51]，“for”：[5,23]，“the”：[6,44,53,62]，“automated”：[7]，“validation”：[8]，“of”：[9,38,46,56]，“Internet”：[10]，“security-sensitive”：[11]，“protocols”：[12,25]，“and”：[13,15]9,26,30,58,65]，“应用程序”：[14]，“It”：[15]，“提供”：[16]，“模块”：[18]，“表达”：[20]，“formal“：[21]，”language“：[22]，”specification“：[24]，”their“：[27]，”security“：[28]，”properties“，”：[29]，”integrates“：[31]，”different“：[32]，”back-ends“：[33]，”that“：[34]，”implement“：[35]，”variety“：[37]，”artifient“：[39]，”automatic“：[40]，”analysis“：[41]，”technologies“。“：[42]，“收件人”：[43]，“最佳”：[45]，“我们的”：[47]，“知识”：[48]，“否”：[49]，“其他”：[50]，“展品”：[52]，“相同”：[54,63]，“级别”：[55]，“范围”：[57]，“健壮性”：[59]，“同时”：[60]，“享受”：[61]，“性能”：[64]，“可扩展性”。“：[66]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=引用：W2117064875”，“counts_by_year”：[｛“year”：2024，“cited_by_count”：21｝，｛“year”：2023，“cited_by_count”：55｝，｛“year”：2022，“cited_by_count”：77｝，｛“year”：2021，“cited_by_count”：65｝，｛“year”：2020，“cited_by_count”：58｝，｛“year”：2019，“cited_by_count”：61｝，｛“year”：2018，“cited_by_count”：61｝，｛“year”：2017，“cited_by_count”by_count“：60｝，｛”年份“：2016，”引用by_count“：62｝，｛”年份“：2015，”cited_by_count“：51}，{“年份”：2014，“cited_by_count”：62}，}“年份“：2013，“cited_by_count）：34}，｛“年份：2012，”cited_by _count？：45}]，“更新日期”：“2024-06-19T12:52:49.535975”，“创建日期”：”2016-06-24“}