Formal Specification and Enactment of Security Policies through Agent Coordination Contexts
 |
 |
author = {Omicini, Andrea and Ricci, Alessandro and Viroli, Mirko},
booktitle = {SecCo'03, First International Workshop on Security Issues in Coordination Models, Languages, and Systems (Satellite Event for ICALP 2003)},
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.},
scopus = {2-s2.0-2442460553},
series = {Electronic Notes in Theoretical Computer Science},
title = {Formal Specification and Enactment of Security Policies through {A}gent {C}oordination {C}ontexts},
volume = 85,
year = 2003
}