Non-interference assessment in colored net systems via integer linear programming

DOI10.1016/j.ins.2023.120027MaRDI QIDQ6193462

Hesuan Hu, Wenjing Zhong, Jinjing Zhao

Publication date: 13 February 2024

Published in: Information Sciences (Search for Journal in Brave)

zbMATH Keywords

integer linear programmingnon-interferenceinformation leakcolored net systems (CNSs)

Mathematics Subject Classification ID

Computer science (68-XX) Systems theory; control (93-XX)

Cites Work

• On \(\mathcal K\)-diagnosability of Petri nets via integer linear programming
• State-based fault diagnosis of discrete-event systems with partially observable outputs
• Opacity of networked discrete event systems
• Improvements in unfolding of colored Petri nets
• A Causal View on Non-Interference*
• Modifying Security Policies for the Satisfaction of Intransitive Non-Interference
• Opacity of Nondeterministic Transition Systems: A (Bi)Simulation Relation Approach
• Control and synthesis of non-interferent timed systems
• Characterizing intransitive noninterference for 3-domain security policies with observability
• Lectures on Concurrency and Petri Nets

This page was built for publication: Non-interference assessment in colored net systems via integer linear programming