Formal specification and enactment of security policies through agent coordination contexts

Electronic Notes in Theoretical Computer Science

Volumn 85, Issue 3, 2003, Pages 17-36

  Omicini, Andrea ^a   Ricci, Alessandro ^a   Viroli, Mirko ^a  

^a UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; DISTRIBUTED COMPUTER SYSTEMS; LARGE SCALE SYSTEMS; MATHEMATICAL MODELS; MULTI AGENT SYSTEMS; SEMANTICS;

AD-HOC LANGUAGE; AGENT COORDINATION CONTEXT (AC); COORDINATION POLICIES; PROCESS ALGEBRAS;

SECURITY OF DATA;

EID: 2442460553     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80682-0     Document Type: Conference Paper

References (34)

1. Bergstra J.A., Klop J. Algebra of communicating processes with abstraction. Theoretical Computer Science. 37:1985;77-121
2. Bergstra J.A., Ponse A., Smolka S.A. "Handbook of Process Algebra" 2001;North-Holland, Amsterdam, London, New York, Oxford, Paris, Shannon and Tokyo
3. Bonsangue M.M., Arbab F., de Bakker J.W.J., Rutten J.M.M., Scutella A., Zavattaro G. A transition system semantics for the control-driven coordination language MANIFOLD. Theoretical Computer Science. 240:2000;3-47
4. Brogi, A. and J.-M. Jacquet, editors, "FOCLASA 2002 - Foundations of Coordination Languages and Software Architecture," Electronic Notes in Theoretical Computer Science 68(3), Elsevier Science B. V., 2003, CONCUR 2002 Satellite Workshop, 19 August 2002, Brno, Czech Republic. Proceedings.
5. Brogi A., J.-M. Jacquet and I. Linden, On modeling coordination via asynchronous communication and enhanced matching, in: Brogi and Jacquet [4].
6. Bryce C., M. Oriol and J. Vitek, A coordination model for agents based on secure spaces, in: P. Ciancarini and A. L. Wolf, editors, Coordination Languages and Models, LNCS 1594 (1999), pp. 4-20.
7. 3rd International Conference (COORDINATION'99), Amsterdam, The Netherlands, 26-28 April 1999. Proceedings.
8. Busi N., Ciancarini P., Gorrieri R., Zavattaro G. Coordination models: A guided tour. Omicini A., Zambonelli F., Klusch M., Tolksdorf R. Coordination of Internet Agents: Models, Technologies, and Applications. 2001;6-24 Springer-Verlag
9. Busi N., R. Gorrieri, R. Lucchi and G. Zavattaro, SecSpaces: A data-driven coordination model for environments open to untrusted agents, in: Brogi and Jacquet [4].
10. Busi N., Gorrieri R., Zavattaro G. On the expressiveness of Linda coordination primitives. Information and Computation. 156:2000;90-121
11. Castelfranchi C. Engineering social order. Omicini A., Tolksdorf R., Zambonelli F. Engineering Societies in the Agents World. LNAI 1972:2000;1-18
12. Cremonini M., A. Omicini and F. Zambonelli, Multi-agent systems on the Internet: Extending the scope of coordination towards security and topology, in: F. J. Garijo and M. Boman, editors, Multi-Agent Systems Engineering, LNAI 1647 (1999), pp. 77-88.
13. 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World (MAAMAW'99), Valencia, Spain, 30 June - 2 July 1999. Proceedings.
14. De Nicola R., Ferrari G., Pugliese R. Coordinating mobile agents via blackboards and access rights. Coordination Languages and Models. LNCS 1997 :1997;220-237
15. De Nicola R., Ferrari G., Pugliese R. KLAIM: A kernel language for agent interaction and mobility. IEEE Transaction on Software Engineering. 24:1998
16. Ferber J., Gutknecht O., Michel F. From agents to organisations: an organizational view of multi-agent systems. Rosenschein J., Sandholm T., Wooldridge M.J., Yokoo M. 4th International Workshop "Agent-Oriented Software Engineering" (AOSE 2003), Melbourne, Australia, 2003, workshop at AAMAS. 2003
17. Gelernter D. Generative communication in Linda. ACM Transactions on Programming Languages and Systems. 7:1985;80-112
18. Kendall E.A. Role modelling for agent systems analysis, design and implementation. IEEE Concurrency. 8:2000;34-41
19. Milner R. "Communication and Concurrency," 1989;Prentice Hall
20. Minsky N., Leichter J. Law-governed Linda as a coordination model. Ciancarini P., Nierstrasz O., Yonezawa A. Object-Based Models and Language for Concurrent Systems. LNCS 924 :1995;125-146
21. Noriega P. and C. Sierra, Electronic institutions: Future trends and challenges, in: M. Klusch, S. Ossowski and O. Shehory, editors, Cooperative Information Agents VI, LNCS 2246 (2002), pp. 14-17.
22. 6th International Workshop (CIA 2002), Madrid, Spain, 18-20 September 2002. Proceedings.
23. Omicni A., On the semantics of tuple-based coordination models, in: 1999 ACM Symposium on Applied Computing (SAC'99) (1999), pp. 175-182, Track on Coordination Models, Languages and Applications.
24. Omicini A. Towards a notion of agent coordination context. Marinescu D., Lee C. Process Coordination and Ubiquitous Computing. 2002;187-200 CRC Press
25. Omicini A., Denti E. From tuple spaces to tuple centres. Science of Computer Programming. 41:2001;277-294
26. Omicini A., Ricci A. Reasoning about organisation: Shaping the infrastructure. AI*IA Notizie. XVI:2003;7-16
27. Omicini A., Zambonelli F. Coordination for Internet application development. Journal of Autonomous Agents and Multi-Agent Systems. 2:1999;251-269
28. Ricci A., Omicini A., Denti E. Activity Theory as a framework for MAS coordination. Petta P., Tolksdorf R., Zambonelli F. Engineering Societies in the Agents World III. LNCS 2577 :2003;96-110 Springer-Verlag. 3rd International Workshop (ESAW 2002), Madrid, Spain, 16-17 September 2002. Revised Papers
29. Sandhu R.S., Coyne E.J., Feinstein H.L., Youman C.E. Role-based access control models. IEEE Computer. 29:1996;38-47
30. Simon R.T., Zurko M.E. Separation of duty in role-based environments. IEEE Computer Security Foundations Workshop. 1997;183-194
31. Smith R.G. The contract net protocol: High-level communication and control in a distributed problem solver. IEEE Transactions on Computers. C-29:1981;1104-1113
32. van Glabbeek, R. J., The linear time - branching time spectrum I. The semantics of concrete, sequential processes, in: Bergstra et al. [2] pp. 3-100.
33. Viroli M. and A. Omicini, Coordination as a service: Ontological and formal foundation, in: Brogi and Jacquet [4].
34. Zambonelli F., Jennings N.R., Wooldridge M. Organisational rules as an abstraction for the analysis and design of multi-agent systems. International Journal of Software Engineering and Knowledge Engineering. 11:2001;303-328