
概率系统差分隐私研究综述
曹永知
概率系统差分隐私研究综述
A survey on differential privacy in probabilistic systems
隐私保护 / 差分隐私 / 形式化方法 / 概率自动机 / 概率标号迁移系统 / 概率进程代数 / 马尔可夫链 / 模型检测 {{custom_keyword}} /
privacy preserving / differential privacy / formal methods / probabilistic automaton / probabilistic labelled transition system / probabilistic process algebra / Markov chain / model checking {{custom_keyword}} /
/
〈 |
|
〉 |