{"id":"https://openalex.org/W4402978389","doi":"https://doi.org/10.1109/tcss.2024.3456589","title":"Semantics-Based Noninterference Assessment in Cyber-Physical Systems","display_name":"Semantics-Based Noninterference Assessment in Cyber-Physical Systems","publication_year":2024,"publication_date":"2024-09-30","ids":{"openalex":"https://openalex.org/W4402978389","doi":"https://doi.org/10.1109/tcss.2024.3456589"},"language":"en","primary_location":{"id":"doi:10.1109/tcss.2024.3456589","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcss.2024.3456589","pdf_url":null,"source":{"id":"https://openalex.org/S2490693980","display_name":"IEEE Transactions on Computational Social Systems","issn_l":"2329-924X","issn":["2329-924X","2373-7476"],"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 Computational Social Systems","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, Shaanxi, China"],"affiliations":[{"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, Shaanxi, China"],"affiliations":[{"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":1.6284,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.87769689,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":95,"max":96},"biblio":{"volume":"12","issue":"4","first_page":"1415","last_page":"1429"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10734","display_name":"Information and Cyber Security","score":0.98089998960495,"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"}},"topics":[{"id":"https://openalex.org/T10734","display_name":"Information and Cyber Security","score":0.98089998960495,"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"}},{"id":"https://openalex.org/T10917","display_name":"Smart Grid Security and Resilience","score":0.9510999917984009,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"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/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9351999759674072,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/cyber-physical-system","display_name":"Cyber-physical system","score":0.7323184013366699},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6102611422538757},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5705096125602722},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.42593610286712646},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3516847491264343},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.3250176012516022},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.10809186100959778}],"concepts":[{"id":"https://openalex.org/C179768478","wikidata":"https://www.wikidata.org/wiki/Q1120057","display_name":"Cyber-physical system","level":2,"score":0.7323184013366699},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6102611422538757},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5705096125602722},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.42593610286712646},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3516847491264343},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.3250176012516022},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.10809186100959778}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tcss.2024.3456589","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcss.2024.3456589","pdf_url":null,"source":{"id":"https://openalex.org/S2490693980","display_name":"IEEE Transactions on Computational Social Systems","issn_l":"2329-924X","issn":["2329-924X","2373-7476"],"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 Computational Social Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":42,"referenced_works":["https://openalex.org/W1474311139","https://openalex.org/W1484913512","https://openalex.org/W1972809722","https://openalex.org/W1996109622","https://openalex.org/W2003070900","https://openalex.org/W2031373068","https://openalex.org/W2047989760","https://openalex.org/W2097743305","https://openalex.org/W2139526178","https://openalex.org/W2143369153","https://openalex.org/W2158302348","https://openalex.org/W2320844599","https://openalex.org/W2559404560","https://openalex.org/W2580506059","https://openalex.org/W2613352518","https://openalex.org/W2759976471","https://openalex.org/W2769121349","https://openalex.org/W2785627758","https://openalex.org/W2806501132","https://openalex.org/W2808505761","https://openalex.org/W2808785738","https://openalex.org/W2885459132","https://openalex.org/W2886039825","https://openalex.org/W2963893085","https://openalex.org/W2992174394","https://openalex.org/W2993138519","https://openalex.org/W3016796767","https://openalex.org/W3028908275","https://openalex.org/W3036606521","https://openalex.org/W3046742326","https://openalex.org/W3094288436","https://openalex.org/W3131435727","https://openalex.org/W3183415082","https://openalex.org/W3210867448","https://openalex.org/W4206646158","https://openalex.org/W4206810716","https://openalex.org/W4224932126","https://openalex.org/W4246075700","https://openalex.org/W4292387506","https://openalex.org/W4313644177","https://openalex.org/W4319342027","https://openalex.org/W4385833452"],"related_works":["https://openalex.org/W3004173571","https://openalex.org/W2546638913","https://openalex.org/W2209816623","https://openalex.org/W2968885840","https://openalex.org/W3017360834","https://openalex.org/W2008822734","https://openalex.org/W3135700974","https://openalex.org/W4313307484","https://openalex.org/W2086962923","https://openalex.org/W2963445270"],"abstract_inverted_index":{"Event-aware":[0,13],"information":[1],"flow":[2],"security":[3,17,175],"in":[4,153],"cyber\u2013physical":[5],"systems":[6],"(CPSs)":[7],"emphasizes":[8],"the":[9,28,65,89,95,103,128,139,146,160,166,173,186,192],"correlation":[10],"among":[11],"events.":[12],"noninterference":[14,30,93,108,115,162],"is":[15,35,182],"a":[16,23,36,47,179],"property":[18],"capable":[19],"to":[20,145,171,184],"describe":[21],"such":[22,46],"correlation.":[24],"In":[25,84],"light":[26],"of":[27,67,74,91,106,131,142,148,151,176,188,194],"event-aware":[29,174],"assessment":[31,104,140,163],"problem,":[32],"system":[33],"modeling":[34,52,68],"common":[37],"means,":[38],"and":[39,100,117,134,168,191],"many":[40],"studies":[41],"have":[42],"been":[43],"done":[44],"on":[45,102],"problem":[48,105],"by":[49,80,98,111],"using":[50],"formal":[51,129],"tools,":[53],"i.e.,":[54],"Petri":[55],"nets":[56],"(PNs),":[57],"at":[58],"present.":[59],"However,":[60],"classical":[61],"PNs":[62,82],"suffer":[63],"from":[64],"lack":[66],"for":[69,94],"patterns":[70],"with":[71],"semantic":[72,149],"sharing":[73,150],"events,":[75],"which":[76],"can":[77],"be":[78],"modeled":[79,97],"labeled":[81],"(LPNs).":[83],"this":[85,123,156],"article,":[86],"we":[87,125,137,158],"present":[88],"concept":[90],"semantics-based":[92,107,112,132,161],"CPSs":[96],"LPNs":[99],"focus":[101],"properties":[109],"represented":[110],"strong":[113],"nondeterministic":[114],"(SNNI)":[116],"extended":[118],"bisimulation":[119],"SNNI":[120,133],"(EBSNNI).":[121],"To":[122],"end,":[124],"first":[126],"give":[127],"definitions":[130],"EBSNNI.":[135],"Then,":[136],"analyze":[138],"mechanisms":[141],"them":[143],"according":[144],"characteristics":[147],"events":[152],"LPNs.":[154],"On":[155],"basis,":[157],"provide":[159],"method":[164],"involving":[165],"coarse":[167],"fine":[169],"assessments":[170],"reveal":[172],"CPSs.":[177],"Finally,":[178],"case":[180],"study":[181],"provided":[183],"explain":[185],"significance":[187],"our":[189,195],"research":[190],"effectiveness":[193],"method.":[196]},"counts_by_year":[{"year":2025,"cited_by_count":2}],"updated_date":"2025-12-27T23:08:20.325037","created_date":"2025-10-10T00:00:00"}