SE547: Security Automata: [16/20] Previous pageContentsNext page

Some References

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

Previous pageContentsNext page