A formal theoretical basis for authorization — BL Authorization Logiccs.cmu.edu1 pointe0m14 years ago