{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,16]],"date-time":"2026-01-16T11:41:15Z","timestamp":1768563675341,"version":"3.49.0"},"reference-count":31,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[2003,8,1]],"date-time":"2003-08-01T00:00:00Z","timestamp":1059696000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":3650,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2003,8]]},"DOI":"10.1016\/s1571-0661(04)80682-0","type":"journal-article","created":{"date-parts":[[2004,9,29]],"date-time":"2004-09-29T16:47:47Z","timestamp":1096476467000},"page":"17-36","source":"Crossref","is-referenced-by-count":13,"title":["Formal Specification and Enactment of Security Policies through Agent Coordination Contexts"],"prefix":"10.1016","volume":"85","author":[{"given":"Andrea","family":"Omicini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandro","family":"Ricci","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mirko","family":"Viroli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)80682-0_NEWBIB1","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1016\/0304-3975(85)90088-X","article-title":"Algebra of communicating processes with abstraction","volume":"37","author":"Bergstra","year":"1985","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1571-0661(04)80682-0_NEWBIB2","series-title":"\u201cHandbook of Process Algebra\u201d","year":"2001"},{"key":"10.1016\/S1571-0661(04)80682-0_NEWBIB3","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/S0304-3975(99)00226-1","article-title":"A transition system semantics for the control-driven coordination language MANIFOLD","volume":"240","author":"Bonsangue","year":"2000","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1571-0661(04)80682-0_NEWBIB4","unstructured":"Brogi, A. and J.-M. Jacquet, editors, \u201cFOCLASA 2002 - Foundations of Coordination Languages and Software Architecture,\u201d Electronic Notes in Theoretical Computer Science 68(3), Elsevier Science B. V., 2003, CONCUR 2002 Satellite Workshop, 19 August 2002, Brno, Czech Republic. Proceedings."},{"key":"10.1016\/S1571-0661(04)80682-0_NEWBIB5","doi-asserted-by":"crossref","unstructured":"Brogi A., J.-M. Jacquet and I. Linden, On modeling coordination via asynchronous communication and enhanced matching, in: Brogi and Jacquet [4].","DOI":"10.1016\/S1571-0661(05)82568-X"},{"key":"10.1016\/S1571-0661(04)80682-0_NEWBIB6","doi-asserted-by":"crossref","unstructured":"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\u201320, 3rd International Conference (COORDINATION'99), Amsterdam, The Netherlands, 26\u201328 April 1999. Proceedings.","DOI":"10.1007\/3-540-48919-3_3"},{"key":"10.1016\/S1571-0661(04)80682-0_NEWBIB7","series-title":"Coordination of Internet Agents: Models, Technologies, and Applications","first-page":"6","article-title":"Coordination models: A guided tour","author":"Busi","year":"2001"},{"key":"10.1016\/S1571-0661(04)80682-0_NEWBIB8","doi-asserted-by":"crossref","unstructured":"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].","DOI":"10.1016\/S1571-0661(05)80375-5"},{"key":"10.1016\/S1571-0661(04)80682-0_NEWBIB9","doi-asserted-by":"crossref","first-page":"90","DOI":"10.1006\/inco.1999.2823","article-title":"On the expressiveness of Linda coordination primitives","volume":"156","author":"Busi","year":"2000","journal-title":"Information and Computation"},{"key":"10.1016\/S1571-0661(04)80682-0_NEWBIB10","series-title":"Engineering Societies in the Agents World","first-page":"1","article-title":"Engineering social order","author":"Castelfranchi","year":"2000"},{"key":"10.1016\/S1571-0661(04)80682-0_NEWBIB11","doi-asserted-by":"crossref","unstructured":"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\u201388, 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World (MAAMAW'99), Valencia, Spain, 30 June - 2 July 1999. Proceedings.","DOI":"10.1007\/3-540-48437-X_7"},{"key":"10.1016\/S1571-0661(04)80682-0_NEWBIB12","series-title":"Coordination Languages and Models","first-page":"220","article-title":"Coordinating mobile agents via blackboards and access rights","author":"De Nicola","year":"1997"},{"key":"10.1016\/S1571-0661(04)80682-0_NEWBIB13","doi-asserted-by":"crossref","DOI":"10.1109\/32.685256","article-title":"KLAIM: A kernel language for agent interaction and mobility","volume":"24","author":"De Nicola","year":"1998","journal-title":"IEEE Transaction on Software Engineering"},{"key":"10.1016\/S1571-0661(04)80682-0_NEWBIB14","series-title":"4th International Workshop \u201cAgent-Oriented Software Engineering\u201d (AOSE 2003), Melbourne, Australia, 2003, workshop at AAMAS","article-title":"From agents to organisations: an organizational view of multi-agent systems","author":"Ferber","year":"2003"},{"key":"10.1016\/S1571-0661(04)80682-0_NEWBIB15","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1145\/2363.2433","article-title":"Generative communication in Linda","volume":"7","author":"Gelernter","year":"1985","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10.1016\/S1571-0661(04)80682-0_NEWBIB16","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1109\/4434.846192","article-title":"Role modelling for agent systems analysis, design and implementation","volume":"8","author":"Kendall","year":"2000","journal-title":"IEEE Concurrency"},{"key":"10.1016\/S1571-0661(04)80682-0_NEWBIB17","series-title":"\u201cCommunication and Concurrency,\u201d","author":"Milner","year":"1989"},{"key":"10.1016\/S1571-0661(04)80682-0_NEWBIB18","series-title":"Object-Based Models and Language for Concurrent Systems","first-page":"125","article-title":"Law-governed Linda as a coordination model","author":"Minsky","year":"1995"},{"key":"10.1016\/S1571-0661(04)80682-0_NEWBIB19","unstructured":"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\u201317, 6th International Workshop (CIA 2002), Madrid, Spain, 18\u201320 September 2002. Proceedings."},{"key":"10.1016\/S1571-0661(04)80682-0_NEWBIB20","doi-asserted-by":"crossref","unstructured":"Omicni A., On the semantics of tuple-based coordination models, in: 1999 ACM Symposium on Applied Computing (SAC'99) (1999), pp. 175\u2013182, Track on Coordination Models, Languages and Applications.","DOI":"10.1145\/298151.298229"},{"key":"10.1016\/S1571-0661(04)80682-0_NEWBIB21","series-title":"Process Coordination and Ubiquitous Computing","first-page":"187","article-title":"Towards a notion of agent coordination context","author":"Omicini","year":"2002"},{"key":"10.1016\/S1571-0661(04)80682-0_NEWBIB22","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1016\/S0167-6423(01)00011-9","article-title":"From tuple spaces to tuple centres","volume":"41","author":"Omicini","year":"2001","journal-title":"Science of Computer Programming"},{"key":"10.1016\/S1571-0661(04)80682-0_NEWBIB23","first-page":"7","article-title":"Reasoning about organisation: Shaping the infrastructure","volume":"XVI","author":"Omicini","year":"2003","journal-title":"AI\u2217IA Notizie"},{"key":"10.1016\/S1571-0661(04)80682-0_NEWBIB24","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1023\/A:1010060322135","article-title":"Coordination for Internet application development","volume":"2","author":"Omicini","year":"1999","journal-title":"Journal of Autonomous Agents and Multi-Agent Systems"},{"key":"10.1016\/S1571-0661(04)80682-0_NEWBIB25","series-title":"Engineering Societies in the Agents World III","first-page":"96","article-title":"Activity Theory as a framework for MAS coordination","author":"Ricci","year":"2003"},{"key":"10.1016\/S1571-0661(04)80682-0_NEWBIB26","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1109\/2.485845","article-title":"Role-based access control models","volume":"29","author":"Sandhu","year":"1996","journal-title":"IEEE Computer"},{"key":"10.1016\/S1571-0661(04)80682-0_NEWBIB27","series-title":"IEEE Computer Security Foundations Workshop","first-page":"183","article-title":"Separation of duty in role-based environments","author":"Simon","year":"1997"},{"key":"10.1016\/S1571-0661(04)80682-0_NEWBIB28","doi-asserted-by":"crossref","first-page":"1104","DOI":"10.1109\/TC.1980.1675516","article-title":"The contract net protocol: High-level communication and control in a distributed problem solver","volume":"C-29","author":"Smith","year":"1981","journal-title":"IEEE Transactions on Computers"},{"key":"10.1016\/S1571-0661(04)80682-0_NEWBIB29","unstructured":"van Glabbeek, R. J., The linear time - branching time spectrum I. The semantics of concrete, sequential processes, in: Bergstra et al. [2] pp. 3\u2013100."},{"key":"10.1016\/S1571-0661(04)80682-0_NEWBIB30","unstructured":"Viroli M. and A. Omicini, Coordination as a service: Ontological and formal foundation, in: Brogi and Jacquet [4]."},{"key":"10.1016\/S1571-0661(04)80682-0_NEWBIB31","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1142\/S0218194001000505","article-title":"Organisational rules as an abstraction for the analysis and design of multi-agent systems","volume":"11","author":"Zambonelli","year":"2001","journal-title":"International Journal of Software Engineering and Knowledge Engineering"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104806820?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104806820?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,3]],"date-time":"2019-02-03T10:53:13Z","timestamp":1549191193000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104806820"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,8]]},"references-count":31,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2003,8]]}},"alternative-id":["S1571066104806820"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80682-0","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2003,8]]}}}