Formal Specification and Enactment of Security Policies through Agent Coordination Contexts
暂无分享,去创建一个
[1] Farhad Arbab,et al. A transition system semantics for the control-driven coordination language MANIFOLD , 2000, Theor. Comput. Sci..
[2] Franco Zambonelli,et al. Coordination of Internet Agents: Models, Technologies, and Applications , 2014, Coordination of Internet Agents: Models, Technologies, and Applications.
[3] Roberto Gorrieri,et al. Coordination Models: A Guided Tour , 2001, Coordination of Internet Agents: Models, Technologies, and Applications.
[4] Rob J. van Glabbeek,et al. The Linear Time - Branching Time Spectrum I , 2001, Handbook of Process Algebra.
[5] Andrea Omicini,et al. Activity Theory as a Framework for MAS Coordination , 2002, ESAW.
[6] Cristiano Castelfranchi,et al. Engineering Social Order , 2000, ESAW.
[7] Andrea Omicini,et al. Coordination as a Service: Ontological and Formal Foundation , 2003, Electron. Notes Theor. Comput. Sci..
[8] Rocco De Nicola,et al. Coordinating Mobile Agents via Blackboards and Access Rights , 1997, COORDINATION.
[9] Pablo Noriega,et al. Electronic Institutions: Future Trends and Challenges , 2002, CIA.
[10] Franco Zambonelli,et al. Multi-agent Systems on the Internet: Extending the Scope of Coordination towards Security and Topology , 1999, MAAMAW.
[11] Andrea Omicini. On the semantics of tuple-based coordination models , 1999, SAC '99.
[12] J. Bergstra,et al. Handbook of Process Algebra , 2001 .
[13] Jan Vitek,et al. A Coordination Model for Agents Based on Secure Spaces , 1999 .
[14] Roberto Gorrieri,et al. SecSpaces: a Data-driven Coordination Model for Environments Open to Untrusted Agents , 2003, Electron. Notes Theor. Comput. Sci..
[15] Franco Zambonelli,et al. Coordination for Internet Application Development , 1999, Autonomous Agents and Multi-Agent Systems.
[16] Jacques Ferber,et al. From Agents to Organizations: An Organizational View of Multi-agent Systems , 2003, AOSE.
[17] Ravi S. Sandhu,et al. Role-Based Access Control Models , 1996, Computer.
[18] Andrea Omicini,et al. Towards a Notion of Agent Coordination Context , 2020, Process Coordination and Ubiquitous Computing.
[19] Jan A. Bergstra,et al. Algebra of Communicating Processes with Abstraction , 1985, Theor. Comput. Sci..
[20] R. V. Glabbeek. CHAPTER 1 – The Linear Time - Branching Time Spectrum I.* The Semantics of Concrete, Sequential Processes , 2001 .
[21] Franco Zambonelli,et al. Organisational Rules as an Abstraction for the Analysis and Design of Multi-Agent Systems , 2001, Int. J. Softw. Eng. Knowl. Eng..
[22] Mary Ellen Zurko,et al. Separation of duty in role-based environments , 1997, Proceedings 10th Computer Security Foundations Workshop.
[23] Andrea Omicini,et al. From tuple spaces to tuple centres , 2001, Sci. Comput. Program..
[24] J. van Leeuwen,et al. Engineering Societies in the Agents World II , 2001, Lecture Notes in Computer Science.
[25] Reid G. Smith,et al. The Contract Net Protocol: High-Level Communication and Control in a Distributed Problem Solver , 1980, IEEE Transactions on Computers.
[26] Rocco De Nicola,et al. KLAIM: A Kernel Language for Agents Interaction and Mobility , 1998, IEEE Trans. Software Eng..
[27] Naftaly H. Minsky,et al. Law-Governed Linda as a Coordination Model , 1994, ECOOP Workshop.
[28] Antonio Brogi,et al. On Modeling Coordination via Asynchronous Communication and Enhanced Matching , 2003, Electron. Notes Theor. Comput. Sci..
[29] Elizabeth A. Kendall,et al. Role modeling for agent system analysis, design, and implementation , 2000, IEEE Concurr..
[30] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.
[31] Nicholas R. Jennings. Agent-Oriented Software Engineering , 1999, MAAMAW.
[32] David Gelernter,et al. Generative communication in Linda , 1985, TOPL.
[33] Roberto Gorrieri,et al. On the Expressiveness of Linda Coordination Primitives , 2000, Inf. Comput..
[34] Craig Lee,et al. Process Coordination and Ubiquitous Computing , 2002 .