Enforcement of opacity by public and private insertion functions
type: Item
instance of: scholarly article
title: Enforcement of opacity by public and private insertion functions
zbMATH Open document ID: 1400.93187
author: Yiding Ji
author: Yi-Chin Wu
author: Stéphane Lafortune
published in: Automatica
publication date: 2018-10-17T00:00:00Z
Mathematics Subject Classification ID: 93C65
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 93-04
Mathematics Subject Classification ID: 93B07
zbMATH DE Number: 6957785
zbMATH Keywords: discrete event systems
zbMATH Keywords: privacy
zbMATH Keywords: opacity
zbMATH Keywords: opacity enforcement
zbMATH Keywords: insertion function
describes a project that uses: UMDES
MaRDI profile type: Publication
full work available at URL: j.automatica.2018.03.041
OpenAlex ID: W2796125030
cites work: Learning regular sets from queries and counterexamples
cites work: Probabilistic opacity for Markov decision processes
cites work: Quantifying opacity
cites work: Modelling opacity using Petri nets
cites work: Introduction to Discrete Event Systems
cites work: Synthesis of opaque systems with static and dynamic masks
cites work: Diagnosis and opacity problems for infinite state systems modeled by recursive tile systems
cites work: Enforcing opacity of regular predicates on modal transition systems
cites work: Supervisory Control for Opacity
cites work: Opacity of discrete event systems and its applications
cites work: Opacity-Enforcing Supervisory Strategies via State Estimator Constructions
cites work: Verification of Infinite-Step Opacity and Complexity Considerations
cites work: Verification of initial-state opacity in security applications of discrete event systems
cites work: Current-State Opacity Formulations in Probabilistic Finite Automata
cites work: Verification of State-Based Opacity Using Petri Nets
cites work: Comparative analysis of related notions of opacity in centralized and coordinated architectures
cites work: Synthesis of insertion functions for enforcement of opacity security properties
cites work: Synthesis of Optimal Insertion Functions for Opacity Enforcement
cites work: Synthesis of obfuscation policies to ensure privacy and utility
cites work: A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event Systems
cites work: A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers
cites work: Enforcement and validation (at runtime) of various notions of opacity
DOI: 10.1016/J.AUTOMATICA.2018.03.041
description: scientific article; zbMATH DE number 6957785