Pages that link to "Item:Q2682301"
From MaRDI portal
The following pages link to Strong current-state and initial-state opacity of discrete-event systems (Q2682301):
Displaying 17 items.
- Comparative analysis of related notions of opacity in centralized and coordinated architectures (Q373013) (← links)
- Verification of initial-state opacity in security applications of discrete event systems (Q497279) (← links)
- Opacity of discrete event systems and its applications (Q716123) (← links)
- Infinite-step opacity and \(K\)-step opacity of stochastic discrete-event systems (Q1716666) (← links)
- Current-state opacity enforcement in discrete event systems under incomparable observations (Q1788686) (← links)
- Probabilistic system opacity in discrete event systems (Q1788695) (← links)
- Opacity of networked discrete event systems (Q2053901) (← links)
- Comparing the notions of opacity for discrete-event systems (Q2063098) (← links)
- Verification and enforcement of strong infinite- and \(k\)-step opacity using state recognizers (Q2065174) (← links)
- A framework for current-state opacity under dynamic information release mechanism (Q2125535) (← links)
- Current-state opacity and initial-state opacity of modular discrete event systems (Q5056544) (← links)
- Secure Your Intention: On Notions of Pre-Opacity in Discrete-Event Systems (Q6093198) (← links)
- Verification and enforcement of current-state opacity based on a state space approach (Q6099923) (← links)
- Active opacity of discrete-event systems (Q6134222) (← links)
- Verifying weak and strong \(k\)-step opacity in discrete-event systems (Q6165326) (← links)
- Quantifying opacity of discrete event systems modeled with probabilistic Petri nets (Q6539394) (← links)
- Opacity of discrete-event systems under nondeterministic observation mechanism (Q6580966) (← links)
