Opacity enforcement in discrete event systems using differential privacy

DOI10.1016/J.INS.2024.121284MaRDI QIDQ6629243FDOQ6629243

Authors: Jie Zhang, Yifan Dong, Li Yin, Almetwally M. Mostafa, Zhiwu Li 

Publication date: 29 October 2024

Published in: Information Sciences (Search for Journal in Brave)

Recommendations

• Strong current-state and initial-state opacity of discrete-event systems
• Opacity of discrete event systems and its applications
• Current-state opacity enforcement in discrete event systems under incomparable observations
• Active opacity of discrete-event systems

zbMATH Keywords

differential privacydiscrete event systemcurrent-state opacityinitial-state opacityopacity enforcement

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65)

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

Cited In (3)

• Enforcing opacity by insertion functions under multiple energy constraints
• Security and privacy with opacity-based state observation for finite state machine
• Obfuscation mechanism for simultaneous public event information release and private event information hiding in discrete event systems

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)