Generative communication in Linda
ACM Transactions on Programming Languages and Systems (TOPLAS)
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
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
A process algebraic view of Linda coordination primitives
Theoretical Computer Science - Special issue: theoretical aspects of coordination languages
KLAIM: A Kernel Language for Agents Interaction and Mobility
IEEE Transactions on Software Engineering
Laura—a service-based coordination language
Science of Computer Programming
Proceedings of the 21st international conference on Software engineering
Cryptographic sealing for information secrecy and authentication
Communications of the ACM
JavaSpaces Principles, Patterns, and Practice
JavaSpaces Principles, Patterns, and Practice
Multiple Tuple Spaces in Linda
PARLE '89 Proceedings of the Parallel Architectures and Languages Europe, Volume II: Parallel Languages
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
A Process Algebra Based on LINDA
COORDINATION '96 Proceedings of the First 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
The JavaSeal Mobile Agent Kernel
ASAMA '99 Proceedings of the First International Symposium on Agent Systems and Applications Third International Symposium on Mobile Agents
KLAVA: a Java package for distributed and mobile applications
Software—Practice & Experience
WSSecSpaces: a secure data-driven coordination service for Web Services applications
Proceedings of the 2004 ACM symposium on Applied computing
BTS: a Byzantine fault-tolerant tuple space
Proceedings of the 2006 ACM symposium on Applied computing
Coordination with multicapabilities
Science of Computer Programming
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
DepSpace: a byzantine fault-tolerant coordination service
Proceedings of the 3rd ACM SIGOPS/EuroSys European Conference on Computer Systems 2008
High-Performance Transactional Event Processing
COORDINATION '09 Proceedings of the 11th International Conference on Coordination Models and Languages
Combining Partitions in SecSpaces
Electronic Notes in Theoretical Computer Science (ENTCS)
Providing data confidentiality against malicious hosts in Shared Data Spaces
Science of Computer Programming
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
Garbage collection in LINDACAP
Proceedings of the 11th International Conference on Information Integration and Web-based Applications & Services
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
Data driven language for agents secure interaction
LADS'09 Proceedings of the Second international conference on Languages, Methodologies, and Development Tools for Multi-Agent Systems
A secure coordination of agents with nonmonotonic soft Concurrent Constraint Programming
Proceedings of the 27th Annual ACM Symposium on Applied Computing
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
Finer Garbage Collection in Lindacap
International Journal of Information Technology and Web Engineering
| Hi-index | 0.00 |
The Linda shared space model and its derivatives provide great flexibility for building parallel and distributed applications composed of independent processes. However, the shared space model does not provide protection against untrustworthy processes. Linda processes communicate by reading and writing messages in a globally visible data space, so a malicious process can launch any number of security attacks. This paper presents the design of a new coordination model which extends Linda with fine-grained access control. The semantics of the model is presented in the context of a process calculus. A prototype of our model, called SECOS, has been implemented in JAVA.