Formal security analysis of basic network-attached storage

@inproceedings{Chaudhuri2005FormalSA,
  title={Formal security analysis of basic network-attached storage},
  author={Avik Chaudhuri and Mart{\'i}n Abadi},
  booktitle={FMSE},
  year={2005}
}
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional centralized storage. We show the correctness of the implementation by proving that it is fully abstract with respect to the specification. Our result can be viewed as a strong guarantee of security for a basic network-attached storage 

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…