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 media

Full paper text: PDF

Bibtex entry

@inproceedings{chaudhuri-forte06,
  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},
}