基于历史时序的访问控制模型研究

摘要

本文提出一种以历史时序数据作为信任基础的访问控制模型.与传统的以信誉度作为信任基础的访问控制模型相比,该模型能给资源拥有者提供细粒度且灵活的访问控制策略,使得应用更加符合实际需求.阐明了该模型的工作思路,提出了一种策略语言,使用时序模态逻辑进行了描述,并对其语法和语义进行了形式化定义,随后给出了一种如何判定访问请求的策略可满足性判定算法.最后以电子商务应用为例说明了该模型的具体应用方式,并与传统的模型进行了比较.