Accountability for Information Flow via Explicit Formal Proof (243)

Principal Investigator: Michael Reiter 
Funding Agency: Carnegie Mellon University/AFSOR 
Agency Number: 1150060-99245

Abstract
In this work, Prof. Reiter will collaborate with Prof. Bauer in advising a CMU PhD student working on the project, in the area of designing a proof-carrying authorization architecture for implementation in a file system context. More generally, he will collaborate with the other co-PIs on the project in the design of logical mechanisms for enforcing access-control and information-flow policies.