Providing data confidentiality against malicious hosts in Shared Data Spaces

Authors:
Giovanni Russello;Changyu Dong;Naranker Dulay;Michel Chaudron;Maarten van Steen
Affiliations:
Imperial College London, London, UK;Imperial College London, London, UK;Imperial College London, London, UK;Leiden Universiteit, The Netherlands;Vrije Universiteit Amsterdam, The Netherlands
Venue:
Science of Computer Programming
Year:
2010

Citing 18
Cited 1

Generative communication in Linda

ACM Transactions on Programming Languages and Systems (TOPLAS)
LIME: Linda meets mobility

Proceedings of the 21st international conference on Software engineering
A method for obtaining digital signatures and public-key cryptosystems

Communications of the ACM
Coordination languages and their significance

Communications of the ACM
JavaSpaces Principles, Patterns, and Practice

JavaSpaces Principles, Patterns, and Practice
Coordinating processes with secure spaces

Science of Computer Programming - Special issue on coordination languages and architectures
A Java Middleware for Guaranteeing Privacy of Distributed Tuple Spaces

FIDJI '01 Revised Papers from the International Workshop on Scientific Engineering for Distributed Java Applications
Foundations of Cryptography: Volume 2, Basic Applications

Foundations of Cryptography: Volume 2, Basic Applications
Verifying completeness of relational query results in data publishing

Proceedings of the 2005 ACM SIGMOD international conference on Management of data
Rapid Development and Flexible Deployment of Adaptive Wireless Sensor Network Applications

ICDCS '05 Proceedings of the 25th IEEE International Conference on Distributed Computing Systems
Searchable symmetric encryption: improved definitions and efficient constructions

Proceedings of the 13th ACM conference on Computer and communications security
Secure shared data-space coordination languages: a process algebraic surveys

Science of Computer Programming - Special issue on security issues in coordination models, languages, and systems
Supporting Secure Coordination in SecSpaces

Fundamenta Informaticae
Timing analysis of keystrokes and timing attacks on SSH

SSYM'01 Proceedings of the 10th conference on USENIX Security Symposium - Volume 10
Strong accountability for network storage

ACM Transactions on Storage (TOS)
Programming wireless sensor networks with the TeenyLime middleware

Proceedings of the ACM/IFIP/USENIX 2007 International Conference on Middleware
Coordination with multicapabilities

COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages
A public key cryptosystem and a signature scheme based on discrete logarithms

IEEE Transactions on Information Theory

Secure and efficient data retrieval over encrypted data using attribute-based encryption in cloud storage

Computers and Electrical Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

Coordination languages are often used to describe open-ended systems. This makes it challenging to develop tools for guaranteeing the security of the coordinated systems and the correctness of their interaction. Successful approaches to this problem ...