Differential Privacy and Security
Damas P. Gruska · Fundamenta Informaticae · 2016
A quantification of process’s security by differential privacy is defined and studied in the framework of probabilistic process algebras. The resulting (quantitative) security properties are investigated and compared with other (qualitative and quantitative) security notions.