Avik Chaudhuri, Martin Abadi  Home/Search
Context
Related
| ucsc.edu/~avik/papers/fsabnas.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: ucsc.edu/~avik/index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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 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 design. (Update)
Similar documents (at the sentence level):
6.0%: Formal Security Analysis of Basic Network-Attached Storage - Chaudhuri, Abadi (Correct)
Active bibliography (related documents): More All
0.2: A Generalized Birthday Problem (extended abstract) - Wagner (2002) (Correct)
0.2: A Generalized Birthday Problem - Wagner (2002) (Correct)
0.2: Block-Level Security for Network-Attached Disks - Aguilera, Ji, Lillibridge.. (2003) (Correct)
Similar documents based on text:
5.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ chaudhuri-formal,
author = "Avik Chaudhuri and Martin Abadi",
title = "Formal Security Analysis of Basic Network-Attached Storage",
url = "citeseer.ist.psu.edu/chaudhuri05formal.html" }
Citations (may not include all citations):404 A calculus for cryptographic protocols: The spi calculus - Abadi, Gordon - 1998
302 A logic of authentication - Burrows, Abadi et al. - 1989
168 Testing equivalences for processes (context) - Nicola, Hennessy - 1984
158 Secrecy by typing in security protocols - Abadi - 1999
72 Fully abstract models of typed lambda-calculi (context) - Milner - 1977
46 Secure implementation of channel abstractions - Abadi, Fournet et al. - 2002
43 The polyadic pi-calculus: a tutorial - Milner - 1993
41 iandC.Fournet.Mobilevalues,newnames, and secure communicatio.. (context) - Abad - 2001
32 Typing correspondence assertions for communication protocols - Gordon, Je - 2003
29 Protection in programming-language translations - Abadi - 1998
24 A case for network-attached secure disks - Gibson, Nagle et al. - 1996
23 Authentication primitives and their compilation - Abadi, Fournet et al. - 2000
18 Security for network attached storage devices - Gobio, Gibson et al. - 1997
18 Specifying Systems: The TLA+ Language and Tools for Hardware.. (context) - Lamport - 2002
14 Building secure file systems out of byzantine storage - Mazieres, Shasha - 2002
11 Authenticating network-attached storage (context) - Reed, Chron et al. - 2000
10 Automatic Proof of Strong Secrecy for Security Protocols (context) - Blanchet - 2004
10 Strong security for network-attached storage - Miller, Long et al. - 2002
4 Security for a High Performance Commodity Storage Subsystem (context) - Gobio - 1999
2 Talk Joint Queen MaryImperial College Seminar serie (context) - programming, at et al. - 2005
Documents on the same site (http://www.cse.ucsc.edu/~avik/index.html):
Formal Security Analysis of Basic Network-Attached Storage - Chaudhuri, Abadi (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC