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).

Available for download:

Bibtex entry

@inproceedings{
  author       = {Avik Chaudhuri and Martín Abadi},
  title        = {Formal Analysis of Dynamic, Distributed File-System Access Controls},
  howpublished = {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},
}