THIS IS THE ARCHIVED SSRC SITE
The SSRC was active from 2001–2024.
This archived site is maintained by Ethan L. Miller.
The current CRSS site is at https://www.crss.us/. Please contact the current CRSS Director (Heiner Litz) if you have issues accessing the CRSS site.

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},
}
Last modified 28 May 2019