Secure Internet Programming - menu
Secure Internet Programming
Home
Projects
People
Publications
Support
Seminar
History
FAQ
Princeton University
Department of Computer Science

sip@cs.princeton.edu

Proof-Carrying Authorization Software

Our prototype implementation of a web access-control system based on proof-carrying authorization is available for download. The current version is 0.9 and was released on 24 June 2002.

This code is researchware -- it is a tool for learning more about proof-carrying authorization, not a well-developed application. Unfortunately, we don't have time to provide bug fixes and tech support.

Please consult the README and INSTRUCTIONS files for more information.

Comments are welcome at lbauer@cs.princeton.edu.