Formal Security Analysis of Basic Network-Attached Storage

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

Available for download:

Bibtex entry

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