Proof theory for authorization logic and its ... Proof theory for authorization logic and its application to a practical file system.