Opacity Enforcement Using Nondeterministic Publicly Known Edit Functions
From MaRDI portal
Publication:5211196
DOI10.1109/TAC.2019.2897553zbMath1482.93382WikidataQ128425728 ScholiaQ128425728MaRDI QIDQ5211196
Xiang Yin, Stéphane Lafortune, Yiding Ji
Publication date: 28 January 2020
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Data encryption (aspects in computer science) (68P25) Discrete event control/observation systems (93C65)
Related Items (17)
Enforcement for infinite-step opacity and K-step opacity via insertion mechanism ⋮ \(k\)-memory-embedded insertion mechanism for opacity enforcement ⋮ Discrete-event systems subject to unknown sensor attacks ⋮ Performance safety enforcement in stochastic event graphs against boost and slow attacks ⋮ Verification and enforcement of current-state opacity based on a state space approach ⋮ Privacy-preserving co-synthesis against sensor-actuator eavesdropping intruder ⋮ Strong current-state and initial-state opacity of discrete-event systems ⋮ Secret inference and attacktability analysis of discrete event systems ⋮ Active opacity of discrete-event systems ⋮ Matrix approach for verification of opacity of partially observed discrete event systems ⋮ State estimation in labeled time Petri net systems using observed modified state class graph ⋮ Enforcing opacity by insertion functions under multiple energy constraints ⋮ Performance safety enforcement in strongly connected timed event graphs ⋮ Opacity of networked 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
This page was built for publication: Opacity Enforcement Using Nondeterministic Publicly Known Edit Functions