Summary: Proof Theory for Authorization Logic and its
Application to a Practical File System
Deepak Garg
December 9, 2009
CMU-CS-09-168
School of Computer Science
Carnegie Mellon University
Pittsburgh, PA 15213
Thesis Committee:
Frank Pfenning (Chair)
Martín Abadi
Lujo Bauer
Anupam Datta
Robert Harper
Submitted in partial fulfillment of the requirements
for the degree of Doctor of Philosophy
Copyright c 2009 Deepak Garg
Keywords: Proof theory, access control, file system, logic
Abstract
In most computer systems users' access to resources is controlled using authorization poli-

Source: Andrews, Peter B. - Department of Mathematical Sciences, Carnegie Mellon University

Collections: Mathematics