Synthesis of insertion functions for enforcement of opacity security properties

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

zbMATH Keywords

confidencefinite-state automatadiscrete event systemsopacitynon-secret behavior

Mathematics Subject Classification ID

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

• UMDES

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