Security and privacy with opacity-based state observation for finite state machine

Cites Work

Unnamed Item
Synthesis of insertion functions for enforcement of opacity security properties
Verification of initial-state opacity in security applications of discrete event systems
Opacity of discrete event systems and its applications
Stabilization of probabilistic finite automata based on semi-tensor product of matrices
Sampled-data stabilization of probabilistic Boolean control networks
Current-state opacity enforcement in discrete event systems under incomparable observations
Finite-time stability analysis of stochastic switched Boolean networks with impulsive effect
Reputation-based adaptive adjustment of link weight among individuals promotes the cooperation in spatial social dilemmas
On the stabilization of nondeterministic finite automata via static output feedback
Complex cyber-physical networks: from cybersecurity to security control
A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers
A novel epidemic model considering demographics and intercity commuting on complex dynamical networks
A congestion game framework for service chain composition in NFV with function benefit
Invariant Subset and Set Stability of Boolean Networks Under Arbitrary Switching Signals
A Linear Representation of Dynamics of Boolean Networks
Opacity Enforcement for Confidential Robust Control in Linear Cyber-Physical Systems
Transforming Opacity Verification to Nonblocking Verification in Modular Systems
Minimum time control of large‐scale boolean control networks with constraints
Reachability and controllability analysis of probabilistic finite automata via a novel matrix method
Stability and stabilization of evolutionary games with time delays via matrix method
Decompositions of finite games: From weighted inner product to standard inner product
Opacity Enforcement Using Nondeterministic Publicly Known Edit Functions
Opacity of Nondeterministic Transition Systems: A (Bi)Simulation Relation Approach
Verification of Infinite-Step Opacity and Complexity Considerations
Modeling, reachability and controllability of bounded Petri nets based on semi-tensor product of matrices