Access Control, Security, and Trust

Using propositional modal logic to explain access control principles, this work provides the mathema...