Abstractions Preserving Parameter Confidentiality
نویسندگان
چکیده
ions Preserving Parameter Confidentiality ? Sigrid Gürgens, Peter Ochsenschläger, Carsten Rudolph Fraunhofer – Institute for Secure Information Technology SIT, Germany {guergens,ochsenschlaeger,rudolphc}@sit.fraunhofer.de Abstract. Confidentiality of certain parameters is an essential security Confidentiality of certain parameters is an essential security requirement for many security sensitive applications. In this paper, conditions for abstractions are formulated in terms of formal language theory to be able to prove parameter confidentiality in an abstract view of a system and then conclude that an adequate representation of the property is satisfied in the refined system as well. These conditions essentially depend on an agent’s view as well as on an agent’s initial knowledge of the system behaviour, which explicitely formalizes assumptions about the
منابع مشابه
Statement on Research
My research looks for patterns and structures of organizational behavior in the domains of technology management, computer security and infrastructure vulnerability. Case study alone results in rich detail and low generalizability [1]. In my targeted domains, grounded research often produces confidential results that cannot be disseminated beyond those involved with the problem in question. I c...
متن کاملA centralized privacy-preserving framework for online social networks
There are some critical privacy concerns in the current online social networks (OSNs). Users' information is disclosed to different entities that they were not supposed to access. Furthermore, the notion of friendship is inadequate in OSNs since the degree of social relationships between users dynamically changes over the time. Additionally, users may define similar privacy settings for their f...
متن کاملPrivacy-Preserving Classification on Deep Neural Network
Neural Networks (NN) are today increasingly used in Machine Learning where they have become deeper and deeper to accurately model or classify high-level abstractions of data. Their development however also gives rise to important data privacy risks. This observation motives Microsoft researchers to propose a framework, called Cryptonets. The core idea is to combine simplifications of the NN wit...
متن کاملInference-Proof Updating of a Weakened View Under the Modification of Input Parameters
We treat a challenging problem of confidentiality-preserving data publishing: how to repeatedly update a released weakened view under a modification of the input parameter values, while continuously enforcing the confidentiality policy, i.e., without revealing a prohibited piece of information, neither for the updated view nor retrospectively for the previous versions of the view. In our semant...
متن کاملConfidentiality-Preserving Refinement is Compositional - Sometimes
Confidentiality-preserving refinement describes a relation between a specification and an implementation that ensures that all confidentiality properties required in the specification are preserved by the implementation in a probabilistic setting. The present paper investigates the condition under which that notion of refinement is compositional, i.e. the condition under which refining a subsys...
متن کامل