Checking Non-Interference Based on Unfolding Techniques of Petri Nets
2024 International Conference on Networking, Sensing and Control (ICNSC)（2024）
Key words
information security,non-interference,Petri net,unfolding techniques
AI Read Science
Must-Reading Tree
Example
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined