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 for download:

Full text:
Download as PDF

Bibtex entry

@inproceedings{chaudhuri06-csfw,
  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},
}
Last modified 16 Sep 2008