Comparative analysis of related notions of opacity in centralized and coordinated architectures
From MaRDI portal
Publication:373013
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
coordinated architecturecurrent-state opacityinitial-and-final-state opacityinitial-state opacitylanguage-based opacity
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
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
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