secrecy by typing and file-access control (2006)

by Avik Chaudhuri, Martín Abadi
Venue:In Proc. of the 19th IEEE Computer Security Foundations Workshop