- Publications
- Formal Specification and Enactment of Security Policies through Agent Coordination Contexts
Formal Specification and Enactment of Security Policies through Agent Coordination Contexts
Riccardo Focardi, Gianluigi Zavattaro (eds.)
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)
Elsevier Science B.V.
August 2003