Language-Based Security for Malicious Mobile Code
Fred B. Schneider, Dexter C. Kozen, Greg Morrisett, Andrew Myers · 2002
Classical operating system architecture provides support for only a limited class of coarse-grained security policies. Furthermore, system software has grown too large and complicated to be considered trustworthy. To address these shortcomings, we have explored the application of programming language technology, including advanced type-systems, proof systems, analyses, and compilers for realizing new classes of security policies and for reducing or relocating the trusted computing base.