Pages that link to "Item:Q458746"

The following pages link to Synthesis of insertion functions for enforcement of opacity security properties (Q458746):

Displaying 21 items.

• Synthesis of obfuscation policies to ensure privacy and utility (Q682359) (← links)
• \(k\)-memory-embedded insertion mechanism for opacity enforcement (Q826781) (← 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)
• Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations (Q1797083) (← links)
• Opacity of networked discrete event systems (Q2053901) (← links)
• Enhancement of opacity for distributed state estimation in cyber-physical systems (Q2063862) (← links)
• Enforcing current-state opacity through shuffle and deletions of event observations (Q2065172) (← links)
• Verification and enforcement of strong infinite- and \(k\)-step opacity using state recognizers (Q2065174) (← links)
• Enforcement for infinite-step opacity and K-step opacity via insertion mechanism (Q2125498) (← links)
• A general approach for optimizing dynamic sensor activation for discrete event systems (Q2280709) (← links)
• Supervisory control of discrete-event systems under attacks (Q2292112) (← links)
• On privacy preserving data release of linear dynamic networks (Q2307532) (← links)
• Enforcing opacity of regular predicates on modal transition systems (Q2348369) (← links)
• Decidability of opacity verification problems in labeled Petri net systems (Q2407162) (← links)
• A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers (Q2407182) (← links)
• A general language-based framework for specifying and verifying notions of opacity (Q2673762) (← links)
• Privacy-preserving co-synthesis against sensor-actuator eavesdropping intruder (Q6100443) (← links)
• Secret inference and attacktability analysis of discrete event systems (Q6122243) (← 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)