Log in to save to my catalogue

State-Based Differential Privacy Verification and Enforcement for Probabilistic Automata

State-Based Differential Privacy Verification and Enforcement for Probabilistic Automata

https://devfeature-collection.sl.nsw.gov.au/record/TN_cdi_doaj_primary_oai_doaj_org_article_7c7ee96835874033924e01c35bbefa92

State-Based Differential Privacy Verification and Enforcement for Probabilistic Automata

About this item

Full title

State-Based Differential Privacy Verification and Enforcement for Probabilistic Automata

Publisher

Basel: MDPI AG

Journal title

Mathematics (Basel), 2023-04, Vol.11 (8), p.1853

Language

English

Formats

Publication information

Publisher

Basel: MDPI AG

More information

Scope and Contents

Contents

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

Alternative Titles

Full title

State-Based Differential Privacy Verification and Enforcement for Probabilistic Automata

Authors, Artists and Contributors

Identifiers

Primary Identifiers

Record Identifier

TN_cdi_doaj_primary_oai_doaj_org_article_7c7ee96835874033924e01c35bbefa92

Permalink

https://devfeature-collection.sl.nsw.gov.au/record/TN_cdi_doaj_primary_oai_doaj_org_article_7c7ee96835874033924e01c35bbefa92

Other Identifiers

ISSN

2227-7390

E-ISSN

2227-7390

DOI

10.3390/math11081853

How to access this item