Safe tuplespace-based coordination in multiagent systems

Applied Artificial Intelligence

Volumn 15, Issue 1, 2001, Pages 11-33

  Minsky, Naftaly H ^a   Ungureanu, Victoria ^a   Minsky, Yaron M ^b  

^a RUTGERS UNIVERSITY   (United States)

^b Department of Computer Science and School of Operations Research and Information Engineering   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CONGESTION CONTROL (COMMUNICATION); DISTRIBUTED COMPUTER SYSTEMS; INTELLIGENT AGENTS; MATHEMATICAL MODELS; MULTI AGENT SYSTEMS; PROLOG (PROGRAMMING LANGUAGE); SECURITY OF DATA;

HIGH-LEVEL COORDINATION MODEL; LAW-GOVERNED INTERACTION; TUPLESPACE-BASED COORDINATION;

ARTIFICIAL INTELLIGENCE;

EID: 0011221308     PISSN: 08839514     EISSN: None     Source Type: Journal    
DOI: 10.1080/08839510150204590     Document Type: Article

References (32)

1. Ao, X., N. H. Minsky, T. D. Nguyen, and V. Ungureanu. 2000. Law-governed Internet community. Technical report, Rutgers University, LCSR, New Brunswick, NJ.
2. Arnold, K., B. O'Sullivan, R. W. Scheifler, J. Waldo, and A. Wollrath. 1999. The Jini specification. Reading, MA: Addison-Wesley.
3. Brewer, D. and M. Nash. 1989. The Chinese Wall security policy. In Proceedings of the IEEE Symposium in Security and Privacy, pp. 206-211. IEEE Computer Society.
4. Brown, M. 1998. Agents with changing and conflicting commitments: A preliminary study. In Proc. of Fourth International Conference on Deontic Logic in Computer Science (DEON'98), January.
5. Bryce, C., and M. Cremonini. 2000. Coordination and security on the internet. In A. Omicini, F. Zambonelli, R. Tolksdorf, and M. Klusch, eds., Coordination of Internet agents: Models, technologies and applications. New York: Springer-Verlag.
6. Bryce, C., M. Oriol, and J. Vitek. 1999. A coordination model for agents based on secure spaces. In Proc. of Coordination '99: Third International Conference on Coordination Models and Languages, eds. P. Ciancarini and A. L. Wolf, LNCS, 1594, pp. 4-20.
7. Carriero, N., and D. Gelernter. 1989. Linda in context. Communications of the ACM 32(4): 444-458.
8. Ciancarini, P. 1991. Enacting rule-based software processes with polis. Technical Report, University of Pisa. Pisa, Italy, October 1991.
9. Clocksin, W. F., and C. S. Mellish. 1986. Programming in Prolog. New York: Springer-Verlag.
10. De Nicola, R., G. Ferrari, and R. Pugliese. 1997. Coordinating mobile agents via blackboards and access rights. In D. Garlan and D. Le Metayer, eds., Proc. of Coordination '97: Second International Conference on Coordination Models and Languages, LNCS 1282, pp. 221-237.
11. Denti, E., and A. Omicini. 1999. An architecture for tuple-based coordination of multi-agent systems. Software-Practice & Experience 29(12): 1103-1121.
12. Denti, E., A. Natali, and A. Omicini. 1997. Programmable coordination media. In D. Garlan and D. Le Metayer, eds., Proc. of Coordination'97: Second International Conference on Coordination Models and Languages, LNCS 1282, pp. 274-288.
13. Freeman, E., S. Hupfer, and K. Arnold. 1999. JavaS-paces(TM) principles, patterns and practice (The Jini(TM) Technology Series). Reading, MA: Addison-Wesley.
14. Gelernter, D., and N. Carriero. 1992. Coordination languages and their significance. Communications of the ACM 35(2):97-107.
15. Linington, P. F., Z. Milosevic, and K. Raymond. 1998. Policies in communities: Extending the odb enterprise viewpoint. In Proceedings of the Second International Enterprise Distributed Object Computing (EDOC98) Conference. Piscataway, NJ: IEEE.
16. Linington, P. F. 1999. Options for expressing ODP enterprise communities and their policies by using UML. In Proceedings of the Third International Enterprise Distributed Object Computing (EDOC99) Conference. Piscataway, NJ: IEEE.
17. Meyer, J. J. Ch, R. J. Wieringa, and F. P. M. Dignum. 1998. The role of deontic logic in the specification of information systems. In J. Chomicki and G. Saake, eds., Logic for databases and information systems. Norwell, MA: Kluwer.
18. Minsky, N. H., and J. Leichter. 1995. Law-governed Linda as a coordination model. In Objects-based models and languages for concurrent systems, eds. P. Ciancarini, O. Nierstrasz, and A. Yonezawa, Lecture Notes in Computer Science 924, pp. 125-146. New York: Springer-Verlag.
19. Minsky, N. H., and V. Ungureanu. 1998a. A mechanism for establishing policies for electronic commerce. In 18th International Conference on Distributed Computing Systems (ICDCS), pp. 322-331. Amsterdam, The Netherlands, May 1998.
20. Minsky, N. H., and V. Ungureanu. 1998b. Unified support for heterogeneous security policies in distributed systems. In 7th USENIX Security Symposium, pp. 131-142. San Antonio, Texas, January 1998.
21. Minsky, N. H., and V. Ungureanu. 2000. Law-governed interaction: A coordination and control mechanism for heterogeneous distributed systems. TOSEM, ACM Transactions on Software Engineering and Methodology, to appear. Currently available through http://www.cs.rutgers.edu/∼minsky/
22. Minsky, N. H. 1991. The imposition of protocols over open distributed systems. IEEE Transactions on Software Engineering.
23. Pinakis, J. 1992. Providing directed communication in Linda. In Proceedings of the 15th Australian Computer Science Conf., pp. 731-743.
24. Rivest, R. 1992. The MD5 message digest algorithm. Technical Report, MIT, RFC 1320.
25. Roscheisen, M. and T. Winograd. 1996. A communication agreement framework for access/action control. In Proceedings of the IEEE Symposium on Security and Privacy. Oakland, California, May 1996.
26. Schneier, B. 1996. Applied cryptography. New York: John Wiley and Sons.
27. Sloman, M. 1994. Policy driven management for distributed systems Journal of Network and Systems Management 2(4): 1994.
28. Smith, S. W., and S. H. Weingart, 1999. Building a high-performance, programmable secure coprocessor. Computer Networks 31:831-860.
29. Tarau, P. 1993. Language issues and programming techniques in Bin-Prolog. In Proceedings of the Gulp'93 Conference.
30. Ungureanu, V. 2000. A mechanism for supporting communication policies in distributed systems, Ph.D. thesis, Rutgers University New Brunswick, NJ. Obtainable from ungurean@cs.rutgers.edu
31. Wyckoff, P., W. McLaughry, T. J. Lehman, and D. A. Ford. 1998. TSpaces. IBM Journal of Research and Development 37:454-474.
32. Yee, B. 1994. Using secure coprocessors, Ph.D. thesis, Carnegie Mellon University Pittsburgh, PA.