An OS security architecture for the Linux kernel: https://en.wikipedia.org/wiki/FLASK