Dynamic Observers for the Synthesis of Opaque Systems

DOI10.1007/978-3-642-04761-9_26zbMath1262.68107OpenAlexW2168066002MaRDI QIDQ3648711

Jérémy Dubreil, Franck Cassez, Hervé Marchand

Publication date: 1 December 2009

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-04761-9_26

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Reliability, testing and fault tolerance of networks and computer systems (68M15)

Related Items (8)

Comparative analysis of related notions of opacity in centralized and coordinated architectures ⋮ A general language-based framework for specifying and verifying notions of opacity ⋮ Enforcement and validation (at runtime) of various notions of opacity ⋮ State-based opacity of labeled real-time automata ⋮ Synthesis of opaque systems with static and dynamic masks ⋮ Opacity of discrete event systems and its applications ⋮ Current-state opacity enforcement in discrete event systems under incomparable observations ⋮ Dynamic Observers for the Synthesis of Opaque Systems

Cites Work

• Unnamed Item
• Unnamed Item
• Borel determinacy
• A characterization of the minimum cycle mean in a digraph
• The complexity of mean payoff games on graphs
• Concurrent secrets
• Test Generation for Network Security Rules
• Preserving Secrecy Under Refinement
• Dynamic Observers for the Synthesis of Opaque Systems
• On the synthesis of strategies in infinite games
• Supervisory Control for Opacity
• Model Checking on Trees with Path Equivalences

This page was built for publication: Dynamic Observers for the Synthesis of Opaque Systems