{“id”：“https://openalex.org/W2111057313“，”doi“：”https://doi.org/10.1016/j.entcs.2010.08.005“，”title“：”具有接口限制的对手的合成系统安全“，”display_name“：”带有接口限制的敌人的合成系统安全“，”publication_year“：2010，”publiction_date“：”2010-09-01“，”ids“：{”openalex“：”https://openalex.org/W2111057313“，”doi“：”https://doi.org/10.1016/j.entcs.2010.08.005“，”mag“：”2111057313“｝，”language“：”en“，”primary_location“：｛”is_oa“：false，”landing_page_url“：”https://doi.org/10.1016/j.entcs.2010.08.005“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S50368787“，”display_name“：”理论计算机科学电子笔记“，”issn_l“：”1571-0661“，”isn“：[”1571-661“]，”is_oa“：true，”is_ in_doaj“：false，”is_core“：true，”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/A5026719321“，”display_name“：”Deepak Garg“，”orcid“：”https://orcid.org/0000-0002-0888-3093}，“机构”：[{“id”：https://openalex.org/I74973139“，”display_name“：”卡内基梅隆大学“，”ror“：”https://ror.org/05x2bcf33“，”country_code“：”美国“，”类型“：”教育“，”血统“：[”https://openalex.org/I74973139“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Deepak Garg“，”raw _ afiliation_strings“：[“卡内基梅隆大学，宾夕法尼亚州匹兹堡，美国#TAB#”]，”affiliations“：[{”raw _affiliation_strong“：”卡内基梅隆大学，宾州匹兹伯格，美国#TAB#“，”institution_ids“：[https://openalex.org/I74973139“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5043574188“，”display_name“：”Jason Franklin“，”orcid“：null｝，”institutions“：[｛”id“：”https://openalex.org/I74973139“，”display_name“：”卡内基梅隆大学“，”ror“：”https://ror.org/05x2bcf33“，”country_code“：”美国“，”类型“：”教育“，”血统“：[”https://openalex.org/I74973139“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”杰森·富兰克林“，”raw _affiliation_strings“：[“卡内基梅隆大学，匹兹堡，宾夕法尼亚州，美国#TAB#”]，”affiliations“：[{”raw _affiliation_string“：”卡内基梅隆大学，宾夕法尼亚州匹兹堡市，美国#TAB#“，”institution_ids“:[”https://openalex.org/I74973139“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5035682803“，”display_name“：”Dilsun Kaynar“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I74973139“，”display_name“：”卡内基梅隆大学“，”ror“：”https://ror.org/05x2bcf33“，”country_code“：”美国“，”类型“：”教育“，”血统“：[”https://openalex.org/I74973139“]}]，”国家“：[“美国”]，”is_corresponding“：false，”raw_author_name“：”Dilsun Kaynar“，”raw _ afiliation_strings“：[”卡内基梅隆大学，宾夕法尼亚州匹兹堡，美国#TAB#“]，”affiliations“：[{”raw _affiliation_strong“：”卡内基梅隆大学https://openalex.org/I74973139“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5036493397“，”display_name“：”Anupam Datta“，”orcid“：”https://orcid.org/0000-0001-9520-5196}，“机构”：[{“id”：https://openalex.org/I74973139“，”display_name“：”卡内基梅隆大学“，”ror“：”https://ror.org/05x2bcf33“，”country_code“：”美国“，”类型“：”教育“，”血统“：[”https://openalex.org/I74973139“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Anupam Datta“，”raw _ afiliation_strings“：[“卡内基梅隆大学，宾夕法尼亚州匹兹堡，美国#TAB#”]，”affiliations“：[{”raw _affiliation_strong“：”卡内基梅隆大学，宾州匹兹伯格，美国#TAB#“，”institution_ids“：[https://openalex.org/I74973139“]}]}]，”countries_distinct_count“：1，”institutions_disting_count”：1，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]、”apc_list“：null，”apc_payed“：null，”fwci“：4.229，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count：22，”citation_normalized_percentile“：{”value“：0.927723，”is_in_top_1_percent“：false，”is_in_top_10_percent“：true}，”cited_by_percentile_year“：{”min“：90，”max“：91}，“biblio”：{“volume”：“265”，“issue”：null，“first_page”：“49”，“last_page”：”71“}，‘is_retracted’：false，“is_paratext”：false、“primary_topic”：{“id”：“https://openalex.org/T11424“，”display_name“：”基于语言的信息流安全“，”score“：0.9997，”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.9997，”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/T10927“，”display_name“：”在线环境中的信任和声誉系统“，”score“：0.9977，”subfield“：{”id“：”https://openalex.org/subfields/3312“，”display_name“：”社会学与政治学“}，”field“：{”id“：”https://openalex.org/fields/33“，”display_name“：”社会科学“}，”域“：{”id“：”https://openalex.org/domains/2“，”“display_name”：“社会科学”}}，{”id“：”https://openalex.org/T11241“，”display_name“：”Android恶意软件的特征描述和检测“，”score“：0.9976，”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/keywords/interface网站“，”display_name“：”接口（物质）“，”score“：0.6504809}，{”id“：”https://openalex.org/keywords/security-analysis网站“，”display_name“：”安全分析“，”score“：0.530095}，{”id“：”https://openalex.org/keywords/trace“，”display_name“：”TRACE（心理语言学）“，”score“：0.5295195}，{”id“：”https://openalex.org/keywords/trusted-execution-environment网站“，”display_name“：”可信执行环境“，”score“：0.518758}，{”id“：”https://openalex.org/keywords/security-policys网站“，”display_name“：”安全策略“，”score“：0.508657}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.8326056}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.6549814}，{”id“：”https://openalex.org/C113843644，“wikidata”：https://www.wikidata.org/wiki/Q901882“，”display_name“：”接口（物质）“，”级别“：4，”分数“：0.6504809}，{”id“：”https://openalex.org/C55439883，“wikidata”：https://www.wikidata.org/wiki/Q360812“，”display_name“：”正确性“，”级别“：2，”分数“：0.6091384}，{”id“：”https://openalex.org/C75291252，“wikidata”：https://www.wikidata.org/wiki/Q1315756“，”display_name“：”TRACE（心理语言学）“，”level“：2，”score“：0.5295195}，{”id“：”https://openalex.org/C41065033，“wikidata”：https://www.wikidata.org/wiki/Q2825412“，”display_name“：”Adversary“，”level“：2，”score“：0.5197615｝，｛”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.44989297｝，｛”id“：”https://openalex.org/C184337299，“wikidata”：https://www.wikidata.org/wiki/Q1437428“，”display_name“：”语义（计算机科学）“，”level“：2，”score“：0.41479978}，{”id“：”https://openalex.org/C38652104，“wikidata”：https://www.wikidata.org/wiki/Q3510521“，”display_name“：”计算机安全“，”level“：1，”score“：0.19270682}，{”id“：”https://openalex.org/C111919701，“wikidata”：https://www.wikidata.org/wiki/Q9135“，”display_name“：”操作系统“，”level“：1，”score“：0.084908485}，{”id“：”https://openalex.org/C41895202，“wikidata”：https://www.wikidata.org/wiki/Q8162“，”display_name“：”语言学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C157915830，“wikidata”：https://www.wikidata.org/wiki/Q2928001“，”display_name“：”气泡“，”level“：2，”score“：0.0}，{”id“：”https://openalex.org/C129307140，“wikidata”：https://www.wikidata.org/wiki/Q6795880“，”display_name“：”最大气泡压力法“，”level“：3，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1016/j.entcs.2010.08.005“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S50368787“，”display_name“：”理论计算机科学电子笔记“，”issn_l“：”1571-0661“，”isn“：[”1571-661“]，”is_oa“：true，”is_ in_doaj“：false，”is_core“：true，”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”：41，“referrenced_works”：https://openalex.org/W1499934958","https://openalex.org/W1534362546","https://openalex.org/W1566084892","https://openalex.org/W1597908183","https://openalex.org/W1607674807","https://openalex.org/W1965550487","https://openalex.org/W1984478483","https://openalex.org/W1987302212","https://openalex.org/W1990409169","https://openalex.org/W2027660602","https://openalex.org/W2038952689","https://openalex.org/W2049224403","https://openalex.org/W2052882335","https://openalex.org/W2069858199","https://openalex.org/W2072978486","https://openalex.org/W2079569045","https://openalex.org/W2090551028","https://openalex.org/W2097744609","https://openalex.org/W2100019646","https://openalex.org/W2103222205","https://openalex.org/W2108617800","https://openalex.org/W2111057313","https://openalex.org/W2112504626","https://openalex.org/W2119708968网址","https://openalex.org/W2126461222","https://openalex.org/W2128934745","https://openalex.org/W2139249028","https://openalex.org/W2145779758","https://openalex.org/W2146595241","https://openalex.org/W2146681155","https://openalex.org/W2147669587","https://openalex.org/W2152845220","https://openalex.org/W2164979467","https://openalex.org/W2165477067","https://openalex.org/W2168277905","https://openalex.org/W2170458715","https://openalex.org/W2735582926","https://openalex.org/W2916293460","https://openalex.org/W2951117584","https://openalex.org/W29600512","https://openalex.org/W2999962580“]，”related_works“：[”https://openalex.org/W4283160672","https://openalex.org/W4247536566","https://openalex.org/W4241418540","https://openalex.org/W3119814709","https://openalex.org/W2725786787","https://openalex.org/W2404647514","https://openalex.org/W2098962004","https://openalex.org/W2018477250","https://openalex.org/W1667647204","https://openalex.org/W1508895727“]，”abstract_inverted_index“：{”This“：[0]，”paper“：[1137]，”presents“：[2138]，”a“：[3,18101120133151175]，”formal“：[4]，”framework“：[5]，”for“：[6,63,74104147]，”composition“：%7157]，”reasoning“：[8,62,73158]，”关于“：[9]，”secure“：[10]，”systems.“：[11]，”a“：[12]，”key“：%13]，”insight“：[13]14]，“是”：[15,45,66129]，“到”：[16,47119167]，“视图”：[17]，“可信”：[19,32]，“系统”：[20,75]，“in”：[21,40155]，“terms”：[22]，“of”：[23,71,83,85153178]，“the”：[24,27,43,48136]，“interfaces”：[25,49149]，“that”：[26122]，“variable”：[28]，“components”：[29,33]，“expose”：[30]，“larger”：[31]，“are”：[34160172]，“build”：[35]，“by”：[36]，“组合”：[37]，“接口”：[38,57]，“调用”：[39,58]，“已知”：[41]，“方式”；“：[42]，”对手“：[44125]，”受限“：[46]，”it“：[50]，”has“：[51]，”access“：[52]，”to“：[53]，”but“：[54]，”may“：[55]，”combine“：[56]，”without“：[59]，”restriction。“：[60]，”合成“：[61]，”这样“：[64]，”系统“：[65]，”基于“：[67]，”on“：[68,89109]，”an“：[69124139179]，”扩展“：[70]，”相对保证“：[72]，”正确性“：[76]，”[Misra，“：[77]，”J.“：[78]，”和“：[79112150162]，”K.M.“：+80]，”Chandy，“：+81]，”Proofs“：[82]，“网络”：[84]，“进程”：[86]，“IEEE”：[87]，“事务”：[88108]，“软件”：[90]，“工程“：[91]，“7”：[92]，“（1981），”：[93]，“pp.”：[94117]，“417\u2013426；“：[95]，”琼斯“：[96]，”C.B.“：[97]，”暂定“：[98]，”步骤“：[99]，”朝向“：[100]，”开发“：[102]，”方法“：[103]，”干扰“：[105]，”程序“：[106]，”ACM“：[107]，”编程“：[110]，”语言“：[111]，”系统“：[113]，”（TOPLAS）“：[114]，”5“：[115]，”“（1983），”：[116]，“”596\u2013619]“：[118]，”设置“：[121]，”涉及“：[123]，”其“：[126]，”精确“：[127]，”程序“：[128]，”不是“：[130]，”已知。“：[131]，”At“：[132]，”technical“：[134]，”level“，”lever“，”expressive“：%140]，”concurrent“：[141]，”programming“：[142]，”language“：[143]，”with“：/144165]，”recursive“：[145]，”functions“：[146]，”modeling“：[148]，”logic“：[152]，”programs“：[154]，”which“：[156]，”principles“：[159]，”formalized“：[161]，”covered“：[163]，”sound“”：[164]，“尊重”：[166]，“跟踪”：[168]，“语义。“：[169]，”The“：[170]，”methods“：[171]，”illustrated“：[173]，”through“：[174]，”small“：[176]，”fragment“：[177]，”idealized“：[180]，”file“：[181]，”system“。“：[182]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2111057313“，”“counts_by_year”：[{“年份”：2021，”“cited_by_count”：2}，{“年”：2020，”“引用的_by_cunt”：2]，{“年”:2018，”“引的_by-count”“：1}，”{“年度”：2016，”“引述的_by/count”：2012，“cited_by_count”：3}]，“updated_date”：“2024-09-10T00:33:09.719311”，“创建日期”：“2016-06-24"}