A Logical Language for Expressing Authorizations