Type-safe disks

OSDI 2006 - 7th USENIX Symposium on Operating Systems Design and Implementation

Volumn , Issue , 2006, Pages 15-28

  Sivathanu, Gopalan ^a   Sundararaman, Swaminathan ^a   Zadok, Erez ^a  

^a STONY BROOK UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTICS; SYSTEMS ANALYSIS;

CASE-STUDIES; DATA ACCESS; DISK BLOCK; DISK SYSTEMS; FILE SYSTEMS; STORAGE SYSTEMS;

DIGITAL STORAGE;

EID: 84929602531     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (30)

1. M. K. Aguilera, M. Ji, M. Lillibridge, J. MacCormick, E. Oertli, D. Andersen, M. Burrows, T. Mann, and C. A. Thekkath. Block-Level Security for Network-Attached Disks. In Proc. of the Second USENIX Conf. on File and Storage Technologies, pp. 159–174, San Francisco, CA, March 2003.
2. A. Azagury, V. Dreizin, M. Factor, E. Henis, D. Naor, N. Rinetzky, O. Rodeh, J. Satran, A. Tavory, and L. Yerushalmi. Towards an object store. In Mass Storage Systems and Technologies (MSST), 2003.
3. S. Bauer and N. B. Priyantha. Secure Data Deletion for Linux File Systems. In Proc. of the 10th Usenix Security Symposium, pp. 153–164, Washington, DC, August 2001.
4. B. Bershad, S. Savage, P. Pardyak, E. G. Sirer, D. Becker, M. Fiuczynski, C. Chambers, and S. Eggers. Extensibility, safety, and performance in the SPIN operating system. In Proc. of the 15th ACM Symposium on Operating System Principles, pp. 267–284, Copper Mountain Resort, CO, December 1995.
5. A. D. Birrell and R. M. Needham. A universal file server. In IEEE Transactions on Software Engineering, volume SE-6, pp. 450–453, September 1980.
6. M. Blaze. A Cryptographic File System for Unix. In Proc. of the first ACM Conf. on Computer and Communications Security, pp. 9–16, Fairfax, VA, 1993
7. W. de Jonge, M. F. Kaashoek, and W. C. Hsieh. The logical disk: A new approach to improving file systems. In Proc. of the 19th ACM Symposium on Operating Systems Principles, Bolton Landing, NY, October 2003.
8. T. E. Denehy, A. C. Arpaci-Dusseau, and R. H. Arpaci-Dusseau. Bridging the information gap in storage protocol stacks. In Proc. of the Annual USENIX Technical Conf., pp. 177–190, Monterey, CA, June 2002.
9. R. English and A. Stepanov. Loge: A self-organizing disk controller. HP Labs, Tech. Rep., HPL91(179), 1991.
10. G. R. Ganger. Blurring the Line Between OSes and Storage Devices. Tech. Rep. CMU-CS-01-166, CMU, December 2001.
11. G. A. Gibson, D. F. Nagle, K. Amiri, J. Butler, F. W. Chang, H. Gobioff, C. Hardin, E. Riedel, D. Rochberg, and J. Zelenka. A cost-effective, high-bandwidth storage architecture. In Proc. of the Eighth International Conf. on Architectural Support for Programming Langauges and Operating Systems (ASPLOS-VIII), pp. 92–103, New York, NY, December 1998
12. H. Gobioff. Security for a High Performance Commodity Storage Subsystem. PhD thesis, Carnegie Mellon University, May 1999. cite-seer.ist.psu.edu/article/gobioff99security.html.
13. P. Gutmann. Secure Deletion of Data from Magnetic and Solid-State Memory. In Proc. of the Sixth USENIX UNIX Security Symposium, pp. 77–90, San Jose, CA, July 1996.
14. V. Henson. Chunkfs and continuation inodes. The 2006 Linux Filesystems Workshop (Part III), 2006.
15. G. Hunt, J. Laurus, M. Abadi, M. Aiken, P. Barham, M. Fahndrich, C. Hawblitzel, O. Hodson, S. Levi, N. Murphy, B. Steensgaard, D. Tarditi, T. Wobber, and B. Zill. An Overview of the Singularity Project. Tech. Rep. MSR-TR-2005-135, Microsoft Research, 2005.
16. N. Joukov and E. Zadok. Adding Secure Deletion to Your Favorite File System. In Proc. of the third international IEEE Security In Storage Workshop, San Fransisco, CA, December 2005.
17. J. Katcher. PostMark: A New Filesystem Benchmark. Tech. Rep. TR3022, Network Appliance, 1997. www.netapp.com/tech_library/3022.html.
18. J. MacCormick, N. Murphy, M. Najork, C. Thekkath, and L. Zhou. Boxwood: Abstractions as the Foundation for Storage Infrastructure. In Proc. of the 6th Symposium on Operating Systems Design and Implementation, pp. 105–120, San Francisco, CA, December 2004.
19. M. Mesnier, G. R. Ganger, and E. Riedel. Object based storage. IEEE Communications Magazine, 41, August 2003. ieeexplore.ieee.org.
20. E. Miller, W. Freeman, D. Long, and B. Reed. Strong Security for Network-Attached Storage. In Proc. of the First USENIX Conf. on File and Storage Technologies, pp. 1–13, Monterey, CA, January 2002.
21. E. L. Miller, W. E. Freeman, D. D. E. Long, and B. C. Reed. Strong security for network-attached storage. In USENIX Conf. on File and Storage Technologies (FAST), pp. 1–14, jan 2002.
22. Overwrite, Secure Deletion Software. www.kyuzz.org/antirez/overwrite.
23. R. Perlman. Secure Deletion of Data. In Proc. of the third international IEEE Security In Storage Workshop, San Fransisco, CA, December 2005.
24. M. Sivathanu, A. C. Arpaci-Dusseau, R. H. Arpaci-Dusseau, and S Jha. A Logic of File Systems. In Proc. of the Fourth USENIX Conf. on File and Storage Technologies, pp. 1–16, San Francisco, CA, December 2005.
25. M. Sivathanu, L. N. Bairavasundaram, A. C. Arpaci-Dusseau, and R. H. Arpaci-Dusseau. Life or Death at Block-Level. In Proc. of the 6th Symposium on Operating Systems Design and Implementation, pp. 379–394, San Francisco, CA, December 2004.
26. M. Sivathanu, V. Prabhakaran, A. C. Arpaci-Dusseau, and R. H. Arpaci-Dusseau. Improving Storage System Availability with D-GRAID. In Proc. of the Third USENIX Conf. on File and Storage Technologies, pp. 15–30, San Francisco, CA, March/April 2004.
27. M. Sivathanu, V. Prabhakaran, F. I. Popovici, T. E. Denehy, A. C. Arpaci-Dusseau, and R. H. Arpaci-Dusseau. Semantically-Smart Disk Systems. In Proc. of the Second USENIX Conf. on File and Storage Technologies, pp. 73–88, San Francisco, CA, March 2003.
28. J. D. Strunk, G. R. Goodson, M. L. Scheinholtz, C. A. N. Soules, and G. R. Ganger. Self-Securing Storage: Protecting Data in Compromised Systems. In Proc. of the 4th Usenix Symposium on Operating System Design and Implementation, pp. 165–180, San Diego, CA, October 2000.
29. R. Y. Wang, T. E. Anderson, and D. A. Patterson. Virtual Log Based File Systems for a Programmable Disk. In Proc. of the Third Symposium on Operating Systems Design and Implementation, pp. 29–44, New Orleans, LA, February 1999.
30. C. P. Wright, M. Martino, and E. Zadok. NCryptfs: A Secure and Convenient Cryptographic File System. In Proc. of the Annual USENIX Technical Conf., pp. 197–210, San Antonio, TX, June 2003.