Opacity enforcement in discrete event systems using differential privacy

DOI10.1016/J.INS.2024.121284MaRDI QIDQ6629243zbMATH OpenFDO

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)

zbMATH Keywords

differential privacydiscrete event systemcurrent-state opacityinitial-state opacityopacity enforcement

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65)

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

Cites work

• Comparative analysis of related notions of opacity in centralized and coordinated architectures
• Current-State Opacity Formulations in Probabilistic Finite Automata
• Current-state opacity enforcement in discrete event systems under incomparable observations
• DP-STGAT: traffic statistics publishing with differential privacy and a spatial-temporal graph attention network
• Differential Privacy
• Differential Privacy: A Survey of Results
• Enforcement of opacity by public and private insertion functions
• Extended Insertion Functions for Opacity Enforcement in Discrete-Event Systems
• Infinite-step opacity and \(K\)-step opacity of stochastic discrete-event systems
• Opacity of discrete event systems and its applications
• Probabilistic system opacity in discrete event systems
• STP-based verification and synthesis of state opacity for logical finite state machines
• Synthesis of Dynamic Masks for Infinite-Step Opacity
• Synthesis of Optimal Insertion Functions for Opacity Enforcement
• Synthesis of insertion functions for enforcement of opacity security properties
• Synthesis of obfuscation policies to ensure privacy and utility
• The complexity of differential privacy
• Theory of Cryptography
• Verification of State-Based Opacity Using Petri Nets
• Verification of initial-state opacity in security applications of discrete event systems

Cited in

(3)

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

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)