The enforcement of security policies for computation
Proceedings of the fifth symposium on Operating systems principles - SOSP ’75
Richard J Lipton
A hardware architecture for controlling information flow