Coordinating processes with secure spaces

Science of Computer Programming

Volumn 46, Issue 1-2, 2003, Pages 163-193

  Vitek, Jan ^a   Bryce, Ciarán ^b   Oriol, Manuel ^b  

^a Purdue University   (United States)

^b UNIVERSITY OF GENEVA   (Switzerland)

Author keywords

Access control; Coordination languages; Linda; Security

Indexed keywords

CRYPTOGRAPHY; JAVA PROGRAMMING LANGUAGE; MATHEMATICAL MODELS; SEMANTICS;

COORDINATION LANGUAGES;

COMPUTER PROGRAMMING;

EID: 0037210075     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0167-6423(02)00090-4     Document Type: Article

References (26)

1. M. Abadi, A.D. Gordon, A calculus for cryptographic protocols: the Spi-calculus, in: Proc. Fourth ACM Conf. on Computer and Communications Security, Zürich, April 1997, 1997.
2. Amadio R.M., Castellani I., Sangiorgi D. On bisimulations for the asynchronous. π -calculus Montanari U., Sassone V. (Eds.), CONCUR '96, Lecture Notes in Computer Science. vol. 1119:1996;147-162 Springer, Berlin.
3. G. Boudol, Asynchrony and the π-calculus (Note), Rapport de Recherche 1702, INRIA Sofia-Antipolis, May 1992.
4. C. Bryce, J. Vitek, The JavaSeal mobile agent kernel, in: D. Milojevic (Ed.), Proc. First Internat. Symp. on Agent Systems and Applications, Third Internat. Symp. on Mobile Agents (ASAMA'99), Palm Springs, May 9-13, ACM Press, New York, 1999, pp. 176-189.
5. Busi N., Gorrieri R., Zavattaro G. A process algebraic view of Linda coordination primitives. Theoret. Comput. Sci. 192(2):1998;167-199.
6. Carriero N., Gelernter D., Zuck L. Bauhaus Linda. Ciancarini P., Nierstrasz O., Yonezawa A. (Eds.), Object-based models and languages for concurrent systems, Lecture Notes in Computer Science. vol. 924:1995;66-76 Springer, Berlin.
7. Ciancarini P. Agent coordination in PageSpace. Roman G.C., Ghezzi C. (Eds.), Proc. ESEC Workshop on Mobility and Network Aware Computing. 1997;Zurich, CH.
8. Ciancarini P., Rossi D. Jada. coordination and communication for Java agents Vitek J., Tschudin C. (Eds.), Mobile Agent Systems: Towards the Programmable Internet, Lecture Notes in Computer Science. vol. 1222:1997.
9. L. Dami, Type Inference and subtyping in higher-order generative communication, in: D. Tsichritzis (Ed.), Object Applications, University of Geneva, 1996.
10. DeNicola R., Pugliese R. A process algebra based on Linda. Ciancarini P., Hankin C. (Eds.), Proc. First Internat. Conf. on Coordination Models and Languages, Lecture Notes in Computer Science. vol. 1061:1996;160-178 Springer, Berlin.
11. Freeman E., Hupfer S., Arnold K. JavaSpaces Principles, Patterns, and Practice. 1999;Addison-Wesley, Reading, MA, USA.
12. Gelernter D. Generative communication in Linda. ACM Trans. Program. Languages Systems. 7(1):1985;80-112.
13. Gelernter D. Multiple tuple spaces in Linda. Odijk E., Rem M., Syre J. (Eds.), Proc. Conf. on Parallel Architectures and Languages Europe (PARLE 89), Lecture Notes in Computer Science. vol. 365:1989;Springer, Berlin.
14. Gifford D.K. Cryptographic sealing for information secrecy and authentication. Commun. ACM. 25(4):1982;274-286.
15. Honda K., Tokoro M. On asynchronous communication semantics. Tokoro M., Nierstrasz O., Wegner P. (Eds.), Object-Based Concurrent Computing, Lecture Notes in Computer Science. vol. 612:1992;21-51 Springer, Berlin.
16. S. Hupfer, Melinda: linda with multiple tuple spaces. Technical Report, RR YALEU/DCS/R-766, Dept. of Computer Science, Yale University, New Haven, CT, 1990.
17. Jellinghaus R. Eiffel Linda: an object oriented Linda dialect. ACM Sigplan Notices. 25(12):1990.
18. S. Matsouka, S. Kawai, Using tuple space communication in distributed object oriented languages, in: Proc. ACM Object Oriented Programming, Systems, Languages and Applications (OOPSLA 88), 1988.
19. Minsky N., Minsky Y., Ungureanu V. Safe tuplespace-based coordination in multi agent systems. J. Appl. Artif. Intell. 15(1):2001.
20. Nicola R.D., Ferrari G.L., Pugliese R. KLAIM. a kernel language for agents interaction and mobility IEEE Trans. Software Eng. 24(5):1998;315-330. (special issue: Mobility and Network Aware Computing).
21. G.P. Picco, A.L. Murphy, G.-C. Roman, Lime: Linda meets mobility, in: D. Garlan (Ed.), Proc. 21st Internat. Conf. on Software Engineering (ICSE'99), ACM Press, New York, Los Angeles, CA, USA, May, 1999, pp. 368-377. Also available as Technical Report WUCS-98-21, July 1998, Washington University in St. Louis, MO, USA.
22. J. Pinakis, Providing directed communication in Linda, in: Proc. 15th Australian Computer Science Conf. 1992, pp. 731-743.
23. A. Polze, The object space approach: decoupled communication in C++. in: Proc. Technology of Object-Oriented Languages and Systems (TOOLS 93), 1993.
24. R. Tolksdorf, Alice - basic model and subtyping agents, Technical Report 1993/7, The Technical University of Berlin, 1993.
25. Tolksdorf R., Coordinating Java agents with multiple coordination languages on the Berlinda platform, in: IEEE Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), 1997.
26. Tolksdorf R. Laura: a service-based coordination language Sci. Comput. Program. 31:1998.