Abstract
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.
Original language | English |
---|---|
Title of host publication | COORDINATION 2018: Coordination Models and Languages |
Publisher | Springer |
Publication date | 2018 |
Pages | 181-199 |
ISBN (Print) | 978-3-319-92407-6 |
DOIs | |
Publication status | Published - 2018 |
Event | 20th International Conference on Coordination Models and Languages - University Complutense of Madrid, Madrid, Spain Duration: 18 Jun 2018 → 20 Jun 2018 Conference number: 20 |
Conference
Conference | 20th International Conference on Coordination Models and Languages |
---|---|
Number | 20 |
Location | University Complutense of Madrid |
Country/Territory | Spain |
City | Madrid |
Period | 18/06/2018 → 20/06/2018 |
Series | Lecture Notes in Computer Science |
---|---|
Volume | 10852 |
ISSN | 0302-9743 |
Keywords
- Secure coordination
- Policy languages
- Privacy models
- Tuple spaces
- Aggregate programming