Formal Specification and Enactment of Security Policies through Agent Coordination Contexts-Reference-Cited by-同舟云学术

Formal Specification and Enactment of Security Policies through Agent Coordination Contexts

Published:2003-08 Issue:3 Volume:85 Page:17-36
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

Omicini Andrea,Ricci Alessandro,Viroli Mirko

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference31 articles.

1. Algebra of communicating processes with abstraction;Bergstra;Theoretical Computer Science,1985

2. “Handbook of Process Algebra”,2001

3. A transition system semantics for the control-driven coordination language MANIFOLD;Bonsangue;Theoretical Computer Science,2000

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].

Cited by 9 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Agents, Intelligence and Tools;Lecture Notes in Computer Science;2009

2. INFRASTRUCTURE FOR RBAC-MAS: AN APPROACH BASED ON AGENT COORDINATION CONTEXTS;Applied Artificial Intelligence;2007-04-25

3. Agens Faber: Toward a Theory of Artefacts for MAS;Electronic Notes in Theoretical Computer Science;2006-05

4. An algebraic approach for modelling organisation, roles and contexts in MAS;Applicable Algebra in Engineering, Communication and Computing;2005-07-07

5. Process algebra and constraint programming for modeling interactions in MAS;Applicable Algebra in Engineering, Communication and Computing;2005-05-31