State-Based Differential Privacy Verification and Enforcement for Probabilistic Automata

Yuanxiu Teng, Zhiwu Li, Li Yin () and Naiqi Wu
Additional contact information
Yuanxiu Teng: Institute of Systems Engineering, Macau University of Science and Technology, Taipa, Macau SAR, China
Zhiwu Li: Institute of Systems Engineering, Macau University of Science and Technology, Taipa, Macau SAR, China
Li Yin: Institute of Systems Engineering, Macau University of Science and Technology, Taipa, Macau SAR, China
Naiqi Wu: Institute of Systems Engineering, Macau University of Science and Technology, Taipa, Macau SAR, China

Mathematics, 2023, vol. 11, issue 8, 1-21

Abstract: Roughly speaking, differential privacy is a privacy-preserving strategy that guarantees attackers to be unlikely to infer, from the previous system output, the dataset from which an output is derived. This work introduces differential privacy to discrete event systems modeled by probabilistic automata to protect the state information pertaining to system resource configurations. State differential privacy is defined to protect the initial state of a discrete event system, which represents its initial resource configuration. Step-based state differential privacy verification is proposed in the framework of probabilistic automata, such that an attacker is unlikely to determine the initial state from which a system evolves, within a finite step of observations, if two systems with two different initial states satisfy state differential privacy. Specifically, the probability distributions of generating observations within a finite step from the two different initial states are approximate. If the two systems do not satisfy state differential privacy, a control specification is proposed, such that state differential privacy is enforced via supervisory control that is maximally permissive. Experimental studies are given to illustrate that the proposed method can effectively verify state differential privacy and enforce privacy protection in the probabilistic automata framework.

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

Downloads: (external link)
https://www.mdpi.com/2227-7390/11/8/1853/pdf (application/pdf)
https://www.mdpi.com/2227-7390/11/8/1853/ (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:8:p:1853-:d:1122821

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 ().