Opacity enforcement in discrete event systems using differential privacy
From MaRDI portal
Publication:6629243
DOI10.1016/J.INS.2024.121284MaRDI QIDQ6629243FDOQ6629243
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)
differential privacydiscrete event systemcurrent-state opacityinitial-state opacityopacity enforcement
Cites Work
- Differential Privacy
- Differential Privacy: A Survey of Results
- Theory of Cryptography
- Comparative analysis of related notions of opacity in centralized and coordinated architectures
- Opacity of discrete event systems and its applications
- 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
- Synthesis of insertion functions for enforcement of opacity security properties
- Extended Insertion Functions for Opacity Enforcement in Discrete-Event Systems
- Synthesis of obfuscation policies to ensure privacy and utility
- Verification of initial-state opacity in security applications of discrete event systems
- Verification of State-Based Opacity Using Petri Nets
- Infinite-step opacity and \(K\)-step opacity of stochastic discrete-event systems
- Current-state opacity enforcement in discrete event systems under incomparable observations
- The Complexity of Differential Privacy
- Synthesis of Dynamic Masks for Infinite-Step Opacity
- 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)
