{“id”：“https://openalex.org/W1593327688“，”doi“：”https://doi.org/10.1007/978-3-540-88873-4_14“，”title“：”Verifying Extended Criteria for the Interoperability of Security Devices“，”display_name“：”验证安全设备互操作性扩展标准“，”publication_year“：2008，”publiation_date“：”2008-01-01“，”ids“：{”openalex“：”https://openalex.org/W1593327688“，”doi“：”https://doi.org/10.1007/978-3-540-88873-4_14“，”mag“：”1593327688“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-540-88873-4_14“，”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，”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}，”type“：”book-chapter“，”type_crossref“：“book-chapter”，”indexed_in“：[“crossref”]，”open_access“：{”is_oa“：false”“，”oa_url“：空，”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5077567390“，”display_name“：”Maurizio Talamo“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I116067653“，”display_name“：”Tor Vergata罗马大学“，”ror“：”https://ror.org/02p77k626“，”country_code“：”IT“，”type“：”教育“，”血统“：[”https://openalex.org/I116067653“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Maurizio Talamo“，”raw _ afiliation_strings“：[“Nestor Lab，University of Roma \u201cTor Vergata\u201d，Italy”]，”affiliations“：[{”raw _affiliation_string“：”Nestor Lab，Unity of Roman \u201c Tor Vergata\u201 d，Itary“，”institution_ids“：[https://openalex.org/I116067653“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5036630863“，”display_name“：”Franco Arcieri“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I116067653“，”display_name“：”Tor Vergata罗马大学“，”ror“：”https://ror.org/02p77k626“，”country_code“：”IT“，”type“：”教育“，”血统“：[”https://openalex.org/I116067653“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Franco Arcieri“，”raw _affiliation_strings“：[“Nestor Lab，University of Roma \u201cTor Vergata\u201d，Italy”]，”affiliations“：[{”raw _affiliation_string“：”Nestor实验室，UniversityofRoma \u 201cTor-Vergata\ u 201d，意大利”，“institution_ids”：[“https://openalex.org/I116067653“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5000230182“，”display_name“：”Giuseppe Della Penna“，”orcid“：”https://orcid.org/0000-0003-2327-9393}，“机构”：[{“id”：https://openalex.org/I26415053“，”display_name“：”拉奎拉大学“，”ror“：”https://ror.org/01j9p1r26“，”country_code“：”IT“，”type“：”教育“，”血统“：[”https://openalex.org/I26415053“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Giuseppe Della Penna“，”raw _affiliation_strings“：[“意大利L\u2019Aquila大学计算机科学系”]，”affiliations“：[{”raw _affiliation_string“：”意大利L\u 2019Aquela大学计算机系”，“institution_ids”：[“https://openalex.org/I26415053“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5027761917“，”display_name“：”Andrea Dimitri“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I116067653“，”display_name“：”Tor Vergata罗马大学“，”ror“：”https://ror.org/02p77k626“，”country_code“：”IT“，”type“：”教育“，”血统“：[”https://openalex.org/I116067653“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Andrea Dimitri“，”raw _ afiliation_strings“：[“Nestor Lab，University of Roma \u201cTor Vergata\u201d，Italy”]，”affiliations“：[{”raw _affiliation_string“：”Nestor实验室，UniversityofRoma \u 201cTor-Vergata\ u201dhttps://openalex.org/I116067653“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5038380237“，”display_name“：”Benedetto Intrigila“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I116067653“，”display_name“：”Tor Vergata罗马大学“，”ror“：”https://ror.org/02p77k626“，”country_code“：”IT“，”type“：”教育“，”血统“：[”https://openalex.org/I116067653“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Benedetto Intrigila“，”raw _ afiliation_strings“：[“罗马大学数学系\u201cTor Vergata\u201d，意大利”]，”affiliations“：[{”raw _affiliation_string“：”罗马大学数学部\u201c Tor Vergata\u201 d，意大利“，”institution_ids“：[https://openalex.org/I116067653“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5055757002“，”display_name“：”Daniele Magazzeni“，”orcid“：”https://orcid.org/0000-0002-1934-3447}，“机构”：[{“id”：https://openalex.org/I26415053“，”display_name“：”拉奎拉大学“，”ror“：”https://ror.org/01j9p1r26“，”country_code“：”IT“，”type“：”教育“，”血统“：[”https://openalex.org/I26415053“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Daniele Magazzeni“，”raw _ afiliation_strings“：[“意大利L\u2019Aquila大学计算机科学系”]，”affiliations“：[{”raw_ afiliation _string“：”意大利L\u 2019Aquela大学计算机系”，“institution_ids”：[“https://openalex.org/I26415053“]}]}]，”countries_distinct_count“：1，”institutions_disting_count”：2，”corresponding_author_ids“：[]，”corresponding_institution_ids”：[]、“apc_list”：{“value”：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc_payed“：{”value“：5000，“has_fulltext”：false，“cited_by_count”：5，“cited_by_percentile_year“：{”min“：81，”max“：82}，“biblio”：{“volume”：null，“issue”：nul，“first_page”：“1131”，“last_page”：“1159”}，”is_retracted“：false，”is_paratext“：false，”primary_topic“：{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9993，“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.9993，“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/T10951“，”display_name“：”分组密码和哈希函数的密码分析“，”score“：0.999，”subfield“：{”id“：”https://openalex.org/subfields/1702“，”display_name“：”Artificial Intelligence“｝，”field“：｛”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T11424“，”display_name“：”基于语言的信息流安全“，”score“：0.9986，”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/safety-verification（https://openalex.org/keywords/safety-verification）“，”display_name“：”安全验证“，”score“：0.4859}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.84813905｝，｛”id“：”https://openalex.org/C110406131，“wikidata”：https://www.wikidata.org/wiki/Q41349“，”display_name“：”智能卡“，”level“：2，”score“：0.79567266}，{”id“：”https://openalex.org/C20136886，“wikidata”：https://www.wikidata.org/wiki/Q749647“，”display_name“：”互操作性“，”level“：2，”score“：0.66944563}，{”id“：”https://openalex.org/C38652104，“wikidata”：https://www.wikidata.org/wiki/Q3510521“，”display_name“：”计算机安全“，”level“：1，”score“：0.56526285}，{”id“：”https://openalex.org/C118463975，“wikidata”：https://www.wikidata.org/wiki/Q220849“，”display_name“：”数字签名“，”level“：3，”score“：0.5639735}，{”id“：”https://openalex.org/C2780615836，“wikidata”：https://www.wikidata.org/wiki/Q2471869“，”display_name“：”USable“，”level“：2，”score“：0.51797783}，{”id“：”https://openalex.org/C2779343474，“wikidata”：https://www.wikidata.org/wiki/Q3109175“，”display_name“：”Context（考古学）“，”level“：2，”score“：0.4930012}，{”id“：”https://openalex.org/C32455479，“wikidata”：https://www.wikidata.org/wiki/Q506053“，”display_name“：”Kerberos“，”level“：3，”score“：0.48980117}，{”id“：”https://openalex.org/C196587545，“wikidata”：https://www.wikidata.org/wiki/Q869548“，”display_name“：”电子签名“，”level“：3，”score“：0.47450516}，{”id“：”https://openalex.org/C148417208，“wikidata”：https://www.wikidata.org/wiki/Q4825882“，”display_name“：”身份验证（法律）“，”level“：2，”score“：0.47211373}，{”id“：”https://openalex.org/C98045186，“wikidata”：https://www.wikidata.org/wiki/Q205663“，”display_name“：”Process（computing）“，”level“：2，”score“：0.42493603}，{”id“：”https://openalex.org/C178489894，“wikidata”：https://www.wikidata.org/wiki/Q8789“，”display_name“：”Cryptography“，”level“：2，”score“：0.4114898}，{”id“：”https://openalex.org/C149635348，“wikidata”：https://www.wikidata.org/wiki/Q193040“，”display_name“：”嵌入式系统“，”level“：1，”score“：0.35003012}，{”id“：”https://openalex.org/C136764020，“wikidata”：https://www.wikidata.org/wiki/Q466“，”display_name“：”万维网“，”级别“：1，”分数“：0.18776295}，{”id“：”https://openalex.org/C99138194，“wikidata”：https://www.wikidata.org/wiki/Q183427“，”display_name“：”哈希函数“，”level“：2，”score“：0.16009527｝，｛”id“：”https://openalex.org/C111919701，“wikidata”：https://www.wikidata.org/wiki/Q9135“，”display_name“：”操作系统“，”level“：1，”score“：0.15040705}，{”id“：”https://openalex.org/C151730666，“wikidata”：https://www.wikidata.org/wiki/Q7205“，”display_name“：”古生物学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C86803240，“wikidata”：https://www.wikidata.org/wiki/Q420“，”display_name“：”Biology“，”level“：0，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-540-88873-4_14“，”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，”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”：null，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nul，“sustainable_development_goals”：[]，“grants”：[]，“dataset”：[]]，“versions”：[】，“referenced_works_count”：4，“referenced_works“：[”https://openalex.org/W1488822784","https://openalex.org/W1513332686","https://openalex.org/W1560229484","https://openalex.org/W1835342941“]，”related_works“：[”https://openalex.org/W2551027377","https://openalex.org/W2364899254","https://openalex.org/W2356917937","https://openalex.org/W2356798462","https://openalex.org/W2353110924","https://openalex.org/W2122847154","https://openalex.org/W2102051619","https://openalex.org/W2033559185","https://openalex.org/W156480164","https://openalex.org/W1529655723“]，”ngrams_url“：”https://api.openalex.org/works/W159327688/ngrams“，”“abstract_inverted_index”：{“In”：[0,18,69218]，“the”：[1,10,52,60,72,78115127157164202208230233]，“next”：[2]，“years，”：[3]，“smart”：[4,36,95140192]，“cards”：[5,96]，“are”：[6,25]，“going”：[7]，“to”：[8,28,58136155185199]，“become”：[9]，“main”：[11]，“personal”：[12]，“identification”：[13]，“文档”：[14]，“In”：[15,56106163172220232]，“许多“：[16,44214]，”国家。“：[17]，”特别“，”：[19219]，“both”：[20]，“Europe”：[21]，“and”：[22,54,66213]，“United”：[23]，”美国“：[24]，”当前“：[26]，”工作“：[27]，“this”：[29,70221]，”目标。“：[30]，”因此，“：[31]，”十“：[32]，”的“：[33,35,63,97146166235238]，”百万“：[34]，”卡片“：[37193]，”基于“：[38]，”在“：[39]，”硬件“：[40]，”设备“：[41]，”提供“：[42]，”由“：[43]，”不同“：[45,98111]，”制造商“：[46,99]，”将“：[47]，”是“：[48153197]，“分布式”：[49]，“全部”：[50]，“over”：[51]，“world”，“：[53]，“used”：[55154198]，“special“：[57]，”complete“：[59]，”security“：[61,79]，”tasks“：[62]，”electronic“：[64,67]，”authentication“：[65]，”signature“。“：[68]，”上下文“：[71]，”so“：[73194]，”调用“：[74]，”通用“：[75203]，”标准“：[76204]，”定义“：[77]，”要求“：[80]，”用于“：[81]，”数字“：[82103158]，”签名“：[83104159]，”设备。“：[84]，”“不幸”“：[85]，”这些“：[86]，”标准“：[87211]，”做“：[88]，”不“：[89]，”地址“：[90]，”任何“：[91245]，”互操作性“：[92116210]，”问题“：[93]，”介于“：[94]，”其中“：[100151]，”通常“：[101]，”实现“：[102]，”进程“：[105160]，”仍然“：[107]，”正确“：[108148255]，”但是“：[109]，“轻微”：[110]，“方式。“：[112]，”To“：[113]，”face“：[114]，”problem“，：[117]，”we“：118223226]，”realized“：[119]，”a“：[120137143236254]，”complete“：[121]，”testing“：/122]，”environment“：[123]，”which“：[124]，”core“：[125]，”is“：[126]，“Crypto”：[128]，“Probing”：[129]，“System”：[130]，“\u00a9Nestor”：[131]，“实验室”，“：[132]，“an”：[133]，“抽象”：[134187]，“接口”：[135]，“通用”：[138]，“加密“：[139]，”卡“：[141231]，”嵌入“：[142]，”标准“：[144]，”模型“：[145180]，”卡片“：[149]，”行为“：[150161]，”can“：[152196227]，”测试“：[156]，”也“：[162]，”存在“：[165234]，”替代“：[167]，”或“：[168250]，”受干扰“：[169]，”命令“：[170]，”序列“：[171]，”连接“：[173]，“带有”：[174]，“自动”：[175]，“验证“：[176]，”技术“：[177]，”例如“：[178]，”如“：[179205207]，”检查。“：[181]，”The“：[182]，”framework“：[183]，”allows“：[184]，”verify“：[186201228]，”behavior“：[188]，”models“：[189]，”against“：[190]，”real“：[191]，”it“：[195]，”automatically“：[200]，”well“：[206]，”extended“：[209]，”abover“：[212]，”other“：[215]，”low“：[216]，”constraints。“：[217]，”纸张“：[222]，”显示“：[224]，”如何“：[225]，”那“：[229]，”序列“：[237]，”（部分）“：[239]，”修改“：[240]，”命令，“：[241]，”拒绝“：[242]，”它们“：[243]，”没有“：[244]，”侧面“：[246]，”效果“：[247]，”剩余“：[248]，”可用“：[249]，”接受“：[251]、“他们”：[252]、“生成”：[253]、“最终”：[256]、“结果”。“：[257]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1593327688“，”counts_by_year“：[{”年“：2013，”cited_by_count“：2}，{”年份“：2012，”cited_by_count”：2}]，”更新日期“：”2024-06-14T18:24:24.616318“，”created_date“：”2016-06-24“}