C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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