Automated generation of enforcement mechanisms for semantically-rich security policies in Java-based multi-agent systems