The Enforcement of Security Policies for Computation.

Anita K. Jones, Richard J. Lipton

Browse the full SOSP paper archive.