A coordination model for agents based on secure spaces

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1594, Issue , 1999, Pages 4-20

  Bryce, Ciaran ^a   Oriol, Manuel ^a   Vitek, Jan ^a  

^a UNIVERSITY OF GENEVA   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

CRYPTOGRAPHY; SEMANTICS;

COORDINATION MODEL; DATA ELEMENTS; MOBILE AGENT SYSTEM; OBJECT SPACE; SECURE SPACE; SHARED SPACES;

MOBILE AGENTS;

EID: 84957587819     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48919-3_3     Document Type: Conference Paper

References (31)

1. M. Abadi. Secrecy by Typing in Security Protocols. Theoretical aspects of Computer Software, September 1998.
2. M. Abadi and A. D. Gordon. A calculus for cryptographic protocols: The Spi calculus. In Proceedings of the Fourth ACM Conference on Computer and Communications Security, Zurich, April 1997, 1997.
3. R. M. Amadio, I. Castellani, and D. Sangiorgi. On bisimulations for the asynchronous ir-calculus. In U. Montanari and V. Sassone, editors, CONCUR '96, volume 1119 of LNCS, pages 147-162. Springer-Verlag, Berlin, 1996.
4. G. Boudol. Asynchrony and the ir-calculus (note). Rapport de Recherche 1702, INRIA Sofia-Antipolis, May 1992.
5. L. Cardelli. Abstractions for mobile computations. Manuscript, Microsoft Research, 1998.
6. L. Cardelli and A. D. Gordon. Mobile ambients. In Proc. of Foundations of Software Science and Computation Structures (FoSSaCS), ETAPS'98, LNCS 1378, Mar. 1998.
7. N. Carriero, D. Gelernter, and L. Zuck. Bauhaus Linda. In P. Ciancarini, O. Nier-strasz, and A. Yonezawa, editors, Object-Based Models and Languages for Concurrent Systems, volume 924 of LNCS, pages 66-76. Springer-Verlag, Berlin, 1995.
8. P. Ciancarini. Distribued Programming with Logic Tuple Spaces. Technical Report UBLCS-93-7, The Technical University of Berlin, April 1993.
9. P. Ciancarini and D. Rossi. Jada: Coordination and Communication for Java Agents. In J. Vitek and C. Tschudin, editors, Mobile Agent Systems: Towards the Programmable Internet, volume 1222 of LNCS, 1997.
10. L. Dami. Type Inference and Subtyping in Higher-Order Generative Communication. In D. Tsichritzis, editor, Object Applications. University of Geneva, 1996.
11. R. DeNicola, G. Ferrari, and R. Pugliese. Coordinating Mobile Agents via Blackboards and Access Rights. In Proc, 2nd Int. Conf. on Coordination Models and Languages, volume 1282 of LNCS, September 1997.
12. C. Pournet, G. Gonthier, J.-J. Levy, L. Maranget, and D. Remy. A calculus of mobile agents. In CONCUR96, 1996.
13. D. Gelernter. Multiple Tuple Spaces in Linda. In E. Odijk, M. Rem, and J. Syre, editors, Proc, Conf, on Parallel Architectures and Languages Europe (PARLE 89), volume 365 of LNCS. Springer-Verlag, Berlin, 1989.
14. K. Honda and M. Tokoro. On asynchronous communication semantics. In M. Tokoro, O. Nierstrasz, and P. Wegner, editors, Object-Based Concurrent Computing. LNCS 612, pages 21-51, 1992.
15. 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.
16. R. Jellinghaus. Eiffel Linda: an Object Oriented Linda Dialect. ACM Sigplan Notices, 25(12), December 1990.
17. G. Matos and J. Purtilo. Reconfiguration of hierarchical tuple spaces: Experiments with Linda-polylith. Technical report, University of Maryland.
18. S. Matsouka and 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. J.-H. Morin and D. Konstantas. Hypernews: A MEDIA application for the commercialization of an electronic newspaper. In Proceesings of SAC '98 - The 1998 ACM Symposium on Applied Computing, Marriott Marquis, Atlanta, Georgia, U.S.A, Feb. 27 - Mar. 1 1998.
20. N. B. of Standards. The Data Encryption Standard. Technical Report Publication 46, Federal Information Processing Standards, January 1977.
21. A. Poize. The Object Space Approach: Decoupled Communication in C++. In Proc. Technology of Object-Oriented Languages and Systems (TOOLS 93), 1993.
22. R. Rivest, A. Shamir, and L. Aldeman. A Method for Obtaining Digital Signatures and Public-Key Cryptosystems. GAGM, 21(2), 1978.
23. Sun MicroSystems. JavaSpaces Specification. Technical report, Sun MicroSystems Inc., July 1998.
24. D. Tennenhouse. Active networks. In USENIX, editor, 2nd Symposium on Operating Systems Design and Implementation (OSDI '96), October 28-31, 1996. Seattle, WA, 1996.
25. R. Tolksdorf. Alice - Basic Model and Subtyping Agents. Technical Report 1993/7, The Technical University of Berlin, 1993.
26. R. Tolksdorf. Coordinating Java Agents with Multiple Coordination Languages on the Berlinda Platform. In IEEE Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETIGE), 1997.
27. R. Tolksdorf. Laura: A Service-Based Coordination Language. Science of Computer Programming, 31, 1998.
28. J. Vitek and C. Bryce. Secure Mobile Code: The JavaSeal experiment. In submitted for publication, 1999.
29. J. Vitek, C. Bryce, and W. Binder. Designing JavaSeal: or How to make Java safe for agents. In D. Tsichritzis, editor, Electronic Commerce Objects. University of Geneva, 1998.
30. J. Vitek and G. Castagna. A calculus of secure mobile computations. In Proceedings of the IEEE Workshop on Internet Programming Languages, (WIPL). Chicago, 111., 1998.
31. B. S. Yee. A sanctuary for mobile agents. Technical Report CS97-537, UC San Diego, Department of Computer Science and Engineering, Apr. 1997.