A Model-oriented Reasoning Framework for Privacy Analysis of Complex Systems

arXiv:2405.08356v1 Announce Type: new
Abstract: This paper proposes a reasoning framework for privacy properties of systems and their environments that can capture any knowledge leaks on different logical levels of the system to answer the question: which entity can learn what? With the term knowledge we refer to any kind of data, meta-data or interpretation of those that might be relevant. To achieve this, we present a modeling framework that forces the developers to explicitly describe which knowledge is available …

analysis arxiv can capture cs.cr environments framework kind knowledge leaks learn privacy question reasoning system systems