Comparative analysis of related notions of opacity in centralized and coordinated architectures

DOI10.1007/s10626-012-0145-zzbMath1272.93084OpenAlexW2037457229MaRDI QIDQ373013

Stéphane Lafortune, Yi-Chin Wu

Publication date: 21 October 2013

Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10626-012-0145-z

zbMATH Keywords

coordinated architecturecurrent-state opacityinitial-and-final-state opacityinitial-state opacitylanguage-based opacity

Mathematics Subject Classification ID

Related Items (36)

An optimization-based approach to assess non-interference in labeled and bounded Petri net systems ⋮ Enforcement for infinite-step opacity and K-step opacity via insertion mechanism ⋮ Verification of \(K\)-step and infinite-step opacity of bounded labeled Petri nets ⋮ A framework for current-state opacity under dynamic information release mechanism ⋮ \(k\)-memory-embedded insertion mechanism for opacity enforcement ⋮ Current-state opacity and initial-state opacity of modular discrete event systems ⋮ Decidability of opacity verification problems in labeled Petri net systems ⋮ A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers ⋮ Initial-state detectability and initial-state opacity of unambiguous weighted automata ⋮ A general language-based framework for specifying and verifying notions of opacity ⋮ Verification and enforcement of current-state opacity based on a state space approach ⋮ Strong current-state and initial-state opacity of discrete-event systems ⋮ State-based opacity of labeled real-time automata ⋮ Game current-state opacity formulation in probabilistic resource automata ⋮ Active opacity of discrete-event systems ⋮ Matrix approach for verification of opacity of partially observed discrete event systems ⋮ Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques ⋮ Information control in networked discrete event systems and its application to battery management systems ⋮ Privacy and safety analysis of timed stochastic discrete event systems using Markovian trajectory-observers ⋮ Infinite-step opacity and \(K\)-step opacity of stochastic discrete-event systems ⋮ Synthesis of insertion functions for enforcement of opacity security properties ⋮ Current-state opacity modelling and verification in partially observed Petri nets ⋮ Verification of C-detectability using Petri nets ⋮ Current-state opacity enforcement in discrete event systems under incomparable observations ⋮ Probabilistic system opacity in discrete event systems ⋮ Enforcement of opacity by public and private insertion functions ⋮ On-line verification of current-state opacity by Petri nets and integer linear programming ⋮ Relative predictability of failure event occurrences and its opacity-based test algorithm ⋮ Opacity of networked discrete event systems ⋮ Comparing the notions of opacity for discrete-event systems ⋮ Enforcing current-state opacity through shuffle and deletions of event observations ⋮ Verification and enforcement of strong infinite- and \(k\)-step opacity using state recognizers ⋮ Online verification of \(K\)-step opacity by Petri nets in centralized and decentralized structures ⋮ Optimization-based assessment of initial-state opacity in Petri nets ⋮ Using subobservers to synthesize opacity-enforcing supervisors ⋮ Diagnosis and opacity problems for infinite state systems modeled by recursive tile systems

Uses Software

• UMDES

Cites Work

• Unnamed Item
• Opacity of discrete event systems and its applications
• On observability of discrete-event systems
• The dining cryptographers problem: Unconditional sender and recipient untraceability
• Coordinated decentralized protocols for failure diagnosis of discrete event systems
• Concurrent secrets
• Introduction to Discrete Event Systems
• Preserving Secrecy Under Refinement
• Dynamic Observers for the Synthesis of Opaque Systems
• Diagnosability of discrete-event systems
• Supervisory Control for Opacity
• CSP and anonymity

This page was built for publication: Comparative analysis of related notions of opacity in centralized and coordinated architectures