Download now Free registration required
The authors present a translation from a logic of access control with a "Says" operator to the classical modal logic S4. They prove that the translation is sound and complete. They also show that it extends to logics with boolean combinations of principals and with a "Speaks for" relation. While a straightforward definition of this relation requires second-order quantifiers, they use their translation for obtaining alternative, quantifier-free presentations. They also derive decidability and complexity results for the logics of access control.
- Format: PDF
- Size: 193.01 KB