Security and privacy with opacity-based state observation for finite state machine
From MaRDI portal
Publication:6578723
DOI10.1002/ASJC.2570MaRDI QIDQ6578723FDOQ6578723
Authors: Zhipeng Zhang, Cheng-Yi Xia, Sheng-Yong Chen 
Publication date: 25 July 2024
Published in: Asian Journal of Control (Search for Journal in Brave)
Recommendations
- STP-based verification and synthesis of state opacity for logical finite state machines
- Opacity enforcement in discrete event systems using differential privacy
- Strong current-state and initial-state opacity of discrete-event systems
- Verification of initial-state opacity in security applications of discrete event systems
- On-line verification of current-state opacity by Petri nets and integer linear programming
state observationfinite state machineopacitysecurity and privacyInternet of Things (IoT)Boolean STP of matrices
Cites Work
- A Linear Representation of Dynamics of Boolean Networks
- Finite-time stability analysis of stochastic switched Boolean networks with impulsive effect
- Opacity of discrete event systems and its applications
- Synthesis of insertion functions for enforcement of opacity security properties
- Opacity Enforcement Using Nondeterministic Publicly Known Edit Functions
- Verification of Infinite-Step Opacity and Complexity Considerations
- Verification of initial-state opacity in security applications of discrete event systems
- Decompositions of finite games: from weighted inner product to standard inner product
- Sampled-data stabilization of probabilistic Boolean control networks
- On the stabilization of nondeterministic finite automata via static output feedback
- Reachability and controllability analysis of probabilistic finite automata via a novel matrix method
- Stabilization of probabilistic finite automata based on semi-tensor product of matrices
- A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers
- Invariant Subset and Set Stability of Boolean Networks Under Arbitrary Switching Signals
- Complex cyber-physical networks: from cybersecurity to security control
- Current-state opacity enforcement in discrete event systems under incomparable observations
- Reputation-based adaptive adjustment of link weight among individuals promotes the cooperation in spatial social dilemmas
- Title not available (Why is that?)
- A congestion game framework for service chain composition in NFV with function benefit
- Opacity Enforcement for Confidential Robust Control in Linear Cyber-Physical Systems
- Opacity of Nondeterministic Transition Systems: A (Bi)Simulation Relation Approach
- Transforming Opacity Verification to Nonblocking Verification in Modular Systems
- A novel epidemic model considering demographics and intercity commuting on complex dynamical networks
- Minimum time control of large‐scale boolean control networks with constraints
- Stability and stabilization of evolutionary games with time delays via matrix method
- Modeling, reachability and controllability of bounded Petri nets based on semi-tensor product of matrices
Cited In (3)
This page was built for publication: Security and privacy with opacity-based state observation for finite state machine
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6578723)
