Agent Coordination Contexts for the Formal Specification and Enactment of Coordination and Security Policies

@article{acc-scp63,
   acm = {10.1016/j.scico.2005.07.014},
   author = {Omicini, Andrea and Ricci, Alessandro and Viroli, Mirko},
   doi = {10.1016/j.scico.2005.07.014},
   editor = {Zavattaro, Gianluigi and Focardi, Riccardo},
   iris = {11585/29647},
   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.},
   scopus = {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},
   volume = 63,
   wos = {000241356300006},
   year = 2006
}