Synthesis of opaque systems with static and dynamic masks
type: Item
instance of: scholarly article
title: Synthesis of opaque systems with static and dynamic masks
zbMATH Open document ID: 1247.68161
author: Franck Cassez
author: Jérémy Dubreil
author: H. Marchand
published in: Formal Methods in System Design
publication date: 2012-09-27T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68M15
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 68Q17
zbMATH DE Number: 6087623
zbMATH Keywords: security
zbMATH Keywords: confidentiality property
zbMATH Keywords: opacity
zbMATH Keywords: synthesis
zbMATH Keywords: dynamic observation
MaRDI profile type: Publication
full work available at URL: s10703-012-0141-9
OpenAlex ID: W2001653139
cites work: Preserving Secrecy Under Refinement
cites work: Concurrent secrets
cites work: Automated verification of selected equivalences for security protocols
cites work: Q3602752
cites work: Dynamic Observers for the Synthesis of Opaque Systems
cites work: Test Generation for Network Security Rules
cites work: Supervisory Control for Opacity
cites work: Q4798029
cites work: Characterizing intransitive noninterference for 3-domain security policies with observability
cites work: A characterization of the minimum cycle mean in a digraph
cites work: Borel determinacy
cites work: Q4131648
cites work: On the synthesis of strategies in infinite games
cites work: The complexity of mean payoff games on graphs
DOI: 10.1007/S10703-012-0141-9
description: scientific article; zbMATH DE number 6087623