A Proof-Carrying File System.

Deepak Garg Frank Pfenning

Published in: IEEE Symposium on Security and Privacy (2010)

Keyphrases

file system
access patterns
multi tiered
data transfer
flash memory
continuous media
theorem prover
application specific
search tools
storage systems
linear logic
metadata management
scalable distributed
naming conventions
database management systems
document repository
hard disk
theorem proving
business processes