Permission and Authority Revisited: towards a formalization

   Abstract