Some ReferencesEnforceable Security Policies Notes by Steve Rogers Enforcing Non-safety Security Policies with Program MonitorsComposing Security Policies in PolymerTemporal Aspects as Security AutomataMark Nichol's project implementing security automata in AspectJ And code
Enforceable Security Policies
Notes by Steve Rogers
Enforcing Non-safety Security Policies with Program Monitors
Composing Security Policies in Polymer
Temporal Aspects as Security Automata
Mark Nichol's project implementing security automata in AspectJ
And code
