SE547: Security Automata: Polymer [17/20]

Polymer is available at http://www.cs.princeton.edu/sip/projects/polymer/

Uses aspect-oriented techniques to implement execution monitor.

Customer class-loader modifies java bytecodes while loading them to check specified policies.