Secrecy by Typing and File-Access Control

Appeared in Proceedings of the 19th IEEE Computer Security Foundations Workshop (CSFW '06).

Available for download:

Bibtex entry

@inproceedings{
  author       = {Avik Chaudhuri and Martín Abadi},
  title        = {Secrecy by Typing and File-Access Control},
  howpublished = {Proceedings of the 19th IEEE Computer Security Foundations Workshop (CSFW
'06)},
  pages        = {112-123},
  month        = jul,
  year         = {2006},
}