{"id":"https://openalex.org/W136900201","doi":"https://doi.org/10.1007/978-3-642-25243-3_28","title":"A Multi-compositional Enforcement on Information Flow Security","display_name":"A Multi-compositional Enforcement on Information Flow Security","publication_year":2011,"publication_date":"2011-01-01","ids":{"openalex":"https://openalex.org/W136900201","doi":"https://doi.org/10.1007/978-3-642-25243-3_28","mag":"136900201"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-642-25243-3_28","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-25243-3_28","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5058987076","display_name":"Cong Sun","orcid":"https://orcid.org/0000-0001-9116-2694"},"institutions":[{"id":"https://openalex.org/I149594827","display_name":"Xidian University","ror":"https://ror.org/05s92vm98","country_code":"CN","type":"education","lineage":["https://openalex.org/I149594827"]},{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]},{"id":"https://openalex.org/I4210126530","display_name":"Data Assurance and Communication Security","ror":"https://ror.org/02z2gfm30","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210126530","https://openalex.org/I4210156404"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Cong Sun","raw_affiliation_strings":["Key Lab. of Computer Networks and Information Security, Xidian Univ., MoE, China","Key Lab. of High Confidence Software Technologies, Peking Univ., MoE, China","Key Lab. of Network and Software Security Assurance, Peking Univ., MoE, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Key Lab. of Computer Networks and Information Security, Xidian Univ., MoE, China","institution_ids":["https://openalex.org/I149594827"]},{"raw_affiliation_string":"Key Lab. of High Confidence Software Technologies, Peking Univ., MoE, China","institution_ids":["https://openalex.org/I20231570"]},{"raw_affiliation_string":"Key Lab. of Network and Software Security Assurance, Peking Univ., MoE, China","institution_ids":["https://openalex.org/I4210126530"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5108657726","display_name":"Ennan Zhai","orcid":null},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ennan Zhai","raw_affiliation_strings":["Institute of Software, Chinese Academy of Sciences, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Software, Chinese Academy of Sciences, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100430415","display_name":"Zhong Chen","orcid":"https://orcid.org/0000-0002-7483-9699"},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]},{"id":"https://openalex.org/I4210126530","display_name":"Data Assurance and Communication Security","ror":"https://ror.org/02z2gfm30","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210126530","https://openalex.org/I4210156404"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhong Chen","raw_affiliation_strings":["Key Lab. of High Confidence Software Technologies, Peking Univ., MoE, China","Key Lab. of Network and Software Security Assurance, Peking Univ., MoE, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Key Lab. of High Confidence Software Technologies, Peking Univ., MoE, China","institution_ids":["https://openalex.org/I20231570"]},{"raw_affiliation_string":"Key Lab. of Network and Software Security Assurance, Peking Univ., MoE, China","institution_ids":["https://openalex.org/I4210126530"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101479563","display_name":"Jianfeng Ma","orcid":"https://orcid.org/0000-0002-1679-5800"},"institutions":[{"id":"https://openalex.org/I149594827","display_name":"Xidian University","ror":"https://ror.org/05s92vm98","country_code":"CN","type":"education","lineage":["https://openalex.org/I149594827"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jianfeng Ma","raw_affiliation_strings":["Key Lab. of Computer Networks and Information Security, Xidian Univ., MoE, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Key Lab. of Computer Networks and Information Security, Xidian Univ., MoE, China","institution_ids":["https://openalex.org/I149594827"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.7454,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.72237483,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"345","last_page":"359"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":1.0,"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":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":1.0,"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":"Physical Sciences"}},{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9908999800682068,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11614","display_name":"Cloud Data Security Solutions","score":0.9865000247955322,"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":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.9080374240875244},{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.7276322841644287},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.579841673374176},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5471287965774536},{"id":"https://openalex.org/keywords/information-flow","display_name":"Information flow","score":0.5444809198379517},{"id":"https://openalex.org/keywords/security-policy","display_name":"Security policy","score":0.48633915185928345},{"id":"https://openalex.org/keywords/data-flow-diagram","display_name":"Data flow diagram","score":0.45102259516716003},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.43502259254455566},{"id":"https://openalex.org/keywords/control-flow","display_name":"Control flow","score":0.43429797887802124},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.4321640133857727},{"id":"https://openalex.org/keywords/enforcement","display_name":"Enforcement","score":0.42934221029281616},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3799457550048828},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.37831777334213257},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.34747636318206787},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.31087374687194824},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.2993057668209076}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9080374240875244},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.7276322841644287},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.579841673374176},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5471287965774536},{"id":"https://openalex.org/C2779136372","wikidata":"https://www.wikidata.org/wiki/Q10283002","display_name":"Information flow","level":2,"score":0.5444809198379517},{"id":"https://openalex.org/C154908896","wikidata":"https://www.wikidata.org/wiki/Q2167404","display_name":"Security policy","level":2,"score":0.48633915185928345},{"id":"https://openalex.org/C489000","wikidata":"https://www.wikidata.org/wiki/Q747385","display_name":"Data flow diagram","level":2,"score":0.45102259516716003},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.43502259254455566},{"id":"https://openalex.org/C160191386","wikidata":"https://www.wikidata.org/wiki/Q868299","display_name":"Control flow","level":2,"score":0.43429797887802124},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.4321640133857727},{"id":"https://openalex.org/C2779777834","wikidata":"https://www.wikidata.org/wiki/Q4202277","display_name":"Enforcement","level":2,"score":0.42934221029281616},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3799457550048828},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.37831777334213257},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.34747636318206787},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.31087374687194824},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.2993057668209076},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C187736073","wikidata":"https://www.wikidata.org/wiki/Q2920921","display_name":"Management","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/978-3-642-25243-3_28","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-25243-3_28","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.704.4113","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.704.4113","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.yale.edu/homes/zhai-ennan/icics11-sun.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.704.9758","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.704.9758","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.yale.edu/homes/zhai-ennan/sun2011a-tr.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.6600000262260437,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":24,"referenced_works":["https://openalex.org/W136900201","https://openalex.org/W1522079290","https://openalex.org/W1570043269","https://openalex.org/W1597778235","https://openalex.org/W1975691680","https://openalex.org/W1977764760","https://openalex.org/W2008332764","https://openalex.org/W2021247400","https://openalex.org/W2072385480","https://openalex.org/W2093397547","https://openalex.org/W2097833793","https://openalex.org/W2101936540","https://openalex.org/W2104658241","https://openalex.org/W2116647386","https://openalex.org/W2122049982","https://openalex.org/W2133647580","https://openalex.org/W2135046885","https://openalex.org/W2139799388","https://openalex.org/W2145846275","https://openalex.org/W2150174204","https://openalex.org/W2296605318","https://openalex.org/W2497632684","https://openalex.org/W4236991443","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2027822753","https://openalex.org/W4384302888","https://openalex.org/W1514244613","https://openalex.org/W4246377515","https://openalex.org/W1549956274","https://openalex.org/W2122356538","https://openalex.org/W2105261429","https://openalex.org/W141487401","https://openalex.org/W2095925360","https://openalex.org/W2128487827"],"abstract_inverted_index":null,"counts_by_year":[{"year":2014,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}