{"id":"https://openalex.org/W3195700986","doi":"https://doi.org/10.1155/2021/2481818","title":"A Noninterference Model for Mobile OS Information Flow Control and Its Policy Verification","display_name":"A Noninterference Model for Mobile OS Information Flow Control and Its Policy Verification","publication_year":2021,"publication_date":"2021-08-24","ids":{"openalex":"https://openalex.org/W3195700986","doi":"https://doi.org/10.1155/2021/2481818","mag":"3195700986"},"language":"en","primary_location":{"id":"doi:10.1155/2021/2481818","is_oa":true,"landing_page_url":"http://doi.org/10.1155/2021/2481818","pdf_url":"https://downloads.hindawi.com/journals/scn/2021/2481818.pdf","source":{"id":"https://openalex.org/S120683614","display_name":"Security and Communication Networks","issn_l":"1939-0114","issn":["1939-0114","1939-0122"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319869","host_organization_name":"Hindawi Publishing Corporation","host_organization_lineage":["https://openalex.org/P4310319869"],"host_organization_lineage_names":["Hindawi Publishing Corporation"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Security and Communication Networks","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://downloads.hindawi.com/journals/scn/2021/2481818.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5061850015","display_name":"Zhanhui Yuan","orcid":"https://orcid.org/0000-0001-8003-4734"},"institutions":[{"id":"https://openalex.org/I169689159","display_name":"PLA Information Engineering University","ror":"https://ror.org/00mm1qk40","country_code":"CN","type":"education","lineage":["https://openalex.org/I169689159"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhanhui Yuan","raw_affiliation_strings":["Information Engineering University, Zhengzhou 450001, China"],"raw_orcid":"https://orcid.org/0000-0001-8003-4734","affiliations":[{"raw_affiliation_string":"Information Engineering University, Zhengzhou 450001, China","institution_ids":["https://openalex.org/I169689159"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076707686","display_name":"Wenfa Li","orcid":"https://orcid.org/0000-0003-4338-0595"},"institutions":[{"id":"https://openalex.org/I114234892","display_name":"Beijing Union University","ror":"https://ror.org/01hg31662","country_code":"CN","type":"education","lineage":["https://openalex.org/I114234892"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Wenfa Li","raw_affiliation_strings":["Beijing Union University, Beijing 100101, China"],"raw_orcid":"https://orcid.org/0000-0003-4338-0595","affiliations":[{"raw_affiliation_string":"Beijing Union University, Beijing 100101, China","institution_ids":["https://openalex.org/I114234892"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028563006","display_name":"Zhi Yang","orcid":"https://orcid.org/0000-0001-6890-6077"},"institutions":[{"id":"https://openalex.org/I169689159","display_name":"PLA Information Engineering University","ror":"https://ror.org/00mm1qk40","country_code":"CN","type":"education","lineage":["https://openalex.org/I169689159"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhi Yang","raw_affiliation_strings":["Information Engineering University, Zhengzhou 450001, China"],"raw_orcid":"https://orcid.org/0000-0001-6890-6077","affiliations":[{"raw_affiliation_string":"Information Engineering University, Zhengzhou 450001, China","institution_ids":["https://openalex.org/I169689159"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100777487","display_name":"Lei Sun","orcid":"https://orcid.org/0000-0002-5692-6828"},"institutions":[{"id":"https://openalex.org/I169689159","display_name":"PLA Information Engineering University","ror":"https://ror.org/00mm1qk40","country_code":"CN","type":"education","lineage":["https://openalex.org/I169689159"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Lei Sun","raw_affiliation_strings":["Information Engineering University, Zhengzhou 450001, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Information Engineering University, Zhengzhou 450001, China","institution_ids":["https://openalex.org/I169689159"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100697406","display_name":"Xuehui Du","orcid":null},"institutions":[{"id":"https://openalex.org/I169689159","display_name":"PLA Information Engineering University","ror":"https://ror.org/00mm1qk40","country_code":"CN","type":"education","lineage":["https://openalex.org/I169689159"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xuehui Du","raw_affiliation_strings":["Information Engineering University, Zhengzhou 450001, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Information Engineering University, Zhengzhou 450001, China","institution_ids":["https://openalex.org/I169689159"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100671915","display_name":"Hongqi Zhang","orcid":"https://orcid.org/0000-0003-4316-9378"},"institutions":[{"id":"https://openalex.org/I169689159","display_name":"PLA Information Engineering University","ror":"https://ror.org/00mm1qk40","country_code":"CN","type":"education","lineage":["https://openalex.org/I169689159"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Hongqi Zhang","raw_affiliation_strings":["Information Engineering University, Zhengzhou 450001, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Information Engineering University, Zhengzhou 450001, China","institution_ids":["https://openalex.org/I169689159"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5076707686"],"corresponding_institution_ids":["https://openalex.org/I114234892"],"apc_list":{"value":2100,"currency":"USD","value_usd":2100},"apc_paid":{"value":2100,"currency":"USD","value_usd":2100},"fwci":0.1399,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.55785603,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"2021","issue":null,"first_page":"1","last_page":"22"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9998999834060669,"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":0.9998999834060669,"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.9997000098228455,"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/T11598","display_name":"Internet Traffic Analysis and Secure E-voting","score":0.9980000257492065,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8906854391098022},{"id":"https://openalex.org/keywords/covert-channel","display_name":"Covert channel","score":0.6592472791671753},{"id":"https://openalex.org/keywords/access-control","display_name":"Access control","score":0.5422658920288086},{"id":"https://openalex.org/keywords/information-flow","display_name":"Information flow","score":0.4568842053413391},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.44009628891944885},{"id":"https://openalex.org/keywords/covert","display_name":"Covert","score":0.4368320107460022},{"id":"https://openalex.org/keywords/channel","display_name":"Channel (broadcasting)","score":0.43054527044296265},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.41558682918548584},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.39800307154655457},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.36698755621910095},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.13512879610061646},{"id":"https://openalex.org/keywords/cloud-computing","display_name":"Cloud computing","score":0.12060442566871643}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8906854391098022},{"id":"https://openalex.org/C29024540","wikidata":"https://www.wikidata.org/wiki/Q1476964","display_name":"Covert channel","level":5,"score":0.6592472791671753},{"id":"https://openalex.org/C527821871","wikidata":"https://www.wikidata.org/wiki/Q228502","display_name":"Access control","level":2,"score":0.5422658920288086},{"id":"https://openalex.org/C2779136372","wikidata":"https://www.wikidata.org/wiki/Q10283002","display_name":"Information flow","level":2,"score":0.4568842053413391},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.44009628891944885},{"id":"https://openalex.org/C2779338814","wikidata":"https://www.wikidata.org/wiki/Q5179285","display_name":"Covert","level":2,"score":0.4368320107460022},{"id":"https://openalex.org/C127162648","wikidata":"https://www.wikidata.org/wiki/Q16858953","display_name":"Channel (broadcasting)","level":2,"score":0.43054527044296265},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.41558682918548584},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.39800307154655457},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.36698755621910095},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.13512879610061646},{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"score":0.12060442566871643},{"id":"https://openalex.org/C103377522","wikidata":"https://www.wikidata.org/wiki/Q3493999","display_name":"Security information and event management","level":4,"score":0.0},{"id":"https://openalex.org/C184842701","wikidata":"https://www.wikidata.org/wiki/Q370563","display_name":"Cloud computing security","level":3,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","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.1155/2021/2481818","is_oa":true,"landing_page_url":"http://doi.org/10.1155/2021/2481818","pdf_url":"https://downloads.hindawi.com/journals/scn/2021/2481818.pdf","source":{"id":"https://openalex.org/S120683614","display_name":"Security and Communication Networks","issn_l":"1939-0114","issn":["1939-0114","1939-0122"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319869","host_organization_name":"Hindawi Publishing Corporation","host_organization_lineage":["https://openalex.org/P4310319869"],"host_organization_lineage_names":["Hindawi Publishing Corporation"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Security and Communication Networks","raw_type":"journal-article"},{"id":"pmh:oai:hindawi.com:10.1155/2021/2481818","is_oa":true,"landing_page_url":"https://doi.org/10.1155/2021/2481818","pdf_url":"https://doi.org/10.1155/2021/2481818","source":{"id":"https://openalex.org/S4306400340","display_name":"Hindawi Journal of Chemistry (Hindawi)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210126990","host_organization_name":"Hindawi (United Kingdom)","host_organization_lineage":["https://openalex.org/I4210126990"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Research Article"},{"id":"pmh:oai:doaj.org/article:90ffa41d8fbf4f42b0240f5ed009fd97","is_oa":false,"landing_page_url":"https://doaj.org/article/90ffa41d8fbf4f42b0240f5ed009fd97","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Security and Communication Networks, Vol 2021 (2021)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1155/2021/2481818","is_oa":true,"landing_page_url":"http://doi.org/10.1155/2021/2481818","pdf_url":"https://downloads.hindawi.com/journals/scn/2021/2481818.pdf","source":{"id":"https://openalex.org/S120683614","display_name":"Security and Communication Networks","issn_l":"1939-0114","issn":["1939-0114","1939-0122"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319869","host_organization_name":"Hindawi Publishing Corporation","host_organization_lineage":["https://openalex.org/P4310319869"],"host_organization_lineage_names":["Hindawi Publishing Corporation"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Security and Communication Networks","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.6299999952316284,"id":"https://metadata.un.org/sdg/16"}],"awards":[{"id":"https://openalex.org/G2785460934","display_name":null,"funder_award_id":"61972040","funder_id":"https://openalex.org/F4320322664","funder_display_name":"Beijing Union University"},{"id":"https://openalex.org/G3380525122","display_name":null,"funder_award_id":"BPHR2020AZ03","funder_id":"https://openalex.org/F4320322664","funder_display_name":"Beijing Union University"},{"id":"https://openalex.org/G3427048915","display_name":null,"funder_award_id":"2018YFB0803603","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G3516696618","display_name":null,"funder_award_id":"62176265","funder_id":"https://openalex.org/F4320322664","funder_display_name":"Beijing Union University"},{"id":"https://openalex.org/G4647107350","display_name":null,"funder_award_id":"BPHR2020AZ03","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6612718319","display_name":null,"funder_award_id":"2018YFB0803603","funder_id":"https://openalex.org/F4320322664","funder_display_name":"Beijing Union University"},{"id":"https://openalex.org/G7811634460","display_name":null,"funder_award_id":"61972040","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G904584391","display_name":null,"funder_award_id":"62176265","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320322664","display_name":"Beijing Union University","ror":"https://ror.org/01hg31662"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3195700986.pdf","grobid_xml":"https://content.openalex.org/works/W3195700986.grobid-xml"},"referenced_works_count":46,"referenced_works":["https://openalex.org/W1509120511","https://openalex.org/W1975197166","https://openalex.org/W1977764760","https://openalex.org/W1985439562","https://openalex.org/W1988079752","https://openalex.org/W2053741629","https://openalex.org/W2068231562","https://openalex.org/W2109188733","https://openalex.org/W2110076463","https://openalex.org/W2112764082","https://openalex.org/W2116860113","https://openalex.org/W2121001711","https://openalex.org/W2121822272","https://openalex.org/W2128932642","https://openalex.org/W2132185316","https://openalex.org/W2142458132","https://openalex.org/W2146606129","https://openalex.org/W2152172333","https://openalex.org/W2154220454","https://openalex.org/W2154564703","https://openalex.org/W2164404666","https://openalex.org/W2173638604","https://openalex.org/W2231439960","https://openalex.org/W2467908049","https://openalex.org/W2497059058","https://openalex.org/W2575735093","https://openalex.org/W2589217375","https://openalex.org/W2589441347","https://openalex.org/W2608712537","https://openalex.org/W2757371531","https://openalex.org/W2771655282","https://openalex.org/W2772681170","https://openalex.org/W2797009188","https://openalex.org/W2916690964","https://openalex.org/W2933698448","https://openalex.org/W2955618369","https://openalex.org/W2978916538","https://openalex.org/W2992174394","https://openalex.org/W2996029891","https://openalex.org/W3025251425","https://openalex.org/W4234558591","https://openalex.org/W4240171122","https://openalex.org/W4250235564","https://openalex.org/W6671957770","https://openalex.org/W6719815635","https://openalex.org/W7038337166"],"related_works":["https://openalex.org/W2409612194","https://openalex.org/W4224042389","https://openalex.org/W174282171","https://openalex.org/W20460883","https://openalex.org/W1587013156","https://openalex.org/W4392755040","https://openalex.org/W4239080508","https://openalex.org/W2326198059","https://openalex.org/W4319780484","https://openalex.org/W2017348396"],"abstract_inverted_index":{"Mobile":[0],"operating":[1,65,123],"systems":[2,66,124,168],"such":[3,67],"as":[4,68],"Android":[5],"are":[6,208],"facing":[7],"serious":[8],"security":[9,42,171],"risk.":[10],"First,":[11],"they":[12],"have":[13,29,169],"a":[14,21,53,199],"large":[15,22,54],"number":[16,23,55],"of":[17,24,33,56,77,100,147,173,179,191],"users":[18],"and":[19,71,108,139,163,197],"store":[20],"users\u2019":[25],"private":[26],"data,":[27],"which":[28],"become":[30],"major":[31],"targets":[32],"network":[34],"attack;":[35],"second,":[36],"their":[37,45],"openness":[38],"leads":[39,51],"to":[40,52,86,203,210],"high":[41],"risks;":[43],"third,":[44],"coarse-grained":[46],"static":[47],"permission":[48],"control":[49,63],"mechanism":[50],"privacy":[57],"leaks.":[58],"Recent":[59],"decentralized":[60],"information":[61],"flow":[62],"(DIFC)":[64],"Asbestos,":[69],"HiStar,":[70],"Flume":[72],"dynamically":[73],"adjust":[74],"the":[75,98,128,153,159,170,180,189,205,213],"label":[76,89,102,117,137],"each":[78],"process.":[79],"Asbestos":[80],"contains":[81],"inherent":[82],"covert":[83,95,130,161],"channels":[84,96,162],"due":[85],"this":[87,105],"implicit":[88,116,136],"adjustment.":[90],"The":[91],"others":[92],"close":[93,127,158],"these":[94,133],"through":[97],"use":[99],"explicit":[101],"change,":[103],"but":[104],"impedes":[106],"communication":[107],"increases":[109],"performance":[110],"overhead.":[111],"We":[112,149,185],"present":[113],"an":[114],"enhanced":[115],"change":[118,138],"model":[119,181],"(EILCM)":[120],"for":[121,145],"mobile":[122],"that":[125,165,188,212],"can":[126,157],"known":[129,160],"channel":[131],"in":[132],"models":[134],"with":[135,175],"supports":[140],"dynamic":[141],"constraints":[142],"on":[143],"tags":[144],"separation":[146],"duty.":[148],"also":[150,186],"formally":[151],"analyze":[152],"reasons":[154],"why":[155],"EILCM":[156,167,192],"prove":[164,187],"abstract":[166],"property":[172],"noninterference":[174],"declassification":[176],"by":[177],"virtue":[178],"checker":[182],"tool":[183],"FDR.":[184],"problem":[190],"policy":[193],"verification":[194],"is":[195,215],"NP-complete":[196],"propose":[198],"backtrack-based":[200],"search":[201],"algorithm":[202,214],"solve":[204],"problem.":[206],"Experiments":[207],"presented":[209],"show":[211],"effective.":[216]},"counts_by_year":[{"year":2023,"cited_by_count":1}],"updated_date":"2026-05-06T08:25:59.206177","created_date":"2025-10-10T00:00:00"}