A formal theoretical basis for authorization — BL Authorization Logiccs.cmu.edu1 point·e0m··0 commentsOpen articleSaveView on HN