Verification and Enforcement of ( ϵ, ξ )-Differential Privacy over Finite Steps in Discrete Event Systems

Tareq Ahmad Al-Sarayrah, Zhiwu Li (), Guanghui Zhu, Mohammed A. El-Meligy and Mohamed Sharaf
Additional contact information
Tareq Ahmad Al-Sarayrah: School of Electro-Mechanical Engineering, Xidian University, Xi’an 710071, China
Zhiwu Li: Institute of Systems Engineering, Macau University of Science and Technology, Taipa 999078, Macau SAR, China
Guanghui Zhu: School of Electrical and Mechanical Engineering, Xuchang University, Xuchang 461000, China
Mohammed A. El-Meligy: Industrial Engineering Department, College of Engineering, King Saud University, P.O. Box 800, Riyadh 11421, Saudi Arabia
Mohamed Sharaf: Industrial Engineering Department, College of Engineering, King Saud University, P.O. Box 800, Riyadh 11421, Saudi Arabia

Mathematics, 2023, vol. 11, issue 24, 1-25

Abstract: In the realm of data protection strategies, differential privacy ensures that unauthorized entities cannot reconstruct original data from system outputs. This study explores discrete event systems, specifically through probabilistic automata. Central is the protection of state data, particularly the initial state privacy of multiple starting states. We introduce an evaluation criterion to safeguard initial states. Using advanced algorithms, the proposed method counters the probabilistic identification of any state within this collection by adversaries from observed data points. The efficacy is confirmed when the probability distributions of data observations tied to these states converge. If a system’s architecture does not meet state differential privacy demands, we propose an enhanced supervisory control mechanism. This control upholds state differential privacy across all initial states, maintaining operational flexibility within the probabilistic automaton framework. Concluding, a numerical analysis validates the approach’s strength in probabilistic automata and discrete event systems.

Keywords: differential privacy; discrete event system; probabilistic automaton; initial state privacy; supervisory control (search for similar items in EconPapers)
JEL-codes: C (search for similar items in EconPapers)
Date: 2023
References: View complete reference list from CitEc
Citations:

Downloads: (external link)
https://www.mdpi.com/2227-7390/11/24/4991/pdf (application/pdf)
https://www.mdpi.com/2227-7390/11/24/4991/ (text/html)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:gam:jmathe:v:11:y:2023:i:24:p:4991-:d:1302263

Access Statistics for this article

Mathematics is currently edited by Ms. Emma He

More articles in Mathematics from MDPI
Bibliographic data for series maintained by MDPI Indexing Manager ().