Conference paper · Book chapter
Aggregation Policies for Tuple Spaces
Department of Electrical Engineering, Technical University of Denmark1
Center for Electric Power and Energy, Centers, Technical University of Denmark2
Department of Applied Mathematics and Computer Science, Technical University of Denmark3
Formal Methods, Department of Applied Mathematics and Computer Science, Technical University of Denmark4
Security policies are important for protecting digitalized information, control resource access and maintain secure data storage. This work presents the development of a policy language to transparently incorporate aggregate programming and privacy models for distributed data. We use tuple spaces as a convenient abstraction for storage and coordination.
The language has been designed to accommodate well-known models such as k-anonymity and (ε,δ) -differential privacy, as well as to provide generic user-defined policies. The formal semantics of the policy language and its enforcement mechanism is presented in a manner that abstracts away from a specific tuple space coordination language.
To showcase our approach, an open-source software library has been developed in the Go programming language and applied to a typical coordination pattern used in aggregate programming applications.
Language: | English |
---|---|
Publisher: | Springer |
Year: | 2018 |
Pages: | 181-199 |
Proceedings: | 20th International Conference on Coordination Models and Languages |
Series: | Lecture Notes in Computer Science |
Journal subtitle: | 20th Ifip Wg 6.1 International Conference, Coordination 2018, Held As Part of the 13th International Federated Conference on Distributed Computing Techniques, Discotec 2018, Madrid, Spain, June 18-21, 2018. Proceedings |
ISBN: | 3319924079 , 3319924087 , 9783319924076 and 9783319924083 |
ISSN: | 16113349 and 03029743 |
Types: | Conference paper and Book chapter |
DOI: | 10.1007/978-3-319-92408-3_8 |
ORCIDs: | 0000-0001-5048-5251 , 0000-0003-3061-863X and Lluch Lafuente, Alberto |