%0 Conference Proceedings
%T Specification and Deployment of Integrated Security Policies for Outsourced Data
%+ Lab-STICC_TB_CID_SFIIS
%+ Département Logique des Usages, Sciences sociales et Sciences de l'Information (LUSSI)
%+ Declarative & Reliable management of Uncertain, user-generated Interlinked Data (DRUID)
%A Bkakria, Anis
%A Cuppens, Frédéric
%A Cuppens-Bouhlahia, Nora
%A Gross-Amblard, David
%Z cominlabs
%< avec comité de lecture
%B 28th Annual IFIP WG 11.3 Working Conference on Data and Applications Security and Privacy (DBSec '14)
%C Vienne, Austria
%V 8566 - LNCS (Lecture Notes in Computer Science)
%P 17 - 32
%8 2014-07-14
%D 2014
%R 10.1007/978-3-662-43936-4_2
%K Security policy
%K privacy-preserving
%K data confidentiality
%K temporal logics of knowledge
%K data outsourcing
%K relational databases
%Z Computer Science [cs]Conference papers
%X This paper presents a well-founded language allowing in one hand data owners to easily specify their security and utility requirements over the data to be outsourced and in an another hand to formalize the set of security mechanisms that can be used for the protection of out-sourced data. Based on the formalization of security and utility require-ments and security mechanisms properties, we formally identify the best mechanisms, and the best way to combine them to get the best trade-off between utility and security.
%G English
%Z cominlabs poseidon
%2 https://inria.hal.science/hal-01087467/document
%2 https://inria.hal.science/hal-01087467/file/Article.pdf
%L hal-01087467
%U https://inria.hal.science/hal-01087467
%~ UNIV-BREST
%~ INSTITUT-TELECOM
%~ EC-PARIS
%~ UNIV-RENNES1
%~ CNRS
%~ INRIA
%~ UNIV-UBS
%~ INSA-RENNES
%~ IRISA
%~ IRISA_SET
%~ ENIB
%~ LAB-STICC_ENIB
%~ IFIP-LNCS
%~ IFIP
%~ LAB-STICC
%~ IRISA-D7
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC11
%~ IFIP-LNCS-8566
%~ IFIP-WG11-3
%~ UR1-HAL
%~ LAB-STICC_TB
%~ UR1-MATH-STIC
%~ UR1-UFR-ISTIC
%~ IFIP-2010
%~ TEST-UNIV-RENNES
%~ TEST-UR-CSS
%~ IMTA_LUSSI
%~ IRISA_IMTA
%~ LAB-STICC_IMTA
%~ UNIV-RENNES
%~ INRIA-AUT
%~ IMT-ATLANTIQUE
%~ INSTITUTS-TELECOM
%~ UR1-MATH-NUM