Type enforcement: the new security model
Dan Thomsen · Proceedings of SPIE, the International Society for Optical Engineering/Proceedings of SPIE · 1996
Many modern operating systems and applications focus on functionality not security. Type enforcement is a mechanism that when properly implemented in the operating system can combine high security and functionality. The paper describes how type enforcement can be used to achieve both of these important requirements. The paper also describes a specific implementation of type enforcement, the Sidewinder Internet firewall.