- APICe
- Publications
- Formal Specification and Enactment of Security Policies through Agent Coordination Contexts
Formal Specification and Enactment of Security Policies through Agent Coordination Contexts
Andrea Omicini, Alessandro Ricci, Mirko Viroli
SecCo'03, First International Workshop on Security Issues in Coordination Models, Languages, and Systems (Satellite Event for ICALP 2003), pages 17-36
Electronic Notes in Theoretical Computer Science 85(3), August 2003
Elsevier Science B.V.
Riccardo Focardi, Gianluigi Zavattaro (eds.)
1st International Workshop "Security Issues in Coordination Models, Languages and Systems'' (SecCo 2003), Eindhoven, The Netherlands, 28-29 June 2003. Proceedings
@article{acc-entcs85,
Author = {Omicini, Andrea and Ricci, Alessandro and Viroli, Mirko},
Doi = {10.1016/S1571-0661(04)80682-0},
Editor = {Focardi, Riccardo and Zavattaro, Gianluigi},
Isbn = {0-444-50916-X},
Issn = {1571-0661},
Journal = {Electronic Notes in Theoretical Computer Science},
Month = aug,
Note = {1st International Workshop ``Security Issues in Coordination Models, Languages and Systems'' (SecCo 2003), Eindhoven, The Netherlands, 28--29~} # jun # {~2003. Proceedings},
Number = 3,
Pages = {17--36},
Publisher = {Elsevier Science B.V.},
ScopusId ={2-s2.0-2442460553},
Title = {Formal Specification and Enactment of Security Policies through {A}gent {C}oordination {C}ontexts},
Volume = 85,
Year = 2003}
Author = {Omicini, Andrea and Ricci, Alessandro and Viroli, Mirko},
Doi = {10.1016/S1571-0661(04)80682-0},
Editor = {Focardi, Riccardo and Zavattaro, Gianluigi},
Isbn = {0-444-50916-X},
Issn = {1571-0661},
Journal = {Electronic Notes in Theoretical Computer Science},
Month = aug,
Note = {1st International Workshop ``Security Issues in Coordination Models, Languages and Systems'' (SecCo 2003), Eindhoven, The Netherlands, 28--29~} # jun # {~2003. Proceedings},
Number = 3,
Pages = {17--36},
Publisher = {Elsevier Science B.V.},
ScopusId ={2-s2.0-2442460553},
Title = {Formal Specification and Enactment of Security Policies through {A}gent {C}oordination {C}ontexts},
Volume = 85,
Year = 2003}