A Proof-Carrying File System with Revocable and Use-Once Certificates.

Jamie Morgenstern Deepak Garg Frank Pfenning

Published in: STM (2011)

Keyphrases

file system
data transfer
access patterns
theorem prover
search tools
storage devices
metadata management
access control
multi tiered
application specific
theorem proving
flash memory
scalable distributed
storage systems
public key
database
public key infrastructure
user friendly
information systems