Limiting trust in the storage stack

Proceedings of the Second ACM International Workshop on Storage Security and Survivability, Storage SS'06. Co-located with the 13th ACM Conference on Computer and Communications Security, CCS'06

Volumn , Issue , 2006, Pages 53-60

  Bairavasundaram, Lakshmi N ^a   Rungta, Meenali ^a   Arpaci Dusseau, Andrea C ^a   Arpaci Dusseau, Remzi H ^a  

^a UNIVERSITY OF WISCONSIN MADISON   (United States)

Author keywords

Pointer corruption; Type aware corruption; Verifiable invariants

Indexed keywords

POINTER CORRUPTION; TRUSTWORTHINESS; TYPE-AWARE CORRUPTION; VERIFIABLE INVARIANTS;

COMMUNICATION CHANNELS (INFORMATION THEORY); COMPUTER SYSTEM RECOVERY; ERROR ANALYSIS; FILE ORGANIZATION; WINDOWS OPERATING SYSTEM;

DATA STORAGE EQUIPMENT;

EID: 34547452351     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1179559.1179569     Document Type: Conference Paper

References (27)

1. A. Altaparmakov. The Linux-NTFS Project. http://linnx-ntfs.sourceforge. net/ntfs, August 2005.
2. A. Chou, J.-F. Yang, B. Chelf, S. Hallem, and D. Engler. An Empirical Study of Operating System Errors. In Proceedings of the 18th ACM Symposium on Operating Systems Principles (SOSP 01), pages 73-88, Banff, Canada, October 2001.
3. G. R. Ganger and Y. N. Patt. Metadata Update Performance in File Systems. In Proceedings of the 1st Symposium on Operating Systems Design and Implementation (OSDI '94), pages 49-60, Monterey, California, November 1994.
4. R. Green. EIDE Controller Flaws Version 24. http://mindprod.com/jgloss/ eideflaw.html, 2005.
5. R. Hagmann. Reimplementing the Cedar File System Using Logging and Group Commit. In Proceedings of the 11th ACM Symposium on Operating Systems Principles (SOSP '87), Austin, Texas, November 1987.
6. T. Jim, G. Morrisett, D. Grossman, M. Hicks, J. Cheney, and Y. Wang. Cyclone: A Safe Dialect of C. In Proceedings of the USENIX Annual Technical Conference (USENIX '02), Monterey, California, June 2002.
7. H. H. Kari. Latent Sector Faults and Reliability of Disk Arrays. PhD thesis, Helsinki University of Technology, September 1997.
8. B. Lewis. Smart Filers and Dumb Disks. NSIC OSD Working Group Meeting, April 1999.
9. J. Li, M. Krohn, D. Mazires, and D. Shasha. Secure untrusted data repository (sundr). In Proceedings of the 6th Symposium on Operating Systems Design and Implementation (OSDI '04), San Francisco, California, December 2004.
10. M. K. McKusick, W. N. Joy, S. J. Leffler, and R. S. Fabry. A Fast File System for UNIX. ACM Transactions on Computer Systems, 2(3):181-197, August 1984.
11. G. C. Necula, J. Condit, M. Harren, S. McPeak, and W. Weimer. CCured: Type-Safe Retrofitting of Legacy Software. A CM Transactions on Programming Languages and Systems, 27(3), May 2005.
12. B. C. Pierce. Types and Programming Languages. MIT Press, 2002.
13. V. Prabhakaran, L. N. Bairavasundaram, N. Agrawal, H. S. Gunawi, A. C. Arpaci-Dusseau, and R. H. Arpaci-Dusseau. IRON File Systems. In Proceedings of the 20th ACM Symposium on Operating Systems Principles (SOSP '05), pages 206-220, Brighton, United Kingdom, October 2005.
14. E. Riedel, M. Kallahalla, and R. Swaminathan. A Framework for Evaluating Storage System Security. In Proceedings of the 1st USENIX Symposium on File and Storage Technologies (FAST '02), pages 14-29, Monterey, California, January 2002.
15. D. M. Ritchie and K. Thompson. The UNIX Time-Sharing System. Communications of the ACM, 17(7):365-375, July 1974.
16. T. J. Schwarz, Q. Xin, E. L. Miller, D. D. Long, A. Hospodor, and S. Ng. Disk Scrubbing in Large Archival Storage Systems. In Proceedings of the 12th Annual Meeting of the IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS), Volendam, Netherlands, October 2004.
17. M. I. Seltzer, G. R. Ganger, M. K. McKusick, K. A. Smith, C. A. N. Soules, and C. A. Stein. Journaling Versus Soft Updates: Asynchronous Meta-data Protection in File Systems. In Proceedings of the USENIX Annual Technical Conference (USENIX '00), pages 71-84, San Diego, California, June 2000.
18. G. Sivathanu, S. Sundararaman, and E. Zadok. Type-Safe Disks. In Proceedings of the 7th Symposium on Operating Systems Design and Implementation (OSDI '06) (to appear), Seattle, WA, November 2006.
19. M. Sivathanu, A. C. Arpaci-Dusseau, R. H. Arpaci-Dusseau, and S. Jha. A Logic of File Systems. In Proceedings of the 4th USENIX Symposium on File and Storage Technologies (FAST '05), pages 1-15, San Francisco, California, December 2005.
20. C. A. Stein, J. H. Howard, and M. I. Seltzer. Unifying File System Protection. In Proceedings of the USENIX Annual Technical Conference (USENIX 01), Boston, Massachusetts, June 2001.
21. Sun Microsystems. ZFS: The Last Word in File Systems, http://www.sun.com/2004-0914/feature/, 2004.
22. A. Sweeney, D. Doucette, W. Hu, C. Anderson, M. Nishimoto, and G. Peck. Scalability in the XFS File System. In Proceedings of the USENIX Annual Technical Conference (USENIX '96), San Diego, California, January 1996.
23. M. M. Swift, B. N. Bershad, and H. M. Levy. Improving the Reliability of Commodity Operating Systems. In Proceedings of the 19th ACM Symposium on Operating Systems Principles (SOSP '03), Bolton Landing (Lake George), New York, October 2003.
24. N. Talagala and D. Patterson. An Analysis of Error Behaviour in a Large Storage System. In The IEEE Workshop on Fault Tolerance in Parallel and Distributed Systems, San Juan, Puerto Rico, April 1999.
25. T. Ts'o and S. Tweedie. Future Directions for the Ext2/3 Filesystem. In Proceedings of the USENIX Annual Technical Conference (FREENIX Track), Monterey, California, June 2002.
26. J. Yang, C. Sar, P. Twohey, C. Cadar, and D. Engler. Automatically Generating Malicious Disks using Symbolic Execution. In IEEE Security and Privacy, Berkeley, California, May 2006.
27. J. Yang, P. Twohey, D. Engler, and M. Musuvathi. Using Model Checking to Find Serious File System Errors. In Proceedings of the 6th Symposium on Operating Systems Design and Implementation (OSDI 1/44), San Francisco, California, December 2004.