- APICe
- Publications
- Agent Coordination Contexts for the Formal Specification and Enactment of Coordination and Security Policies
Agent Coordination Contexts for the Formal Specification and Enactment of Coordination and Security Policies
Andrea Omicini, Alessandro Ricci, Mirko Viroli
Science of Computer Programming 63(1), pages 88-107, November 2006
Elsevier Science B.V.
Gianluigi Zavattaro, Riccardo Focardi (eds.)
Special Issue on Security Issues in Coordination Models, Languages, and Systems
@article{acc-scp63,
Author = {Omicini, Andrea and Ricci, Alessandro and Viroli, Mirko},
Doi = {10.1016/j.scico.2005.07.014},
Editor = {Zavattaro, Gianluigi and Focardi, Riccardo},
Issn = {0167-6423},
Journal = {Science of Computer Programming},
Keywords = {Coordination; Security; Agent Coordination Context; Formal Specification},
Month = nov,
Note = {Special Issue on Security Issues in Coordination Models, Languages, and Systems},
Number = 1,
Pages = {88--107},
Publisher = {Elsevier Science B.V.},
ScopusId = {2-s2.0-33748754195},
Title = {{A}gent {C}oordination {C}ontexts for the Formal Specification and Enactment of Coordination and Security Policies},
Url = {http://www.sciencedirect.com/science/article/pii/S016764230600102X},
WosId = {000241356300006},
Volume = 63,
Year = 2006}
Author = {Omicini, Andrea and Ricci, Alessandro and Viroli, Mirko},
Doi = {10.1016/j.scico.2005.07.014},
Editor = {Zavattaro, Gianluigi and Focardi, Riccardo},
Issn = {0167-6423},
Journal = {Science of Computer Programming},
Keywords = {Coordination; Security; Agent Coordination Context; Formal Specification},
Month = nov,
Note = {Special Issue on Security Issues in Coordination Models, Languages, and Systems},
Number = 1,
Pages = {88--107},
Publisher = {Elsevier Science B.V.},
ScopusId = {2-s2.0-33748754195},
Title = {{A}gent {C}oordination {C}ontexts for the Formal Specification and Enactment of Coordination and Security Policies},
Url = {http://www.sciencedirect.com/science/article/pii/S016764230600102X},
WosId = {000241356300006},
Volume = 63,
Year = 2006}