Security and privacy with opacity-based state observation for finite state machine
From MaRDI portal
(Redirected from Publication:6578723)
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
Cites work
- A congestion game framework for service chain composition in NFV with function benefit
- A Linear Representation of Dynamics of Boolean Networks
- 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
- Complex cyber-physical networks: from cybersecurity to security control
- Current-state opacity enforcement in discrete event systems under incomparable observations
- Decompositions of finite games: from weighted inner product to standard inner product
- Finite-time stability analysis of stochastic switched Boolean networks with impulsive effect
- scientific article; zbMATH DE number 7385949 (Why is no real title available?)
- Invariant Subset and Set Stability of Boolean Networks Under Arbitrary Switching Signals
- Minimum time control of large‐scale boolean control networks with constraints
- Modeling, reachability and controllability of bounded Petri nets based on semi-tensor product of matrices
- On the stabilization of nondeterministic finite automata via static output feedback
- Opacity Enforcement for Confidential Robust Control in Linear Cyber-Physical Systems
- Opacity Enforcement Using Nondeterministic Publicly Known Edit Functions
- Opacity of discrete event systems and its applications
- Opacity of Nondeterministic Transition Systems: A (Bi)Simulation Relation Approach
- Reachability and controllability analysis of probabilistic finite automata via a novel matrix method
- Reputation-based adaptive adjustment of link weight among individuals promotes the cooperation in spatial social dilemmas
- Sampled-data stabilization of probabilistic Boolean control networks
- Stability and stabilization of evolutionary games with time delays via matrix method
- Stabilization of probabilistic finite automata based on semi-tensor product of matrices
- Synthesis of insertion functions for enforcement of opacity security properties
- Transforming Opacity Verification to Nonblocking Verification in Modular Systems
- Verification of Infinite-Step Opacity and Complexity Considerations
- Verification of initial-state opacity in security applications of discrete event systems
Cited in
(5)- Networked opacity for finite state machine with bounded communication delays
- STP-based verification and synthesis of state opacity for logical finite state machines
- Further results for synchronization of two coupled Boolean networks
- A novel scheme based on coarse-grained localization and fine-grained isolation for defending against Sybil attack in low power and lossy networks
- Current-state opacity based on state outputs: definition and verification
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)
