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

Full text:
Download as PDF

Bibtex entry

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