Integrity checking in cryptographic file systems with constant trusted storage

  • Authors:
  • Alina Oprea;Michael K. Reiter

  • Affiliations:
  • Computer Science Department, Carnegie Mellon University, Pittsburgh, PA;Electrical & Computer Engineering Department and Computer Science Department, Carnegie Mellon University, Pittsburgh, PA

  • Venue:
  • SS'07 Proceedings of 16th USENIX Security Symposium on USENIX Security Symposium
  • Year:
  • 2007

Quantified Score

Hi-index 0.02

Visualization

Abstract

In this paper we propose two new constructions for protecting the integrity of files in cryptographic file systems. Our constructions are designed to exploit two characteristics of many file-system workloads, namely low entropy of file contents and high sequentiality of file block writes. At the same time, our approaches maintain the best features of the most commonly used algorithm today (Merkle trees), including defense against replay of stale (previously overwritten) blocks and a small, constant amount of trusted storage per file. Via implementations in the EncFS cryptographic file system, we evaluate the performance and storage requirements of our new constructions compared to those of Merkle trees. We conclude with guidelines for choosing the best integrity algorithm depending on typical application workload.