{"id":"https://openalex.org/W2346418387","doi":"https://doi.org/10.1109/tc.2015.2458862","title":"Designing and Modeling of Covert Channels in Operating Systems","display_name":"Designing and Modeling of Covert Channels in Operating Systems","publication_year":2015,"publication_date":"2015-07-28","ids":{"openalex":"https://openalex.org/W2346418387","doi":"https://doi.org/10.1109/tc.2015.2458862","mag":"2346418387"},"language":"en","primary_location":{"id":"doi:10.1109/tc.2015.2458862","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tc.2015.2458862","pdf_url":null,"source":{"id":"https://openalex.org/S157670870","display_name":"IEEE Transactions on Computers","issn_l":"0018-9340","issn":["0018-9340","1557-9956","2326-3814"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computers","raw_type":"journal-article"},"type":"article","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/A5063004707","display_name":"Yuqi Lin","orcid":"https://orcid.org/0009-0008-9499-4494"},"institutions":[{"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"]},{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"funder","lineage":["https://openalex.org/I19820366"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Yuqi Lin","raw_affiliation_strings":["Institute of Software, Chinese Academy of Sciences, Beijing, China","[Institute of Software, Chinese Academy of Sciences, Beijing, China]"],"affiliations":[{"raw_affiliation_string":"Institute of Software, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]},{"raw_affiliation_string":"[Institute of Software, Chinese Academy of Sciences, Beijing, China]","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081150177","display_name":"Saif Ur Rehman Malik","orcid":"https://orcid.org/0000-0001-8195-1630"},"institutions":[{"id":"https://openalex.org/I16076960","display_name":"COMSATS University Islamabad","ror":"https://ror.org/00nqqvk19","country_code":"PK","type":"education","lineage":["https://openalex.org/I16076960"]}],"countries":["PK"],"is_corresponding":false,"raw_author_name":"Saif U. R. Malik","raw_affiliation_strings":["COMSATS Institute of Information Technology, Pakistan","COMSATS, Institute of Information Technology, Pakistan"],"affiliations":[{"raw_affiliation_string":"COMSATS Institute of Information Technology, Pakistan","institution_ids":["https://openalex.org/I16076960"]},{"raw_affiliation_string":"COMSATS, Institute of Information Technology, Pakistan","institution_ids":["https://openalex.org/I16076960"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055197093","display_name":"Kashif Bilal","orcid":"https://orcid.org/0000-0002-4381-8094"},"institutions":[{"id":"https://openalex.org/I16076960","display_name":"COMSATS University Islamabad","ror":"https://ror.org/00nqqvk19","country_code":"PK","type":"education","lineage":["https://openalex.org/I16076960"]}],"countries":["PK"],"is_corresponding":false,"raw_author_name":"Kashif Bilal","raw_affiliation_strings":["COMSATS Institute of Information Technology, Pakistan","COMSATS, Institute of Information Technology, Pakistan"],"affiliations":[{"raw_affiliation_string":"COMSATS Institute of Information Technology, Pakistan","institution_ids":["https://openalex.org/I16076960"]},{"raw_affiliation_string":"COMSATS, Institute of Information Technology, Pakistan","institution_ids":["https://openalex.org/I16076960"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5011785079","display_name":"Qiusong Yang","orcid":"https://orcid.org/0000-0001-8099-2035"},"institutions":[{"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"]},{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"funder","lineage":["https://openalex.org/I19820366"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Qiusong Yang","raw_affiliation_strings":["Institute of Software, Chinese Academy of Sciences, Beijing, China","[Institute of Software, Chinese Academy of Sciences, Beijing, China]"],"affiliations":[{"raw_affiliation_string":"Institute of Software, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]},{"raw_affiliation_string":"[Institute of Software, Chinese Academy of Sciences, Beijing, China]","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110372162","display_name":"Yongji Wang","orcid":"https://orcid.org/0000-0001-7472-7489"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"funder","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":"Yongji Wang","raw_affiliation_strings":["State Key Laboratory of Computer Sciences and the National Engineering Research Center for Fundamental Software, Institute of Software, Chinese Academy of Sciences, Beijing, China"],"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Computer Sciences and the National Engineering Research Center for Fundamental Software, Institute of Software, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5003909640","display_name":"Samee U. Khan","orcid":"https://orcid.org/0000-0001-5640-4942"},"institutions":[{"id":"https://openalex.org/I57328836","display_name":"North Dakota State University","ror":"https://ror.org/05h1bnb22","country_code":"US","type":"education","lineage":["https://openalex.org/I57328836"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Samee U. Khan","raw_affiliation_strings":["Department of Electrical and Computer Engineering, North Dakota State University, Fargo, ND","Department of Electrical & Computer Engineering, North Dakota State University, Fargo, ND#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, North Dakota State University, Fargo, ND","institution_ids":["https://openalex.org/I57328836"]},{"raw_affiliation_string":"Department of Electrical & Computer Engineering, North Dakota State University, Fargo, ND#TAB#","institution_ids":["https://openalex.org/I57328836"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5063004707"],"corresponding_institution_ids":["https://openalex.org/I19820366","https://openalex.org/I4210128818"],"apc_list":null,"apc_paid":null,"fwci":3.5608,"has_fulltext":false,"cited_by_count":17,"citation_normalized_percentile":{"value":0.93899714,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"65","issue":"6","first_page":"1706","last_page":"1719"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11598","display_name":"Internet Traffic Analysis and Secure E-voting","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/T11598","display_name":"Internet Traffic Analysis and Secure E-voting","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/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.9998000264167786,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8387846946716309},{"id":"https://openalex.org/keywords/covert-channel","display_name":"Covert channel","score":0.7148648500442505},{"id":"https://openalex.org/keywords/channel","display_name":"Channel (broadcasting)","score":0.4768320620059967},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.47030967473983765},{"id":"https://openalex.org/keywords/decoding-methods","display_name":"Decoding methods","score":0.4531829059123993},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.446757048368454},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.3208181858062744},{"id":"https://openalex.org/keywords/cloud-computing","display_name":"Cloud computing","score":0.20264512300491333},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.13343429565429688}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8387846946716309},{"id":"https://openalex.org/C29024540","wikidata":"https://www.wikidata.org/wiki/Q1476964","display_name":"Covert channel","level":5,"score":0.7148648500442505},{"id":"https://openalex.org/C127162648","wikidata":"https://www.wikidata.org/wiki/Q16858953","display_name":"Channel (broadcasting)","level":2,"score":0.4768320620059967},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.47030967473983765},{"id":"https://openalex.org/C57273362","wikidata":"https://www.wikidata.org/wiki/Q576722","display_name":"Decoding methods","level":2,"score":0.4531829059123993},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.446757048368454},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.3208181858062744},{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"score":0.20264512300491333},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.13343429565429688},{"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/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tc.2015.2458862","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tc.2015.2458862","pdf_url":null,"source":{"id":"https://openalex.org/S157670870","display_name":"IEEE Transactions on Computers","issn_l":"0018-9340","issn":["0018-9340","1557-9956","2326-3814"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computers","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2389016160","display_name":null,"funder_award_id":"KGCX2-YW-174","funder_id":"https://openalex.org/F4320321133","funder_display_name":"Chinese Academy of Sciences"},{"id":"https://openalex.org/G2666542633","display_name":null,"funder_award_id":"KGCX2-YW-125","funder_id":"https://openalex.org/F4320321133","funder_display_name":"Chinese Academy of Sciences"},{"id":"https://openalex.org/G3178695345","display_name":null,"funder_award_id":"61305054","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G3600054615","display_name":null,"funder_award_id":"61170072","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6216656654","display_name":null,"funder_award_id":"XDA06010600","funder_id":"https://openalex.org/F4320321133","funder_display_name":"Chinese Academy of Sciences"},{"id":"https://openalex.org/G8283532230","display_name":null,"funder_award_id":"61303057","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/F4320321133","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":30,"referenced_works":["https://openalex.org/W1515231954","https://openalex.org/W1959279725","https://openalex.org/W1988079752","https://openalex.org/W1996109622","https://openalex.org/W2032925129","https://openalex.org/W2037322308","https://openalex.org/W2045234005","https://openalex.org/W2048702750","https://openalex.org/W2064483023","https://openalex.org/W2074701325","https://openalex.org/W2099137371","https://openalex.org/W2101834106","https://openalex.org/W2102443632","https://openalex.org/W2117590013","https://openalex.org/W2119028650","https://openalex.org/W2131157020","https://openalex.org/W2131726714","https://openalex.org/W2132177566","https://openalex.org/W2139395674","https://openalex.org/W2140684357","https://openalex.org/W2151185692","https://openalex.org/W2157462422","https://openalex.org/W2162420120","https://openalex.org/W2385896398","https://openalex.org/W4243947286","https://openalex.org/W4285719527","https://openalex.org/W6640855153","https://openalex.org/W6677591281","https://openalex.org/W6683978582","https://openalex.org/W7036941230"],"related_works":["https://openalex.org/W2404647514","https://openalex.org/W4247536566","https://openalex.org/W1667647204","https://openalex.org/W2018477250","https://openalex.org/W3119814709","https://openalex.org/W4241418540","https://openalex.org/W1508895727","https://openalex.org/W2725786787","https://openalex.org/W4283160672","https://openalex.org/W1590965489"],"abstract_inverted_index":{"Covert":[0],"channels":[1,29],"are":[2,126],"widely":[3],"considered":[4],"as":[5,17],"a":[6,51],"major":[7,131],"risk":[8],"of":[9,26,46,102,122,198,228],"information":[10,59],"leakage":[11],"in":[12,70,135,167,186,202,211,231],"various":[13],"operating":[14],"systems,":[15],"such":[16],"desktop,":[18],"cloud,":[19],"and":[20,39,65,80,99,133,154,169,179,196,209,219,234],"mobile":[21],"systems.":[22],"The":[23,160],"existing":[24],"works":[25],"modeling":[27],"covert":[28,47,83,103,113,143],"have":[30],"mainly":[31],"focused":[32],"on":[33],"using":[34],"finite":[35],"state":[36],"machines":[37],"(FSMs)":[38],"their":[40],"transforms":[41],"to":[42,78,95,109,128,182],"describe":[43],"the":[44,61,71,82,90,97,107,111,117,120,123,130,136,164,173,194,207,226,229],"process":[45],"channel":[48,114,144,149],"transmission.":[49],"However,":[50],"FSM":[52],"is":[53],"rather":[54],"an":[55,187],"abstract":[56],"model,":[57,72],"where":[58],"about":[60],"shared":[62],"resource,":[63],"synchronization,":[64],"encoding/decoding":[66],"cannot":[67],"be":[68],"presented":[69],"making":[73],"it":[74],"difficult":[75],"for":[76],"researchers":[77],"realize":[79],"analyze":[81],"channels.":[84,104],"In":[85],"this":[86],"paper,":[87],"we":[88,139,205],"use":[89,106],"high-level":[91],"Petri":[92],"Nets":[93],"(HLPN)":[94],"model":[96,110,125,153,162,175],"structural":[98],"behavioral":[100],"properties":[101],"We":[105],"HLPN":[108,124],"classic":[112],"protocol.":[115,137],"Moreover,":[116],"results":[118],"from":[119],"analysis":[121],"used":[127],"highlight":[129],"shortcomings":[132],"interferences":[134],"Furthermore,":[138],"propose":[140],"two":[141,148],"new":[142],"models,":[145],"namely:":[146],"(a)":[147,215],"transmission":[150,185],"protocol":[151,157],"(TCTP)":[152],"(b)":[155,217],"self-adaptive":[156],"(SAP)":[158],"model.":[159],"TCTP":[161,208],"circumvents":[163],"mutual":[165],"inferences":[166],"encoding":[168],"synchronization":[170],"operations;":[171],"whereas":[172],"SAP":[174,210],"uses":[176],"sleeping":[177],"time":[178],"redundancy":[180],"check":[181],"ensure":[183],"correct":[184],"environment":[188],"with":[189],"strong":[190],"noise.":[191],"To":[192],"demonstrate":[193],"correctness":[195],"usability":[197],"our":[199],"proposed":[200],"models":[201,230],"heterogeneous":[203],"environments,":[204],"implement":[206],"three":[212],"different":[213],"systems:":[214],"Linux,":[216],"Xen,":[218],"(c)":[220],"Fiasco.OC.":[221],"Our":[222],"implementation":[223],"also":[224],"indicates":[225],"practicability":[227],"heterogeneous,":[232],"scalable":[233],"flexible":[235],"environments.":[236]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2021,"cited_by_count":3},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":5},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":2}],"updated_date":"2026-04-09T08:11:56.329763","created_date":"2025-10-10T00:00:00"}