Opacity Enforcement Using Nondeterministic Publicly Known Edit Functions

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)

Mathematics Subject Classification ID

68P25: Data encryption (aspects in computer science)

93C65: Discrete event control/observation systems

Related Items

Verification and enforcement of current-state opacity based on a state space approach, Privacy-preserving co-synthesis against sensor-actuator eavesdropping intruder, 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, \(k\)-memory-embedded insertion mechanism for opacity enforcement, 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, Enforcement for infinite-step opacity and K-step opacity via insertion mechanism, Discrete-event systems subject to unknown sensor attacks, Performance safety enforcement in stochastic event graphs against boost and slow attacks, Strong current-state and initial-state opacity of discrete-event systems