Secrecy by Typing and File-Access Control

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

Publication date:
July 2006

Authors:
Avik Chaudhuri
Martín Abadi

Projects:
Secure File and Storage Systems

Available media

Full paper text: PDF

Bibtex entry

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