Model checking differentially private properties

Autor:	Depeng Liu, Bow-Yaw Wang, Chen Fu, Lijun Zhang
Rok vydání:	2023
Předmět:	General Computer Science Theoretical Computer Science
Zdroj:	Theoretical Computer Science. 943:153-170
ISSN:	0304-3975
DOI:	10.1016/j.tcs.2022.10.002
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::e2a819ea67ec7e7d952e5785452f9a15 https://doi.org/10.1016/j.tcs.2022.10.002 Zobrazit plný text záznamu Full Text from ScienceDirect