Secrecy by Typing and File-Access Control

Proc. 19th IEEE Computer Security Foundations Symposium/Workshop, Venice, Italy (CSF 2006), pp. 112-123

Publication date: January 31, 2006

A. Chaudhuri, M. Abadi