Work

Semantics-Based Noninterference Assessment in Cyber-Physical Systems

Year: 2024

Type: article

Source: IEEE Transactions on Computational Social Systems

DOI: 10.1109/tcss.2024.3456589

Authors: Wenjing Zhong, Jinjing Zhao, Hesuan Hu

Institution: Xidian University

Language: English

Topic: Petri Nets in System Modeling

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funders: National Natural Science Foundation of China, Program for New Century Excellent Talents in University, Fundamental Research Funds for the Central Universities

Awards: G2149364436, G3306108525, G3912579466, G426835721, G6308466161, G8305363616, G8411548885

OpenAlex ID: W4402978389

FWCI: 0.391

Cites: 42

Cited by: 2

Related to: 10