Formal Specification and Enactment of Security Policies through Agent Coordination Contexts

cover