Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Formal Security Analysis of Basic NetworkAttached Storage

Summary: Formal Security Analysis of
Basic Network­Attached Storage
Avik Chaudhuri Mart’n Abadi
Department of Computer Science
University of California, Santa Cruz
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 imple­
mentation 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
Categories and Subject Descriptors
F.3.1 [Logics and Meanings of Programs]: Specify­
ing and Verifying and Reasoning about Programs; H.3.4
[Information Storage and Retrieval]: Systems and Soft­
ware---Distributed Systems; D.4.6 [Operating Systems]:
Security and Protection


Source: Abadi, Martín - Department of Computer Science, University of California at Santa Cruz


Collections: Computer Technologies and Information Sciences