{“id”：“https://openalex.org/W2076935307“，”doi“：”https://doi.org/10.1145/2814270.2814274“，”title“：”交互式验证Android应用程序中是否缺少显式信息流“，”display_name“：”交互验证Android apps中是否没有显式信息流动“，”publication_year“：2015，”publiation_date“：”2015-10-23“，”ids“：{”openalex“：”https://openalex.org/W2076935307“，”doi“：”https://doi.org/10.1145/2814270.2814274“，”mag“：”2076935307“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1145/2814270.2814274，“pdf_url”：https://dl.acm.org/doi/pdf/10.1145/2814270.2814274“，”source“：null，”license“：null，”licence_id“：nul，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”type“：”article“，”type_crossref“：“proceedings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”青铜色“，”oa_url“：”https://dl.acm.org/doi/pdf/10.1145/2814270.2814274“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5029243071“，”display_name“：”Osbert Bastani“，”orcid“：”https://orcid.org/0000-0001-9990-7566}，“机构”：[{“id”：https://openalex.org/I97018004“，”display_name“：”斯坦福大学“，”ror“：”https://ror.org/00f54p054“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I97018004“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Osbert Bastani“，”raw _ afiliation_strings“：[“Stanford University，USA”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5022515671“，”display_name“：”Sandeep Anand“，”orcid“：”https://orcid.org/0000-0001-6828-8715}，“机构”：[{“id”：https://openalex.org/I97018004“，”display_name“：”斯坦福大学“，”ror“：”https://ror.org/00f54p054“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I97018004“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Saswat Anand“，”raw _ afiliation_strings“：[“Stanford University，USA”]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5087402475“，”display_name“：”Alex Aiken“，”orcid“：”https://orcid.org/0000-0002-3723-9555}，“机构”：[{“id”：https://openalex.org/I97018004“，”display_name“：”斯坦福大学“，”ror“：”https://ror.org/00f54p054“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I97018004“]｝]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Alex Aiken“，”raw_affiation_strings“：[”美国斯坦福大学“]｝]，”国家_地区_计数“：1，”机构_地区_计数“：1，”对应的作者ID“：[]，”对应的机构ID“：[]，”apc_list“：null，”apc_payed“：null，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_by_count“：8，”cited_by_percentile_year“：{“min”：86，“max”：87}，“biblio”：{”volume“：null，“issue”：null、“first_page”：null，“last_page”：null}，”is_retracted“：false，”is_paratext“：false，”primary_topic“:{”id“：”https://openalex.org/T11241“，”display_name“：”Android恶意软件的特征描述和检测“，”score“：1.0，”subfield“：{”id“：”https://openalex.org/subfields/1711“，”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/T11241“，”display_name“：”Android恶意软件的特征描述和检测“，”score“：1.0，”subfield“：{”id“：”https://openalex.org/subfields/1711“，”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/T11424“，”display_name“：”基于语言的信息流安全“，”score“：0.9995，”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/T12034“，”display_name“：”数字取证研究与挑战“，”score“：0.9974，”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/keywords/security-analysis网站“，”display_name“：”安全分析“，”score“：0.53207}，{”id“：”https://openalex.org/keywords/software-diversity网站“，”display_name“：”软件多样性“，”score“：0.50572}]，”概念“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.83021486}，{”id“：”https://openalex.org/C63116202，“wikidata”：https://www.wikidata.org/wiki/Q7676227“，”display_name“：”Taint checking“，”level“：3，”score“：0.8200457}，{”id“：”https://openalex.org/C557433098，“wikidata”：https://www.wikidata.org/wiki/Q94“，”display_name“：”Android（操作系统）“，”level“：2，”score“：0.72672665}，{”id“：”https://openalex.org/C97686452，“wikidata”：https://www.wikidata.org/wiki/Q7604153“，”display_name“：”静态分析“，”level“：2，”score“：0.61686707}，{”id“：”https://openalex.org/C541664917，“wikidata”：https://www.wikidata.org/wiki/Q14001“，”display_name“：”恶意软件“，”level“：2，”score“：0.5888942}，{”id“：”https://openalex.org/C47434764，“wikidata”：https://www.wikidata.org/wiki/Q1770035“，”display_name“：”死代码“，”level“：5，”score“：0.5206962}，{”id“：”https://openalex.org/C136643341，“wikidata”：https://www.wikidata.org/wiki/Q1361526“，”display_name“：”可达性“，”level“：2，”score“：0.51561373}，{”id“：”https://openalex.org/C137287247，“wikidata”：https://www.wikidata.org/wiki/Q1329550“，”display_name“：”静态程序分析“，”level“：4，”score“：0.46659803}，{”id“：”https://openalex.org/C137822555，“wikidata”：https://www.wikidata.org/wiki/Q2587068“，”display_name“：”信息敏感性“，”level“：2，”score“：0.4531288}，{”id“：”https://openalex.org/C2779794324，“wikidata”：https://www.wikidata.org/wiki/Q3814081“，”display_name“：”App store“，”level“：2，”score“：0.45115387}，{”id“：”https://openalex.org/C2777904410，“wikidata”：https://www.wikidata.org/wiki/Q7397“，”display_name“：”软件“，”级别“：2，”分数“：0.4131999}，{”id“：”https://openalex.org/C2779395397，“wikidata”：https://www.wikidata.org/wiki/Q15731404“，”display_name“：”恶意软件分析“，”level“：3，”score“：0.41287065}，{”id“：”https://openalex.org/C111919701，“wikidata”：https://www.wikidata.org/wiki/Q9135“，”display_name“：”操作系统“，”level“：1，”score“：0.37976897}，{”id“：”https://openalex.org/C38652104，“wikidata”：https://www.wikidata.org/wiki/Q3510521“，”display_name“：”计算机安全“，”level“：1，”score“：0.3592127}，{”id“：”https://openalex.org/C133162039，“wikidata”：https://www.wikidata.org/wiki/Q1061077网址“，”display_name“：”代码生成“，”level“：3，”score“：0.21251777}，{”id“：”https://openalex.org/C529173508，“wikidata”：https://www.wikidata.org/wiki/Q638608“，”display_name“：”软件开发“，”level“：3，”score“：0.18673623}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.17041412}，{”id“：”https://openalex.org/C151578736，“wikidata”：https://www.wikidata.org/wiki/Q1251793“，”display_name“：”冗余代码“，”level“：4，”score“：0.15235254}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C26517878，“wikidata”：https://www.wikidata.org/wiki/Q228039“，”display_name“：”Key（lock）“，”level“：2，”score“：0.0}]，”mesh“：[]，”locations_count“：2.”locations“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1145/2814270.2814274，“pdf_url”：https://dl.acm.org/doi/pdf/10.1145/2814270.2814274“，”source“：null，”license“：null，”license_id“：null，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，{”is_oa“：true，”landing_page_url“：”http://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.734.3900，“pdf_url”：http://theory.stanford.edu/%7Eaiken/publications/papers/oopsla2015b.pdf，“源”：{“id”：https://openalex.org/S4306400349“，”display_name“：”CiteSeer X（宾夕法尼亚州立大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I130769515“，”“host_organization_name”：“宾夕法尼亚州立大学”，“host_ordanization_lineage”：[“https://openalex.org/I130769515“]，”host_organization_lineage_names“：[”Pennsylvania State University“]，“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://doi.org/10.1145/2814270.2814274，“pdf_url”：https://dl.acm.org/doi/pdf/10.1145/2814270.2814274“，”source“：null，”license“：null，”license_id“：null，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”sustainable_development_goals“：[{”id“：”https://metadata.un.org/sdg/16“，”display_name“：”和平、正义和强大的机构“，”score“：0.81}]，”grants“：[{”funder“：”https://openalex.org/F4320338294“，”“funder_display_name”：“空军研究实验室”，“award_id”：“FA8750-12-2-0020”}]，“数据集”：[]，“版本”：[]，“referenced_works_count”：56，“referrenced_works”：[”https://openalex.org/W1509382141","https://openalex.org/W1613776191","https://openalex.org/W1810163311","https://openalex.org/W1970168990","https://openalex.org/W1985752637","https://openalex.org/W1989657183","https://openalex.org/W2014328192","https://openalex.org/W2015790908","https://openalex.org/W2018408172","https://openalex.org/W2041276426","https://openalex.org/W2043579558","https://openalex.org/W2050680750","https://openalex.org/W2064982280","https://openalex.org/W2070041685","https://openalex.org/W2074644416","https://openalex.org/W2080573945","https://openalex.org/W2082000355","https://openalex.org/W2098806455","https://openalex.org/W2109219878网址","https://openalex.org/W2110833886","https://openalex.org/W2110908283","https://openalex.org/W2113709047","https://openalex.org/W2114221821","https://openalex.org/W2119467398","https://openalex.org/W2120109169","https://openalex.org/W2122049982","https://openalex.org/W2122751766","https://openalex.org/W2123401325","https://openalex.org/W2125011234","https://openalex.org/W2125357166","https://openalex.org/W2127723417","https://openalex.org/W2131687992","https://openalex.org/W2131954495","https://openalex.org/W2132481916网址","https://openalex.org/W2134875273","https://openalex.org/W2135565307","https://openalex.org/W2139668965","https://openalex.org/W2144196848","https://openalex.org/W2148397566","https://openalex.org/W2149674423","https://openalex.org/W2152225177","https://openalex.org/W2158600037","https://openalex.org/W2161100976","https://openalex.org/W2166743230","https://openalex.org/W2167363133","https://openalex.org/W2181712945","https://openalex.org/W2280703106","https://openalex.org/W2295399529","https://openalex.org/W4210644561","https://openalex.org/W4230086982","https://openalex.org/W4243644740","https://openalex.org/W4250359162","https://openalex.org/W4252015082","https://openalex.org/W4298304851","https://openalex.org/W4299301436","https://openalex.org/W4300810260“]，”related_works“：[”https://openalex.org/W4381279634","https://openalex.org/W3091942750","https://openalex.org/W2964899650","https://openalex.org/W2613042669","https://openalex.org/W2587046957","https://openalex.org/W2354385412","https://openalex.org/W2183925834","https://openalex.org/W2076935307","https://openalex.org/W1997833177","https://openalex.org/W1830372847“]，”ngrams_url“：”https://api.openalex.org/works/W2076935307/ngrams网站“，”abstract_inverted_index“：｛”App“：[0,18]，”stores“：[1,40,48]，”are“：[2160]，”increase“：[3]，”the“：[4,74,814716918019420002082122332236257]，”preferred“：[5]，”mechanism“：[6]，”for“：[7,44131]，”distributing“：[8]，”software“：[9]，”including“：[10]，”mobile“：[11]，”apps“：[12,16133]，”（Google“：[13]，“播放），”：[14]，“桌面”：[15]，“（Mac”：[17]，“商店“：[19]，”和“：[20,29,69113164219]，“Ubuntu”：[21]，“软件”：[22]，“中心），”：[23]，“计算机”：[24]，“游戏”：[25]，“（the”：[26]，“Steam”：[27]，“商店”，“：[28]，“浏览器”：[30]，“扩展名”：[31]，“Chrome”：[32]，“Web”：[33]，“店铺”）。“：[34]，”The“：[35190]，”centralized“：[36]，”nature“：[37]，”of“：[38107138154238245256]，”these“：[39]，”has“：[41,83]，”important“：[42]，”indications“：【43】，”security“。“：[45]，”While“：[46]，”app“：[P7,75191]，”have“：[49]，”空前“：[50]，”能力“：[51]，”to“：[52,64,86122135162183187198214225]，”审计“：[53]，”应用程序“：[54,59]，”用户“：[55]，”now“：[56]，”信任“：[57]，”托管“：[58192]，”making“：[60]，”them“：[61]，”more“：[62]，”易受攻击“：[63]，“恶意软件”：[65]，“that”：[66159173227]，“evades”：[67]，“detection”：[68]，“找到“：[70]，”its“：[71185]，”way“：[72]，”onto“：[73]，”store。“：[76]，”声音“：[77]，”静态“：[78115181]，”显式“：[79140]，”信息“：[80120141157]，”流动“：[81]，”分析“：[821091149182]，”潜在“：[85]，”显著“：[87]，”援助“：[88]，”人类“：[89]，”审计员“：[90]，”但是“：[91]，”it“：[92]，”is“：[931111577196]，”残疾人“：[94]，”by“：[95]，“高”：[96]，“假”：[97152559]，“阳性”：[98156]，“费率。“：[99]，”相反，“：[100]，”审计师“：[101]，”当前“：[102]，”依赖“：[103]，”on“：[104193]，”a“：[105129151243]，”组合“：[106]，”动态“：[108]，”（其中“：[110117]，”不可靠）“：[112]，”轻量级“：[114]，”不能“：[118]，”标识“：[119]，”流）“：121]，”帮助“：[123]，”检测“：[124]，”恶意“：[125139]，“行为。“：[126]，“我们”：[127210234]，“提议”：[128]，“过程”：[130251]，“生产”：[132]，“认证”：[134]，“成为”：[136]，“自由”：[137]，“流程”。“：[142]，“In”：[143166]，“practice”：[144]，“uncorcision”：[145]，“In”：[146241]，“reachability”：[148]，“major”：[152]，“source”：%153]，“flows”：[158]，“difficle”：[161]，“understand”：[163]，“discharge.”：[165]，“our”：[C67239]，“approach”，“developer”：[170224]，“provides”：[171]，“tests”：[172]，”指定“：[174]，”what“：[175]，”code“：[176206]，”reachable“，”：[178]，“允许“：[179]，”限制“：[184]，”搜索“：[186]，”测试“：[188]，”代码。“：[189233]，”store“：[195]，”instrumented“：[197]，”enforce“：[199]，”provided“：[201]，”specification“：[202]，”（即：[203]，“executing”：[204]，“untest”：[205]，“terminates”：[207]，“app）。“：[209]，”使用“：[211]，”诱拐“：[212]，”推断“：[213]，”最小化“：[215]，”必要“：[217]，”检测，“：[218]，”然后“：[220]，”交互“：[221]，”与“：[222]，”确保“：[226]，”测量“：[229]，”仅“：[230]，”切割“：[231]，”无法到达“：[232]，”演示“：[235]，”有效性“：[237]，”方法“：[240]，“验证”：[242]，“语料库”：[244]，“77”：[246]，“Android“：[247]，”apps\u2014our“：[248]，”interactive“：[249]，”verification“：[250]，”successfully“：[252]，”discharges“：[253]，”11“：[254]，”out“：[255]，”12“：[258]，”positives“。“：[260]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2076935307“，”counts_by_year“：[{“年份”：2018，”cited_by_count“：4}，{“年度”：2017，”ciped_by_cunt“：2}，”{“年”：2016，“cited_by_count”：1}，“年份”:2015，”cited_by_count？：1}]，“更新日期”：“2024-05-16T04:00:51.704082”，“创建日期”：”2016-06-24“}”