Enforcement and validation (at runtime) of various notions of opacity
From MaRDI portal
(Redirected from Publication:896497)
Recommendations
- Verifying weak and strong \(k\)-step opacity in discrete-event systems
- Comparing the notions of opacity for discrete-event systems
- A general language-based framework for specifying and verifying notions of opacity
- Verification and enforcement of strong infinite- and \(k\)-step opacity using state recognizers
- Synthesis of insertion functions for enforcement of opacity security properties
Cites work
- scientific article; zbMATH DE number 2080059 (Why is no real title available?)
- A brief account of runtime verification
- Concurrent secrets
- Dynamic Observers for the Synthesis of Opaque Systems
- Enforcement and validation (at runtime) of various notions of opacity
- Enforcing non-safety security policies with program monitors
- Opacity-Enforcing Supervisory Strategies via State Estimator Constructions
- Preserving Secrecy Under Refinement
- Runtime enforcement monitors: Composition, synthesis, and enforcement abilities
- Supervisory Control for Opacity
- Verification of Infinite-Step Opacity and Complexity Considerations
- Verification of initial-state opacity in security applications of discrete event systems
Cited in
(27)- Enforcement and validation (at runtime) of various notions of opacity
- A framework for current-state opacity under dynamic information release mechanism
- Process opacity for timed process algebra
- Strong current-state and initial-state opacity of discrete-event systems
- Verifying weak and strong \(k\)-step opacity in discrete-event systems
- Decidability of opacity verification problems in labeled Petri net systems
- Simulation opacity
- Matrix approach for verification of opacity of partially observed discrete event systems
- Opacity of discrete-event systems under nondeterministic observation mechanism
- Enforcing opacity by insertion functions under multiple energy constraints
- \(k\)-memory-embedded insertion mechanism for opacity enforcement
- Synthesis of obfuscation policies to ensure privacy and utility
- Infinite-step opacity and \(K\)-step opacity of stochastic discrete-event systems
- Infinite- and \(K\)-step opacity verification of discrete-event systems under nondeterministic observations
- Enforcement of opacity by public and private insertion functions
- Enforcing opacity of regular predicates on modal transition systems
- Enhancement of opacity for distributed state estimation in cyber-physical systems
- Verification and enforcement of strong infinite- and \(k\)-step opacity using state recognizers
- Current-state opacity enforcement in discrete event systems under incomparable observations
- Opacity Enforcement via Attribute-Based Edit Functions in the Presence of an Intended Receiver
- A novel approach for supervisor synthesis to enforce opacity of discrete event systems
- A general language-based framework for specifying and verifying notions of opacity
- Active opacity of discrete-event systems
- Privacy-preserving co-synthesis against sensor-actuator eavesdropping intruder
- Compositional and Abstraction-Based Approach for Synthesis of Edit Functions for Opacity Enforcement
- Game current-state opacity formulation in probabilistic resource automata
- Synthesis of insertion functions for enforcement of opacity security properties
This page was built for publication: Enforcement and validation (at runtime) of various notions of opacity
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q896497)
