Pages that link to "Item:Q896497"

The following pages link to Enforcement and validation (at runtime) of various notions of opacity (Q896497):

Displaying 18 items.

• Synthesis of insertion functions for enforcement of opacity security properties (Q458746) (← links)
• Synthesis of obfuscation policies to ensure privacy and utility (Q682359) (← links)
• Enforcement and validation (at runtime) of various notions of opacity (Q896497) (← 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)
• Enforcement of opacity by public and private insertion functions (Q1797032) (← links)
• Enhancement of opacity for distributed state estimation in cyber-physical systems (Q2063862) (← 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)
• Decidability of opacity verification problems in labeled Petri net systems (Q2407162) (← links)
• A novel approach for supervisor synthesis to enforce opacity of discrete event systems (Q2672457) (← links)
• A general language-based framework for specifying and verifying notions of opacity (Q2673762) (← links)
• Strong current-state and initial-state opacity of discrete-event systems (Q2682301) (← links)
• Privacy-preserving co-synthesis against sensor-actuator eavesdropping intruder (Q6100443) (← links)
• Game current-state opacity formulation in probabilistic resource automata (Q6125209) (← links)
• Matrix approach for verification of opacity of partially observed discrete event systems (Q6135550) (← links)
• Verifying weak and strong \(k\)-step opacity in discrete-event systems (Q6165326) (← links)
• Enforcing opacity by insertion functions under multiple energy constraints (Q6198145) (← links)