Language-Based Security for Malicious Mobile Code (2003)

by F B Schneider, D Kozen, G Morrisett, A Myers