Access Control, Security and Trust: A Logical Approach