Limiting trust in the storage stack

Authors:
Lakshmi N. Bairavasundaram;Meenali Rungta;Andrea C. Arpaci-Dusseau;Remzi H. Arpaci-Dusseau
Affiliations:
University of Wisconsin, Madison;University of Wisconsin, Madison;University of Wisconsin, Madison;University of Wisconsin, Madison
Venue:
Proceedings of the second ACM workshop on Storage security and survivability
Year:
2006

Citing 20
Cited 0

A fast file system for UNIX

ACM Transactions on Computer Systems (TOCS)
Reimplementing the Cedar file system using logging and group commit

SOSP '87 Proceedings of the eleventh ACM Symposium on Operating systems principles
The UNIX time-sharing system

Communications of the ACM
An empirical study of operating systems errors

SOSP '01 Proceedings of the eighteenth ACM symposium on Operating systems principles
Types and programming languages

Types and programming languages
Cyclone: A Safe Dialect of C

ATEC '02 Proceedings of the General Track of the annual conference on USENIX Annual Technical Conference
Unifying File System Protection

Proceedings of the General Track: 2002 USENIX Annual Technical Conference
Planned Extensions to the Linux Ext2/Ext3 Filesystem

Proceedings of the FREENIX Track: 2002 USENIX Annual Technical Conference
Improving the reliability of commodity operating systems

SOSP '03 Proceedings of the nineteenth ACM symposium on Operating systems principles
Disk Scrubbing in Large Archival Storage Systems

MASCOTS '04 Proceedings of the The IEEE Computer Society's 12th Annual International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems
CCured: type-safe retrofitting of legacy software

ACM Transactions on Programming Languages and Systems (TOPLAS)
A Framework for Evaluating Storage System Security

FAST '02 Proceedings of the 1st USENIX Conference on File and Storage Technologies
IRON file systems

Proceedings of the twentieth ACM symposium on Operating systems principles
Automatically Generating Malicious Disks using Symbolic Execution

SP '06 Proceedings of the 2006 IEEE Symposium on Security and Privacy
A logic of file systems

FAST'05 Proceedings of the 4th conference on USENIX Conference on File and Storage Technologies - Volume 4
Secure untrusted data repository (SUNDR)

OSDI'04 Proceedings of the 6th conference on Symposium on Opearting Systems Design & Implementation - Volume 6
Using model checking to find serious file system errors

OSDI'04 Proceedings of the 6th conference on Symposium on Opearting Systems Design & Implementation - Volume 6
Type-safe disks

OSDI '06 Proceedings of the 7th USENIX Symposium on Operating Systems Design and Implementation - Volume 7
Journaling versus soft updates: asynchronous meta-data protection in file systems

ATEC '00 Proceedings of the annual conference on USENIX Annual Technical Conference
Scalability in the XFS file system

ATEC '96 Proceedings of the 1996 annual conference on USENIX Annual Technical Conference

Quantified Score

Hi-index	0.00

Visualization

Abstract

We propose a framework for examining trust in the storage stack based on different levels of trustworthiness present across different channels of information flow. We focus on corruption in one of the channels, the data channel and as a case study, we apply type-aware corruption techniques to examine Windows NTFS behavior when on-disk pointers are corrupted. We find that NTFS does not verify on-disk pointers thoroughly before using them and that even established error handling techniques like replication are often used ineffectively. Our study indicates the need to more carefully examine how trust is managed within modern file systems.