Formal Security Analysis of Basic Network-Attached Storage

Appeared in Proceedings of the 3rd ACM Workshop on Formal Methods in Security Engineering (FMSE'05).

Publication date:
November 2005

Authors:
Avik Chaudhuri
Martín Abadi

Projects:
Secure File and Storage Systems

Available media

Full paper text: PDF

Bibtex entry

@inproceedings{chaudhuri-fmse05,
  author       = {Avik Chaudhuri and Martín Abadi},
  title        = {Formal Security Analysis of Basic Network-Attached Storage},
  booktitle    = {Proceedings of the 3rd ACM Workshop on Formal Methods in Security Engineering (FMSE'05)},
  pages        = {43-52},
  month        = nov,
  year         = {2005},
}