Generative communication in Linda
ACM Transactions on Programming Languages and Systems (TOPLAS)
The official PGP user's guide
KLAIM: A Kernel Language for Agents Interaction and Mobility
IEEE Transactions on Software Engineering
Proceedings of the 21st international conference on Software engineering
Secure Internet programming: security issues for mobile and distributed objects
Secure Internet programming: security issues for mobile and distributed objects
Secure Internet programming
Jini Specification
JavaSpaces Principles, Patterns, and Practice
JavaSpaces Principles, Patterns, and Practice
Mobile Agents and Security
A Coordination Model Agents Based on Secure Spaces
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
Protecting Mobile Agents Against Malicious Hosts
Mobile Agents and Security
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
KLAVA: a Java package for distributed and mobile applications
Software—Practice & Experience
ISADS '01 Proceedings of the Fifth International Symposium on Autonomous Decentralized Systems
IBM Systems Journal
WSSecSpaces: a secure data-driven coordination service for Web Services applications
Proceedings of the 2004 ACM symposium on Applied computing
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
Data Privacy in Tuple Space Based Mobile Agent Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Providing data confidentiality against malicious hosts in Shared Data Spaces
Science of Computer Programming
Formal modelling of a coordination system: from practice to theory, and back again
ESAW'06 Proceedings of the 7th international conference on Engineering societies in the agents world VII
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
Combining static analysis and runtime checking in security aspects for distributed tuple spaces
COORDINATION'11 Proceedings of the 13th international conference on Coordination models and languages
Tagged sets: a secure and transparent coordination medium
COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages
Supporting Secure Coordination in SecSpaces
Fundamenta Informaticae
Securely accessing shared resources with concurrent constraint programming
SEFM'12 Proceedings of the 10th international conference on Software Engineering and Formal Methods
| Hi-index | 0.00 |
The tuple space communication model, such as the one used in Linda, provides great flexibility for modeling concurrent, distributed and mobile processes. In a distributed setting with mobile agents, particular attention is needed for protecting sites and information. We have designed and developed a Java middleware, KLAVA, for implementing distributed tuple spaces and operations to support agent interaction and mobility. In this paper, we extend the KLAVA middleware with cryptographic primitives that enable encryption and decryption of tuple fields. We describe the actual implementation of the new primitives and provide a few examples. The proposed extension is general enough to be applied to similar Java frameworks using multiple distributed tuples spaces possibly dealing with mobility.