{“id”：“https://openalex.org/W2156585713“，”doi“：”https://doi.org/10.1145/2382756.2382791“，”title“：”符号量化信息流“，”display_name“：”象征量化信息流”，“publication_year”：2012，“publiation_date”：“2012-11-27”，“ids”：{“openalex”：“https://openalex.org/W2156585713“，”doi“：”https://doi.org/10.1145/2382756.2382791“，”mag“：”2156585713“｝，”language“：”en“，”primary_location“：｛”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/2382756.2382791“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S186921487“，”“display_name”“：”“软件工程注释”“，”issn_l“：”0163-5948“，”isn“：[”0163~5948“，”1943-5843“]，”is_oa“：false，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/P431031798“，”“host_organization_name”：“计算机协会”，“host_ordanization_lineage”：[“https://openalex.org/P431031798“]，”host_organization_lineage_names“：[”Association for Computing Machinery“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“jornal-article”，“indexed_in”：[”crossref“]，‘open_access”：{“is_oa”：true，“oa_status”：“green”，“oa_url”：“”https://qmro.qmul.ac.uk/xmlui/bitstream/123456789/6239/4/paper1.pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5077895353“，”display_name“：”Quoc-Sang Phan“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I166337079“，”display_name“：”伦敦玛丽女王大学“，”ror“：”https://ror.org/026zzn846“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I124357947","https://openalex.org/I166337079“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Quoc-Sang Phan“，”raw _ afiliation_strings“：[“伦敦玛丽女王大学”]，”affiliations“：[{”raw_ afiliation _string“：”伦敦玛丽女王学院“，”institution_ids“：[https://openalex.org/I166337079“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5070622642“，”display_name“：”Pasquale Malacaria“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I166337079“，”display_name“：”伦敦玛丽女王大学“，”ror“：”https://ror.org/026zzn846“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I124357947","https://openalex.org/I166337079“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Pasquale Malacaria“，”raw _affiliation_strings“：[“伦敦玛丽女王大学”]，”affiliations“：[{”raw _affiliation_string“：”伦敦玛丽女王学院“，”institution_ids“：[https://openalex.org/I166337079“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5044286809“，”display_name“：”Oksana Tkachuk“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I1280536761“，”display_name“：”艾姆斯研究中心“，”ror“：”https://ror.org/02acart68“，”country_code“：”US“，”type“：“facility”，”lineage“：[”https://openalex.org/I1280536761","https://openalex.org/I4210124779“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Oksana Tkachuk“，”raw _affiliation_strings“：[“NASA艾姆斯研究中心”]，”affiliations“：[{”raw _affiliation_string“：”NASA艾ms研究中心“，”institution_ids“：[https://openalex.org/I1280536761“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5053134485“，”display_name“：”Corina S.P\u0103s\u0103reanu“，”orcid“：”https://orcid.org/0000-0002-5579-6961}，“机构”：[{“id”：https://openalex.org/I1280536761“，”display_name“：”艾姆斯研究中心“，”ror“：”https://ror.org/02acart68“，”country_code“：”US“，”type“：“facility”，”lineage“：[”https://openalex.org/I1280536761","https://openalex.org/I4210124779“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Corina S.P\u0103s\u0103reanu“，”raw _ affiliation_strings“：[“NASA艾姆斯研究中心”]，”affiliation“：[{”raw _affiliation_string“：”NASA艾ms研究中心“，”institution_ids“：[https://openalex.org/I1280536761“]}]}]，”countries_distinct_count“：2，”institutions_disting_count”：2，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]、”apc_list“：null，”apc_payed“：null，”fwci“：6.431，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_by_count“：{”卷“：”37“，”问题“：”6“，”第一页“：”1“，”last_page“：”5“}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T11424“，”display_name“：”基于语言的信息流安全“，”score“：0.9999，”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/T11424“，”display_name“：”基于语言的信息流安全“，”score“：0.9999，”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/T11241“，”display_name“：”Android恶意软件的特征描述和检测“，”score“：0.9967，”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/T10400“，”“display_name”：“网络入侵检测和防御机制”，“score”：0.9911，“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/control-flow完整性“，”display_name“：”控制流完整性“，”score“：0.546464}，{”id“：”https://openalex.org/keywords/intrusion-detection网站“，”display_name“：”入侵检测“，”score“：0.509909}，{”id“：”https://openalex.org/keywords/security-analysis网站“，”display_name“：”安全分析“，”score“：0.502762}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.83604175}，{”id“：”https://openalex.org/C2779639559，“wikidata”：https://www.wikidata.org/wiki/Q7661178“，”display_name“：”符号执行“，”level“：3，”score“：0.764601}，{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”level“：2，”score“：0.6125489}，{”id“：”https://openalex.org/C2779136372，“wikidata”：https://www.wikidata.org/wiki/Q10283002“，”display_name“：”信息流“，”level“：2，”score“：0.606597}，{”id“：”https://openalex.org/C548217200，“wikidata”：https://www.wikidata.org/wiki/Q251“，”display_name“：”Java“，”level“：2，”score“：0.59840524}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.58226395}，{”id“：”https://openalex.org/C2777904410，“wikidata”：https://www.wikidata.org/wiki/Q7397“，”display_name“：”软件“，”级别“：2，”分数“：0.48395303}，{”id“：”https://openalex.org/C72434380，“wikidata”：https://www.wikidata.org/wiki/Q230930网址“，”display_name“：”状态空间“，”level“：2，”score“：0.45458022}，{”id“：”https://openalex.org/C115903868，“wikidata”：https://www.wikidata.org/wiki/Q80993“，”display_name“：”软件工程“，”level“：1，”score“：0.43803996}，{”id“：”https://openalex.org/C48103436，“wikidata”：https://www.wikidata.org/wiki/Q599031“，”display_name“：”State（computer science）“，”level“：2，”score“：0.42058265}，{”id“：”https://openalex.org/C98183937，“wikidata”：https://www.wikidata.org/wiki/Q2112188“，”display_name“：”程序分析“，”level“：2，”score“：0.41620493}，{”id“：”https://openalex.org/C65620979，“wikidata”：https://www.wikidata.org/wiki/Q7661176“，”display_name“：”符号数据分析“，”level“：2，”score“：0.4113307}，{”id“：”https://openalex.org/C97686452，“wikidata”：https://www.wikidata.org/wiki/Q7604153“，”display_name“：”静态分析“，”level“：2，”score“：0.41105893}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.28319794}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C41895202，“wikidata”：https://www.wikidata.org/wiki/Q8162“，”display_name“：”语言学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C105795698，“wikidata”：https://www.wikidata.org/wiki/Q12483“，”display_name“：”Statistics“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”Mathematics“，”level“：0，”score“：0.0}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/2382756.2382791“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S186921487“，”“display_name”“：”“软件工程注释”“，”issn_l“：”0163-5948“，”isn“：[”0163~5948“，”1943-5843“]，”is_oa“：false，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/P4310319798“，”“host_organization_name”：“计算机协会”，“host_ordanization_lineage”：[“https://openalex.org/P431031798“]，”host_organization_lineage_names“：[”Association for Computing Machinery“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“http://qmro.qmul.ac.uk/xmlui/handle/123456789/6239，“pdf_url”：https://qmro.qmul.ac.uk/xmlui/bitstream/123456789/6239/4/paper1.pdf，“源”：{“id”：https://openalex.org/S4306400530“，”“display_name”：“玛丽女王在线研究（伦敦玛丽女王大学）”，“issn_l”：null，“issn”：nul，“is_oa”：true，“is.in_doaj”：false，“host_organization”：“https://openalex.org/I166337079“，”“host_organization_name”：“伦敦玛丽女王大学”，“host_organization_lineage”：[“https://openalex.org/I166337079“]，”host_organization_lineage_names“：[”伦敦玛丽女王大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“http://qmro.qmul.ac.uk/xmlui/handle/123456789/6239，“pdf_url”：https://qmro.qmul.ac.uk/xmlui/bitstream/123456789/6239/4/paper1.pdf，“源”：{“id”：https://openalex.org/S4306400530“，”“display_name”：“玛丽女王在线研究（伦敦玛丽女王大学）”，“issn_l”：null，“issn”：nul，“is_oa”：true，“is.in_doaj”：false，“host_organization”：“https://openalex.org/I166337079“，”“host_organization_name”：“伦敦玛丽女王大学”，“host_organization_lineage”：[“https://openalex.org/I166337079“]，”host_organization_lineage_names“：[”伦敦玛丽女王大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，”sustainable_development_goals“：[{”display_name“：”和平、正义和强大的机构“，”id“：”https://metadata.un.org/sdg/16“，”score“：0.66}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：9，”referrenced_works“：【”https://openalex.org/W2027029004","https://openalex.org/W2047694629","https://openalex.org/W2108104925","https://openalex.org/W2116877149","https://openalex.org/W2122049982","https://openalex.org/W2123097583","https://openalex.org/W2129740858","https://openalex.org/W30399999392","https://openalex.org/W4238789074“]，”related_works“：[”https://openalex.org/W4285586714","https://openalex.org/W4245197793","https://openalex.org/W345638404","https://openalex.org/W2914996832","https://openalex.org/W2751940653","https://openalex.org/W2514597554","https://openalex.org/W2019299443","https://openalex.org/W1994915990","https://openalex.org/W1970932400","https://openalex.org/W1566618018“]，”ngrams_url“：”https://api.openalex.org/works/W2156585713/ngrams网站“，”“abstract_inverted_index”：{“Quantitative”：[0]，“Information”：[1]，“Flow”：[2]，“（QIF）”：[3]，“is”：[4,95110]，“a”：[5,15,21,39,45,65,78,87]，“powerful”：[6]，“approach”：[7]，“to”：[8,31,49117]，“quantify”：[9]，“leaks”：[10]，“of”：[11,42,67,99]，“confidential”：[12]，“Information”：[13,27]，“in”：[14,91114]，“software”：[16,88]，“system.”：[17]，“Here”：[18]，“we”：[19,37,63]，“present”：[20]，“novel”：[22]，“method”：[23,66,76]，“that”：[24,81]，“precise”：[25]，“quanties”：[26]，“leaks.”：[28]，“In”：[209]，“order”：[30]，“release”：[32]，“the”：[33,5211115]，“state-space”：[34]，“explosion”：[35]，“problem”：[36]，“submit”：[38]，“symbol”：[40]，“representation”：[41]，“数据”：[43]，“和”：[44108]，“通用”：[46]，“基于SMT”：[47]，“框架”：[48]，“探索”：[50]，“系统”：[51]，“状态”：[53]，“空间”：[54]，“符号”：[55,71]，“执行”：[56]，“适合”：[57]，“好”：[58]，“有”：[59]，“我们的”：[60,75]，“框架，”：[61]，“so”：[62]，“实现”：[64]，“QIF”：[C8,84120]，“分析”：[69,85]，“使用”：[70]，“执行。“：[72]，”我们“：[73]，”开发“：[74]，”作为“：[77]，”原型“：[79]，”工具“：[80,94113]，”可以“：[82]，“执行”：[83]，“for”：[86]，“系统”：[89]，“开发”：[90]，“Java”：[92]，“The”：[93]，“build”：[96]，“on”：[97]，“top”：[98]，“Java”：[100]，“Pathfinder”：[101]，“an”：[102]，“open”：[103]，“source”：%104]，“model”：[105]，“checking”：[106]，“平台”：[107]，“it”：[109]，“第一个”：[112]，“字段”：[116]，“支持”：[118]，“信息理论”：[119]，“分析”：[121]}，“cited_by_api_url”：“https://api.openalex.org/works？filter=cites:W2156585713“，”counts_by_year“：[{”年“：2024，”cited_by_count“：1}，{”年份“：2023，”ciped_by_cunt“：1}，”{“年份”：2022，“cited_by_count”：3}，“年份”:2021，“cited_by_count“年份”：2017，“引用_ by_count”：5}，{“年份”:2016，“引用_by_counts”：4}，}“年份“：2015，”引用_ by-count“：5}，{“年份”：2014，“引用_ by_count”：6}，{”年份“：2013，”引用_ by-count“：4}]，”更新日期“：“2024-06-23T09:04:53.363255”，“创建日期”：“2016-06-24”}