State-Based Differential Privacy Verification and Enforcement for Probabilistic Automata
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 automa...
Gespeichert in:
| Hauptverfasser: | , , , |
|---|---|
| Format: | Artigo |
| Sprache: | Inglês |
| Veröffentlicht: |
MDPI AG
2023-04-01
|
| Schriftenreihe: | Mathematics |
| Schlagworte: | |
| Online-Zugang: | https://www.mdpi.com/2227-7390/11/8/1853 |
| Tags: |
Keine Tags, Fügen Sie das erste Tag hinzu!
|