Combines dynamic and static checking; an extension of Click modular router, customized for active networking in Janos active network OS. Coded in Cyclone. Downloads: paper in PDF, Postscript gzip; slides in PDF, PowerPoint.
The Flask operating system security architecture provides flexible support for security policies. The architecture has previously been implemented in two research operating systems, Mach and Fluke, and is now being implemented in the Linux kernel.