Enforcement and validation (at runtime) of various notions of opacity
type: Item
instance of: scholarly article
title: Enforcement and validation (at runtime) of various notions of opacity
zbMATH Open document ID: 1400.94143
author: Yliès Falcone
author: H. Marchand
published in: Discrete Event Dynamic Systems
publication date: 2015-12-09T00:00:00Z
full work available at URL: main.pdf
Mathematics Subject Classification ID: 94A60
zbMATH DE Number: 6518611
zbMATH Keywords: opacity
zbMATH Keywords: \(K\)-step opacity
zbMATH Keywords: runtime verification
zbMATH Keywords: runtime enforcement
describes a project that uses: UMDES
describes a project that uses: TAKOS
MaRDI profile type: Publication
OpenAlex ID: W1976202267
cites work: Preserving Secrecy Under Refinement
cites work: Concurrent secrets
cites work: Dynamic Observers for the Synthesis of Opaque Systems
cites work: Supervisory Control for Opacity
cites work: Verification of initial-state opacity in security applications of discrete event systems
cites work: Runtime enforcement monitors: Composition, synthesis, and enforcement abilities
cites work: Q4472252
cites work: A brief account of runtime verification
cites work: Enforcing Non-safety Security Policies with Program Monitors
cites work: Verification of Infinite-Step Opacity and Complexity Considerations
cites work: Opacity-Enforcing Supervisory Strategies via State Estimator Constructions
DOI: 10.1007/S10626-014-0196-4
description: scientific article; zbMATH DE number 6518611