Synthesis of insertion functions for enforcement of opacity security properties
From MaRDI portal
Publication:458746
DOI10.1016/j.automatica.2014.02.038zbMath1296.93114OpenAlexW2040603575MaRDI QIDQ458746
Stéphane Lafortune, Yi-Chin Wu
Publication date: 8 October 2014
Published in: Automatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.automatica.2014.02.038
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (22)
Enforcement for infinite-step opacity and K-step opacity via insertion mechanism ⋮ \(k\)-memory-embedded insertion mechanism for opacity enforcement ⋮ Decidability of opacity verification problems in labeled Petri net systems ⋮ A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers ⋮ A general language-based framework for specifying and verifying notions of opacity ⋮ Privacy-preserving co-synthesis against sensor-actuator eavesdropping intruder ⋮ Secret inference and attacktability analysis of discrete event systems ⋮ Game current-state opacity formulation in probabilistic resource automata ⋮ Active opacity of discrete-event systems ⋮ Matrix approach for verification of opacity of partially observed discrete event systems ⋮ Synthesis of obfuscation policies to ensure privacy and utility ⋮ A general approach for optimizing dynamic sensor activation for discrete event systems ⋮ Current-state opacity enforcement in discrete event systems under incomparable observations ⋮ Enforcement of opacity by public and private insertion functions ⋮ Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations ⋮ Supervisory control of discrete-event systems under attacks ⋮ Opacity of networked discrete event systems ⋮ On privacy preserving data release of linear dynamic networks ⋮ Enhancement of opacity for distributed state estimation in cyber-physical systems ⋮ Enforcing current-state opacity through shuffle and deletions of event observations ⋮ Verification and enforcement of strong infinite- and \(k\)-step opacity using state recognizers ⋮ Enforcing opacity of regular predicates on modal transition systems
Uses Software
Cites Work
- Comparative analysis of related notions of opacity in centralized and coordinated architectures
- Synthesis of opaque systems with static and dynamic masks
- Opacity of discrete event systems and its applications
- Enforcement and validation (at runtime) of various notions of opacity
- Introduction to Discrete Event Systems
- Supervisory Control of a Class of Discrete Event Processes
- Supervisory Control for Opacity
- Opacity-Enforcing Supervisory Strategies via State Estimator Constructions
- Unnamed Item
- Unnamed Item
This page was built for publication: Synthesis of insertion functions for enforcement of opacity security properties