Automated generation of enforcement mechanisms for semantically-rich security policies in Java-based multi-agent systems | IEEE Conference Publication | IEEE Xplore