Formal security analysis of basic network-attached storage

FMSE'05: Proceedings of the 2005 ACM Workshop on Formal Methods in Security Engineering

Volumn , Issue , 2005, Pages 43-52

  Chaudhuri, Avik ^a   Abadi, Martín ^a  

^a University of California Santa Cruz   (United States)

Author keywords

Applied pi calculus; Full abstraction; Secure storage

Indexed keywords

APPLIED PI CALCULUS; FULL ABSTRACTION; SECURE STORAGE;

COMPUTER NETWORKS; MATHEMATICAL MODELS; SECURITY OF DATA;

FORMAL LOGIC;

EID: 31844452409     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1103576.1103583     Document Type: Conference Paper

References (21)

1. M. Abadi. Protection in programming-language translations. In ICALP '98: Proceedings of the 25th International Colloquium on Automata, Languages and Programming, pages 868-883. Springer-Verlag, 1998.
2. M. Abadi. Secrecy by typing in security protocols. Journal of the ACM, 46(5):749-786, 1999.
3. M. Abadi and C. Fournet. Mobile values, new names, and secure communication. In POPL '01: Proceedings of the 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 104-115. ACM Press, 2001.
4. M. Abadi, C. Fournet, and G. Gonthier. Authentication primitives and their compilation. In POPL '00: Proceedings of the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 302-315. ACM Press, 2000.
5. M. Abadi, C. Fournet, and G. Gonthier. Secure implementation of channel abstractions. Information and Computation, 174(1):37-83, Apr. 2002.
6. M. Abadi and A. D. Gordon. A calculus for cryptographic protocols: The spi calculus. Technical Report SRC-RR-149, Digital Systems Research Center, Palo Alto CA, January 1998.
7. B. Blanchet, Automatic Proof of Strong Secrecy for Security Protocols. In IEEE Symposium on Security and Privacy, pages 86-100, May 2004.
8. M. Burrows, M. Abadi, and R. Needham. A logic of authentication. Proceedings of the Royal Society of London A, 426:233-271, 1989. A preliminary version appeared as Digital Equipment Corporation Systems Research Center report No. 39, February 1989.
9. G. A. Gibson, D. P. Nagle, K. Amiri, F. W. Chang, E. Feinberg, H. G. C. Lee, B. Ozceri, E. Riedel, and D. Rochberg. A case for network-attached secure disks. Technical Report CMU-CS-96-142, 1996.
10. H. Gobioff. Security for a High Performance Commodity Storage Subsystem. PhD thesis, Carnegie Mellon University, 1999.
11. H. Gobioff, G. Gibson, and J. Tygar. Security for network attached storage devices. Technical Report CMU-CS-97-185, Carnegie Mellon University, October 1997.
12. A. D. Gordon and A. Jeffrey. Typing correspondence assertions for communication protocols. Theoretical Computer Science, 300(1-3):379-409, 2003.
13. A. Kennedy, Untrustworthy programming languages. Talk at the Joint Queen Mary/Imperial College Seminar series, May 2005. Slides available at http://research.microsoft.com/~akenn/sec/index.html.
14. L. Lamport. Specifying Systems: The TLA + Language and Tools for Hardware and Software Engineers. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 2002.
15. D. Mazières and D. Shasha. Building secure file systems out of byzantine storage. In PODC '02: Proceedings of the 21st Symposium on Principles of Distributed Computing, pages 108-117. ACM Press, 2002.
16. E. L. Miller, D. D. E. Long, W. E. Freeman, and B. Reed. Strong security for network-attached storage. In FAST '02: Proceedings of the Conference on File and Storage Technologies, pages 1-13. USENIX Association, 2002.
17. R. Milner. Fully abstract models of typed lambda-calculi. Theoretical Computer Science, 4(1):1-22, 1977.
18. R. Milner. The polyadic pi-calculus: a tutorial. In F. L. Bauer, W. Brauer, and H. Schwichtenberg, editors, Logic and Algebra of Specification, pages 203-246. Springer-Verlag, 1993.
19. R. D. Nicola and M. C. B. Hennessy. Testing equivalences for processes. Theoretical Computer Science, 34(1-2):83-133, Nov. 1984.
20. B. C. Reed, E. G. Chron, R. C. Burns, and D. D. E. Long. Authenticating network-attached storage. IEEE Micro, 20(1):49-57, Jan. 2000.
21. Y. Zhu and Y. Hu. SNARE: A strong security scheme for network-attached storage. In SRDS '03: Proceedings of the 22nd Symposium on Reliable Distributed Systems, pages 250-259. IEEE Computer Society, 2003.