Proof-Carrying File System (PCFS)

Note: This page was last updated in 2010. The content may not be up to date.

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