Using tuple space communication in distributed object-oriented languages
OOPSLA '88 Conference proceedings on Object-oriented programming systems, languages and applications
Eiffel Linda: an object-oriented Linda dialect
ACM SIGPLAN Notices
Reconfiguration of hierarchical tuple-spaces: experiments with Linda-Polylith
Reconfiguration of hierarchical tuple-spaces: experiments with Linda-Polylith
The Object Space approach: decoupled communication in C++
TOOLS '93 Proceedings of the eleventh international conference on Technology of object-oriented languages and systems
A calculus for cryptographic protocols: the spi calculus
Proceedings of the 4th ACM conference on Computer and communications security
Laura—a service-based coordination language
Science of Computer Programming
HyperNews: a MEDIA application for the commercialization of an electronic newspaper
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
A method for obtaining digital signatures and public-key cryptosystems
Communications of the ACM
Proceedings of the Third International Symposium on Theoretical Aspects of Computer Software
TACS '97 Proceedings of the Third International Symposium on Theoretical Aspects of Computer Software
CONCUR '96 Proceedings of the 7th International Conference on Concurrency Theory
On Bisimulations for the Asynchronous pi-Calculus
CONCUR '96 Proceedings of the 7th International Conference on Concurrency Theory
On Asynchronous Communication Semantics
ECOOP '91 Proceedings of the Workshop on Object-Based Concurrent Computing
ECOOP '94 Selected papers from the ECOOP'94 Workshop on Models and Languages for Coordination of Parallelism and Distribution, Object-Based Models and Languages for Concurrent Systems
Coordinating Mobile Agents via Blackboards and Access Rights
COORDINATION '97 Proceedings of the Second International Conference on Coordination Languages and Models
Coordinating Java Agents with Multiple Coordination Language on the Berlinda Platform
WET-ICE '97 Proceedings of the 6th Workshop on Enabling Technologies on Infrastructure for Collaborative Enterprises
Jada - Coordination and Communication for Java Agents
MOS '96 Selected Presentations and Invited Papers Second International Workshop on Mobile Object Systems - Towards the Programmable Internet
FoSSaCS '98 Proceedings of the First International Conference on Foundations of Software Science and Computation Structure
Distributed Programming with Logic Tuple Spaces
Distributed Programming with Logic Tuple Spaces
Logic Programming Languages for the Internet
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Lana: An Approach to Programming Autonomous Systems
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
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
Exploiting Transiently Shared Tuple Spaces for Location Transparent Code Mobility
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
The SPACETUB Models and Framework
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Formalizing a Language for Institutions and Norms
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
Garbage collection in LINDACAP
Proceedings of the 11th International Conference on Information Integration and Web-based Applications & Services
Defining and modelling service-based coordinated systems
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part I
Coordination with multicapabilities
COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages
Adaptive access control in coordination-based mobile agent systems
Software Engineering for Multi-Agent Systems III
CBSE'06 Proceedings of the 9th international conference on Component-Based Software Engineering
Finer Garbage Collection in Lindacap
International Journal of Information Technology and Web Engineering
| Hi-index | 0.00 |
Shared space coordination models such as Linda are ill-suited for structuring applications composed of erroneous or insecure components. This paper presents the Secure Object Space model. In this model, a data element can be locked with a key and is only visible to a process that presents a matching key to unlock the element. We give a precise semantics for Secure Object Space operations and discuss an implementation in JAVA for a mobile agent system. An implementation of the semantics that employs encryption is also outlined for use in untrusted environments.