The Jeddak Project
The Jeddak Project is developing ways to allow sensitive information to be shared in networked environments while controlling its further distribution. The Jeddak approach includes languages for specifying policies, compile-time checking of software against policies, and run-time auditing to enforce accountability.