I have moved. Please visit my new homepage at http://www.mpi-sws.org/~dg

Deepak Garg

Home       Research papers       Talks       Contact

Proof-Carrying File System (PCFS)

PCFS is an implementation of proof-carrying authorization (PCA) inside a file system. Through a combination of proofs and cryptographic capabilities, PCFS rigorously enforces complex user-defined access policies that are expressed as logical formulas. The current release of PCFS is v2.1.1. This release includes all source code, and a step-by-step tutorial on setting up the file system and using it. Also included is a sample scenario, complete with policies. The logic for representing policies in PCFS is called BL. Links to papers describing both PCFS and BL can be found below.

[Download PCFS]

Papers and Reports

Related Papers