A CASE for Language-Based Protection

Chris Hawblitzel, Thorsten von Eicken
Technical report 98-1670
Department of Computer Science
Cornell University, Ithace, NY
http://www.cs.cornell.edu/slk/papers/TR98-1670.pdf
http://www.cs.cornell.edu/slk/papers/TR98-1670.ps

Language-based protection mechanisms

Advantages of language-based mechanisms

Problems with language-based mechanisms

TCB = trusted computing base