Pages that link to "Item:Q373013"

The following pages link to Comparative analysis of related notions of opacity in centralized and coordinated architectures (Q373013):

Displaying 35 items.

• Synthesis of insertion functions for enforcement of opacity security properties (Q458746) (← links)
• \(k\)-memory-embedded insertion mechanism for opacity enforcement (Q826781) (← links)
• Infinite-step opacity and \(K\)-step opacity of stochastic discrete-event systems (Q1716666) (← links)
• Current-state opacity enforcement in discrete event systems under incomparable observations (Q1788686) (← links)
• Probabilistic system opacity in discrete event systems (Q1788695) (← links)
• Enforcement of opacity by public and private insertion functions (Q1797032) (← links)
• On-line verification of current-state opacity by Petri nets and integer linear programming (Q1797108) (← links)
• Current-state opacity modelling and verification in partially observed Petri nets (Q1987252) (← links)
• Verification of C-detectability using Petri nets (Q2023240) (← links)
• Opacity of networked discrete event systems (Q2053901) (← links)
• Comparing the notions of opacity for discrete-event systems (Q2063098) (← links)
• Enforcing current-state opacity through shuffle and deletions of event observations (Q2065172) (← links)
• Verification and enforcement of strong infinite- and \(k\)-step opacity using state recognizers (Q2065174) (← links)
• Online verification of \(K\)-step opacity by Petri nets in centralized and decentralized structures (Q2081818) (← links)
• Optimization-based assessment of initial-state opacity in Petri nets (Q2089626) (← links)
• Using subobservers to synthesize opacity-enforcing supervisors (Q2106417) (← links)
• An optimization-based approach to assess non-interference in labeled and bounded Petri net systems (Q2123401) (← links)
• Enforcement for infinite-step opacity and K-step opacity via insertion mechanism (Q2125498) (← links)
• Verification of \(K\)-step and infinite-step opacity of bounded labeled Petri nets (Q2125506) (← links)
• A framework for current-state opacity under dynamic information release mechanism (Q2125535) (← links)
• Information control in networked discrete event systems and its application to battery management systems (Q2197580) (← links)
• Privacy and safety analysis of timed stochastic discrete event systems using Markovian trajectory-observers (Q2197587) (← links)
• Diagnosis and opacity problems for infinite state systems modeled by recursive tile systems (Q2348371) (← links)
• Decidability of opacity verification problems in labeled Petri net systems (Q2407162) (← links)
• A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers (Q2407182) (← links)
• Initial-state detectability and initial-state opacity of unambiguous weighted automata (Q2664211) (← links)
• A general language-based framework for specifying and verifying notions of opacity (Q2673762) (← links)
• Strong current-state and initial-state opacity of discrete-event systems (Q2682301) (← links)
• Relative predictability of failure event occurrences and its opacity-based test algorithm (Q4967673) (← links)
• Current-state opacity and initial-state opacity of modular discrete event systems (Q5056544) (← links)
• Verification and enforcement of current-state opacity based on a state space approach (Q6099923) (← links)
• State-based opacity of labeled real-time automata (Q6122597) (← links)
• Game current-state opacity formulation in probabilistic resource automata (Q6125209) (← links)
• Matrix approach for verification of opacity of partially observed discrete event systems (Q6135550) (← links)
• Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques (Q6160740) (← links)