A meta-model of access control in a fibred security language