Labelled Deductive Systems for Access Control

  title={Labelled Deductive Systems for Access Control},
  author={Krysia Broda and Alessandra Russo}
This paper proposes a Compiled Labelled Deductive System, called ACCLDS, for reasoning about role-based access control in distributed systems, which builds upon Massacci’s tableau system for role-based access control. The ACCLDS system overcomes some of the limitations of Massaci’s approach by combining its multi-modal propositional language with a… CONTINUE READING