Pors: proofs of retrievability for large files.

Ari Juels Burton S. Kaliski Jr.

Published in: CCS (2007)

Keyphrases

management system
prior art
theorem proving
databases
file system
theorem prover
natural deduction
formal proofs
file transfer
mathematical proofs
metadata
equational theories
decision procedures
patent retrieval