任何访问控制策略最终可以被模型化为(  )形式，行对应于用户，列对应于目标，矩阵中每一元素表示相应的用户对目标的访问许可。