｛“id”：“https://openalex.org/W2297761255“，”doi“：”https://doi.org/10.1016/j.cose.2016.03.002“，”title“：“使用模型检查对近场通信进行形式安全分析”，”display_name“：”使用模型检查进行近场通信的形式安全分析“，”publication_year“：2016，”publiation_date“：”2016-07-01“，”ids“：{”openalex“：”https://openalex.org/W2297761255“，”doi“：”https://doi.org/10.1016/j.cose.2016.03.002“，”mag“：”2297761255“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1016/j.cose.2016.03.002“，”pdf_url“：null，”source“：｛”id“：”https://openalex.org/S125299635“，”display_name“：”计算机与安全“，”issn_l“：”0167-4048“，”isn“：[”0167-4048“，”1872-6208“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“jornal-article”，“indexed_in”：[”crossref“]，pository_has_fulltext“：false}，”authorships“：[{”author_position“：”first“，”author“：{”id“：”https://openalex.org/A5081079525“，”display_name“：”\u039d\u03b9\u03ba\u03cc\u03bb\u03b1\u03bf\u03c2\u0391\u03bs\u03b5\u03be\u03af\u03bf\u03c“，”orcid“：null}，”机构“：[{”id“：”https://openalex.org/I86987016“，”display_name“：”KTH皇家理工学院“，”ror“：”https://ror.org/026vcq606“，”country_code“：”SE“，”type“：“教育”，”世系“：[”https://openalex.org/I86987016“]}]，”国家“：[”SE“]，”is_corresponding“：false，”raw_author_name“：”Nikolaos Alexiou“，”raw _ afiliation_strings“：[“瑞典斯德哥尔摩KTH皇家理工学院电气工程学院”]，”affiliations“：[{”raw _affiliation_strong“：”瑞典斯德哥尔摩KTH-皇家理工大学电气工程学院“，”机构ID“：[”https://openalex.org/I86987016“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5080661611“，”display_name“：”Stylianos Basagiannis“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I4210159603“，”display_name“：”联合技术研究中心“，”ror“：”https://ror.org/04vxc1c96“，”“country_code”“：”IE“，”type“：”company“，”seriance“：[”https://openalex.org/I4210159603“]}]，”国家“：[”IE“]，”is_corresponding“：true，”raw_author_name“：”Stylianos Basagiannis“，”raw _ afiliation_strings“：[“爱尔兰科克联合技术研究中心”]，”affiliations“：[{”raw _affiliation_string“：”爱尔兰科克United Technologies研究中心”，“institution_ids”：[“https://openalex.org/I4210159603“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5004470460“，”display_name“：”Sophia Petridou“，”orcid“：”https://orcid.org/0000-0002-2593-6150“｝，”机构“：[｛”id“：”https://openalex.org/I192756129“，”display_name“：”马其顿大学“，”ror“：”https://ror.org/05fg6gr82“，”“country_code”“：”GR“，”type“：”教育“，”世系“：[”https://openalex.org/I192756129“]}]，”国家“：[”GR“]，”is_corresponding“：false，”raw_author_name“：”Sophia Petridou“，”raw _affiliation_strings“：[“希腊塞萨洛尼基马其顿大学应用信息学系”]，“affiliations”：[{“raw _afiliation_string”：“希腊塞萨洛尼基，马其顿大学应用信息化系”，“institution_ids”：[”https://openalex.org/I192756129“]}]}]，”countries_disticont_count“：3，”institutions_disticent_count”：3，“corresponding_author_ids”：[“https://openalex.org/A5080661611“]，”对应的机构ID“：[”https://openalex.org/I4210159603“]，”apc_list“：{”value“：3190，”currency“：”USD“，”value_USD“：3180，”provenance“：”doaj“}，”apc _payed“：null，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：15，”cited_by_percentile_year“：”{“min”：90，“max”：91}，“biblio”：{“volume”：“60”，“issue”：null，“first_page”：“1”，“last_page”“：”14“}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T11504“，”display_name“：”身份验证和密钥交换安全协议“，”score“：0.9978，”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.9978，”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/T11598“，”“display_name”：“互联网流量分类的机器学习”，“score”：0.9974，“subfield”：{“id”：“https://openalex.org/subfields/s702“，”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.9973，“subfield”：{“id”：“https://openalex.org/subfields/s710“，”display_name“：”Information Systems“}，”field“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”Physical Sciences“｝｝]，”keywords“：[｛”id“：”https://openalex.org/keywords/usability网站“，”display_name“：”可用性“，”score“：0.4758}]，”concepts“：[{”id“：”https://openalex.org/C175604262，“wikidata”：https://www.wikidata.org/wiki/Q273353“，”display_name“：”近场通信“，”level“：3，”score“：0.8774263}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.85778093}，{”id“：”https://openalex.org/C2778156585，“wikidata”：https://www.wikidata.org/wiki/Q174053“，”display_name“：”中继“，”级别“：3，”分数“：0.7441399}，{”id“：”https://openalex.org/C41065033，“wikidata”：https://www.wikidata.org/wiki/Q2825412“，”display_name“：”对手“，”等级“：2，”分数“：0.6940413}，{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”level“：2，”score“：0.55017596}，{”id“：”https://openalex.org/C140547941，“wikidata”：https://www.wikidata.org/wiki/Q7797194网址“，”display_name“：”威胁模型“，”级别“：2，”分数“：0.5254012}，{”id“：”https://openalex.org/C165696696，“wikidata”：https://www.wikidata.org/wiki/Q11287“，”display_name“：”利用漏洞“，”level“：2，”score“：0.5074186}，{”id“：”https://openalex.org/C31258907，“wikidata”：https://www.wikidata.org/wiki/Q1301371“，”display_name“：”计算机网络“，”level“：1，”score“：0.4964741}，{”id“：”https://openalex.org/C2780385302，“wikidata”：https://www.wikidata.org/wiki/Q367158“，”“display_name”“：”协议（科学）“，”级别“：3，”分数“：0.4897406}，{”id“：”https://openalex.org/C38652104，“wikidata”：https://www.wikidata.org/wiki/Q3510521“，”display_name“：”计算机安全“，”level“：1，”score“：0.47560224}，{”id“：”https://openalex.org/C555944384，“wikidata”：https://www.wikidata.org/wiki/Q249“，”display_name“：”无线“，”级别“：2，”分数“：0.46412373}，{”id“：”https://openalex.org/C204323151，“wikidata”：https://www.wikidata.org/wiki/Q905424“，”“display_name”“：”范围（航空）“，”级别“：2，”分数“：0.43382615}，{”id“：”https://openalex.org/C38369872，“wikidata”：https://www.wikidata.org/wiki/Q7445009“，”display_name“：”安全分析“，”level“：2，”score“：0.42825395}，{”id“：”https://openalex.org/C76155785，“wikidata”：https://www.wikidata.org/wiki/Q418“，”display_name“：”Telecommunications“，”level“：1，”score“：0.15258017｝，｛”id“：”https://openalex.org/C9612199，“wikidata”：https://www.wikidata.org/wiki/Q628096“，”display_name“：”超高频“，”level“：2，”score“：0.14440536}，{”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”物理“，”级别“：0，”分数“：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/C192562407，“wikidata”：https://www.wikidata.org/wiki/Q228736“，”display_name“：”材料科学“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C62520636，“wikidata”：https://www.wikidata.org/wiki/Q944“，”display_name“：”量子力学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C142724271，“wikidata”：https://www.wikidata.org/wiki/Q7208“，”display_name“：”病理“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C159985019，“wikidata”：https://www.wikidata.org/wiki/Q181790“，”display_name“：”复合材料“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C71924100，“wikidata”：https://www.wikidata.org/wiki/Q11190“，”display_name“：”Medicine“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C163258240，“wikidata”：https://www.wikidata.org/wiki/Q25342“，”display_name“：”Power（physical）“，”level“：2，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1016/j.cose.2016.03.002“，”pdf_url“：null，”source“：｛”id“：”https://openalex.org/S12529635“，”display_name“：”计算机与安全“，”issn_l“：”0167-4048“，”isn“：[”0167-4048“，”1872-6208“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nul，“sustainable_development_goals”：[]，“grants”：[]，“datasets”：【】，“versions”：[】，“referenced_works_count”：23，“referrenced_works”：https://openalex.org/W1490052377","https://openalex.org/W1518070019","https://openalex.org/W1523362319","https://openalex.org/W1563335409","https://openalex.org/W1590647013","https://openalex.org/W1632109869","https://openalex.org/W1966908214","https://openalex.org/W1980794044","https://openalex.org/W1991182862","https://openalex.org/W1997655704","https://openalex.org/W2021150738","https://openalex.org/W2045467487","https://openalex.org/W2089765992","https://openalex.org/W2092966226","https://openalex.org/W2118678161","https://openalex.org/W2121002303","https://openalex.org/W2127785555","https://openalex.org/W2135332407","https://openalex.org/W2155481610","https://openalex.org/W2188510847","https://openalex.org/W3098444230","https://openalex.org/W4238996902","https://openalex.org/W936595859“]，”related_works“：[”https://openalex.org/W4366150264","https://openalex.org/W3110049015","https://openalex.org/W2901933342","https://openalex.org/W2297761255","https://openalex.org/W2181883319","https://openalex.org/W2157301192","https://openalex.org/W2085319386","https://openalex.org/W2076205949","https://openalex.org/W2034199088","https://openalex.org/W1551379303“]，”ngrams_url“：”https://api.openalex.org/works/W229776125/ngrams网站“，”“abstract_inverted_index”：{“Near”：[0]，“field”：[1]，“communication”：[2,8,47,72]，“（NFC）”：[3]，“is”：[4,77170]，“a”：[5,13,43,91103120185]，“short range”：[6,71]，“wireless”：[7]，“technology”：[9]，“envisioned”：[10]，“to”：[11,29,34,37,49,79]，“support”：[12]，“large”：[14]，“gamut”：[15]，“of”：[16,83105109]，“smart-device”：[17]，“applications”：[18]，“such”：[19]，“作为“：[20102]，“付款”：[21]，“和”：[22,45,74,98153191]，“票务。“：[23]，”虽然“：[24]，”两个“：[25,59]，”NFC“：[26,56,68,84110136157]，”设备“：[27]，”需要“：[28]，”是“：[30189]，”在“：[31]，”接近“：[32]，”邻近“：[33]，”通信“：[35]，”（向上“：[36]，”10“：[38]，”厘米），“：[39]，”对手“：[40]，”可以“：[41,65182]，”使用“：[42]，“快速”：[44]，“透明”：[46]，“通道”：[48]，“中继”：[50,6311316186]，“数据”：[51]，“和，“：[52139]，”因此，“：[53]，”武力“：[54]，”an“：[55160]，”链接“：[57]，”between“：[58]，”遥远“：[60]，”受害者。“：[61]，”自“：[62]，”攻击“：[64]，”绕过“：[66]，”该“：[67,81107127165]，”要求“：[69]，”用于“：[70172]，”廉价“：[73]，”容易“：[75]，”它“：[76]，”重要“：[78]，”评估“：[80]，”安全“：[82175]，”应用程序。“：[85]，“In”：[86]，“this”：[87116]，“work”，：[88]，“we”：/8918132141163181]，“present”：[90]，“general”：[92]，“framework”：/93]，“that”：[94]，“exploys”：[95]，“formal”：[96]，“analysis”：[97176]，“specials”：[99]，“model”：[100125129144]，“checking”：[101]，“means”：[104]，“verify”：[106]，“resis”留置权“：[108]，”协议“：[1111137]，”对抗“：[112]，”攻击。“：[114]，“朝向”：[115]，“目标”：[117]，“构建”：[119]，“连续时间”：[121]，“马尔可夫”：[122]，“链”：[123]，“（CTMC）”：[124]，“使用”：[126]，“PRISM”：[128]，“检查程序”。“：[130]，”首先，“：[131]，”接受“：[133]，”输入“：[134]，”帐户“：[135]，”参数“：[138]，”然后，“：%140]，”增强“：[142]，”我们的“：[143174]，”with“：[145159]，”连网“：[146]，”parameters，“：147]，”which“：[148169]，”include“：[149]，”both“：[150]，”mobile“：151]，”environment“：[152]，”security-aware“：[154]，“特征。“：[155]，”组合“：[156]，”规范“：[158]，”对手的“：[161]，”特征“：[162]，”生产“：[164]，”攻击“：[167187]，”模型“：[168]，”使用“：[171]，”提取“：[173]，”结果。“：[177]，”通过“：[178]，”这些“：[179]，”结果“：[180]，”解释“：[183]，”如何“：[184]，”可以“：[188]，”阻止“：[190]，”讨论“：[192]，”潜在“：[193]，”对策。“：[194]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2297761255“，”counts_by_year“：[{“年份”：2023，”cited_by_count“：2}，{“年度”：2021，”ciped_by_cunt“：2%n，{”年份“：2020，”cited_by_count”：1}，“年份”:2019，”citecd_by_count“:3}，”年份“:2018，”citesd_by_count“:6}，“创建日期”：“2016-06-24”}