Language-Based Security for Malicious Mobile Code. Final Report July 9, 2001-September 30, 2007

摘要

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.