{"id":"https://openalex.org/W4403598540","doi":"https://doi.org/10.1109/tac.2024.3484609","title":"Assessment of Multilevel Intransitive Noninterference by Nonblocking Analysis","display_name":"Assessment of Multilevel Intransitive Noninterference by Nonblocking Analysis","publication_year":2024,"publication_date":"2024-10-21","ids":{"openalex":"https://openalex.org/W4403598540","doi":"https://doi.org/10.1109/tac.2024.3484609"},"language":"en","primary_location":{"id":"doi:10.1109/tac.2024.3484609","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2024.3484609","pdf_url":null,"source":{"id":"https://openalex.org/S184954342","display_name":"IEEE Transactions on Automatic Control","issn_l":"0018-9286","issn":["0018-9286","1558-2523","2334-3303"],"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 Automatic Control","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/A5045934176","display_name":"Wenjing Zhong","orcid":"https://orcid.org/0000-0002-0683-0684"},"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":true,"raw_author_name":"Wenjing Zhong","raw_affiliation_strings":["School of Electro-Mechanical Engineering, Xidian University, Xi'an, China","School of Electro-Mechanical Engineering, Xidian University, Xi'an, Shaanxi, China"],"affiliations":[{"raw_affiliation_string":"School of Electro-Mechanical Engineering, Xidian University, Xi'an, China","institution_ids":["https://openalex.org/I149594827"]},{"raw_affiliation_string":"School of Electro-Mechanical Engineering, Xidian University, Xi'an, Shaanxi, China","institution_ids":["https://openalex.org/I149594827"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101603452","display_name":"Jinjing Zhao","orcid":"https://orcid.org/0000-0001-5404-6002"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jinjing Zhao","raw_affiliation_strings":["National Key Laboratory of Science and Technology on Information System Security, Beijing, China"],"affiliations":[{"raw_affiliation_string":"National Key Laboratory of Science and Technology on Information System Security, Beijing, China","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5080332732","display_name":"Hesuan Hu","orcid":"https://orcid.org/0000-0002-8724-2058"},"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":"Hesuan Hu","raw_affiliation_strings":["School of Electro-Mechanical Engineering, Xidian University, Xi'an, China","School of Electro-Mechanical Engineering, Xidian University, Xi'an, Shaanxi, China"],"affiliations":[{"raw_affiliation_string":"School of Electro-Mechanical Engineering, Xidian University, Xi'an, China","institution_ids":["https://openalex.org/I149594827"]},{"raw_affiliation_string":"School of Electro-Mechanical Engineering, Xidian University, Xi'an, Shaanxi, China","institution_ids":["https://openalex.org/I149594827"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5045934176"],"corresponding_institution_ids":["https://openalex.org/I149594827"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.29146716,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"70","issue":"5","first_page":"2902","last_page":"2917"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10986","display_name":"RFID technology advancements","score":0.12020000070333481,"subfield":{"id":"https://openalex.org/subfields/2214","display_name":"Media Technology"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10986","display_name":"RFID technology advancements","score":0.12020000070333481,"subfield":{"id":"https://openalex.org/subfields/2214","display_name":"Media Technology"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12486","display_name":"Food Supply Chain Traceability","score":0.11869999766349792,"subfield":{"id":"https://openalex.org/subfields/1106","display_name":"Food Science"},"field":{"id":"https://openalex.org/fields/11","display_name":"Agricultural and Biological Sciences"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/interference","display_name":"Interference (communication)","score":0.571864664554596},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5674809217453003},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.24110496044158936}],"concepts":[{"id":"https://openalex.org/C32022120","wikidata":"https://www.wikidata.org/wiki/Q797225","display_name":"Interference (communication)","level":3,"score":0.571864664554596},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5674809217453003},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.24110496044158936},{"id":"https://openalex.org/C127162648","wikidata":"https://www.wikidata.org/wiki/Q16858953","display_name":"Channel (broadcasting)","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tac.2024.3484609","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2024.3484609","pdf_url":null,"source":{"id":"https://openalex.org/S184954342","display_name":"IEEE Transactions on Automatic Control","issn_l":"0018-9286","issn":["0018-9286","1558-2523","2334-3303"],"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 Automatic Control","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities","score":0.4300000071525574}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":33,"referenced_works":["https://openalex.org/W120843661","https://openalex.org/W1474311139","https://openalex.org/W1484913512","https://openalex.org/W1764928511","https://openalex.org/W1996109622","https://openalex.org/W2031373068","https://openalex.org/W2037457229","https://openalex.org/W2047989760","https://openalex.org/W2061598829","https://openalex.org/W2097743305","https://openalex.org/W2139526178","https://openalex.org/W2158302348","https://openalex.org/W2407994015","https://openalex.org/W2479706502","https://openalex.org/W2538443008","https://openalex.org/W2601738991","https://openalex.org/W2759976471","https://openalex.org/W2769121349","https://openalex.org/W2785627758","https://openalex.org/W2808505761","https://openalex.org/W2808785738","https://openalex.org/W2963995273","https://openalex.org/W2968762186","https://openalex.org/W3090463444","https://openalex.org/W3131435727","https://openalex.org/W3157647491","https://openalex.org/W3186623467","https://openalex.org/W3206800366","https://openalex.org/W4206810716","https://openalex.org/W4220734997","https://openalex.org/W4225962441","https://openalex.org/W4225999444","https://openalex.org/W4323688049"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"Security":[0],"of":[1,7,21,49,139,149,158,185],"system":[2,22],"behavior":[3],"is":[4,12,25,40,46,92,119,134,154],"a":[5,26,47,84,151,194],"kind":[6],"information":[8,31],"flow":[9,32],"security,":[10,33],"which":[11,35],"achieved":[13],"by":[14,65],"confusing":[15],"the":[16,19,107,112,137,155,183],"intruders":[17],"via":[18,59,94],"indistinguishability":[20],"behaviors.":[23],"Noninterference":[24],"typical":[27],"notion":[28],"to":[29,52,122,143,167],"describe":[30,123],"for":[34,89,100],"multilevel":[36],"intransitive":[37],"noninterference":[38,125],"(MINI)":[39],"an":[41,173],"advanced":[42],"variant.":[43],"Since":[44],"there":[45],"lack":[48],"rigorous":[50],"approach":[51],"assessing":[53],"MINI,":[54],"this":[55,178],"article":[56],"achieves":[57],"so":[58,187],"observability":[60],"theory.":[61],"For":[62],"systems":[63],"modeled":[64],"labeled":[66],"Petri":[67],"nets":[68],"(LPNs),":[69],"two":[70],"MINI":[71,75,79,140,165,189,201],"properties,":[72],"i.e.,":[73],"positive":[74],"(PMINI)":[76],"and":[77,86,102,111,131,199],"bipolar":[78],"(BMINI),":[80],"are":[81,104],"considered.":[82],"First,":[83],"necessary":[85,130],"sufficient":[87,132],"condition":[88,133],"their":[90],"assessment":[91,141,166,205],"established":[93,135],"language":[95],"equivalence.":[96],"Language":[97],"equivalence":[98,110],"analyses":[99],"PMINI":[101],"BMINI":[103],"based":[105],"on":[106],"existing":[108],"trace":[109],"proposed":[113],"INI":[114,117],"bisimulation,":[115],"respectively.":[116],"bisimulation":[118],"more":[120],"comprehensive":[121],"negative":[124],"than":[126],"bisimulation.":[127],"Second,":[128],"another":[129],"after":[136],"transformation":[138,153],"problem":[142,152],"nonblocking":[144,159],"analysis":[145],"problem.":[146],"The":[147],"core":[148],"such":[150],"stepwise":[156,162,179],"construction":[157,163,180],"analyzer.":[160],"This":[161],"allows":[164],"proceed":[168],"online":[169,198],"before":[170],"terminating":[171],"at":[172],"appropriate":[174],"time.":[175],"In":[176],"addition,":[177],"fully":[181],"employs":[182],"concurrency":[184],"LPNs":[186],"that":[188],"can":[190,203],"be":[191],"assessed":[192],"in":[193],"multithreaded":[195,200],"way.":[196],"Both":[197],"assessments":[202],"improve":[204],"efficiency.":[206]},"counts_by_year":[],"updated_date":"2025-12-27T23:08:20.325037","created_date":"2025-10-10T00:00:00"}