Opacity enforcement in discrete event systems using differential privacy
From MaRDI portal
Publication:6629243
DOI10.1016/J.INS.2024.121284MaRDI QIDQ6629243
Yifan Dong, Jie Zhang, Zhiwu Li, Li Yin, Almetwally M. Mostafa
Publication date: 29 October 2024
Published in: Information Sciences (Search for Journal in Brave)
discrete event systemdifferential privacycurrent-state opacityinitial-state opacityopacity enforcement
Cites Work
- Comparative analysis of related notions of opacity in centralized and coordinated architectures
- Synthesis of insertion functions for enforcement of opacity security properties
- Verification of initial-state opacity in security applications of discrete event systems
- Synthesis of obfuscation policies to ensure privacy and utility
- Opacity of discrete event systems and its applications
- Infinite-step opacity and \(K\)-step opacity of stochastic discrete-event systems
- 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
- Synthesis of Optimal Insertion Functions for Opacity Enforcement
- Current-State Opacity Formulations in Probabilistic Finite Automata
- Differential Privacy: A Survey of Results
- The Complexity of Differential Privacy
- Synthesis of Dynamic Masks for Infinite-Step Opacity
- Verification of State-Based Opacity Using Petri Nets
- Theory of Cryptography
- Differential Privacy
- Extended Insertion Functions for Opacity Enforcement in Discrete-Event Systems
- STP-based verification and synthesis of state opacity for logical finite state machines
- DP-STGAT: traffic statistics publishing with differential privacy and a spatial-temporal graph attention network
This page was built for publication: Opacity enforcement in discrete event systems using differential privacy
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6629243)
