BibTeX
@MISC{Kelbert_decentralizeddistributed,
author = {Florian Kelbert and Er Pretschner},
title = {Decentralized Distributed Data Usage Control},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Abstract. Data usage control provides mechanisms for data owners to remain in control over how their data is used after it has been shared. Many data usage policies can only be enforced on a global scale, as they refer to data usage events happening within multiple distributed sys-tems: ‘not more than three employees may ever read this document’, or ‘no copy of this document may be modified after it has been archived’. While such global policies can be enforced by a centralized enforcement infrastructure that observes all data usage events in all relevant systems, such a strategy involves heavy communication. We show how the overall coordination overhead can be reduced by deploying a decentralized en-forcement infrastructure. Our contributions are: (i) a formal distributed data usage control system model; (ii) formal methods for identifying all systems relevant for evaluating a given policy; (iii) identification of sit-uations in which no coordination between systems is necessary without compromising policy enforcement; (iv) proofs of correctness of (ii, iii). 1
Keyphrases
distributed data usage control data usage event relevant system many data usage policy multiple distributed sys-tems global scale heavy communication data usage control system model data usage control formal method policy enforcement global policy en-forcement infrastructure overall coordination overhead centralized enforcement infrastructure data owner
