Formal Analysis of Dynamic, Distributed File-System Access Controls

Appeared in Proceedings of the 26th IFIP WG6.1 International Conference on Formal Methods for Networked and Distributed Systems (FORTE '06).

Publication date:
September 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-forte,
  author       = {Avik Chaudhuri and Martín Abadi},
  title        = {Formal Analysis of Dynamic, Distributed File-System Access
Controls},
  booktitle = {Proceedings of the 26th IFIP WG6.1 International Conference on
Formal Methods for Networked and Distributed Systems (FORTE
'06)},
  pages        = {99-114},
  month        = sep,
  year         = {2006},
}
Last modified 16 Sep 2008