Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  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
ABSTRACT
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
design.
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