28、基于时空角色的访问控制模型

基于时空角色的访问控制模型

1. 位置关系

不同位置之间可能存在多种关系，这里着重探讨包含关系。直观来讲，如果一个物理位置 plocj 中的所有点都属于另一个物理位置 plock，那么就称 plocj 包含于 plock，用数学公式表示为：∀pi ∈ plocj, pi ∈ plock，记为 plocj ⊆ plock。其中，plocj 被称为被包含位置，plock 被称为包含位置。

对于逻辑位置，若逻辑位置 llocm 对应的物理位置包含于逻辑位置 llocn 对应的物理位置，即 m′(llocm) ⊆ m′(llocn)，则称 llocm 包含于 llocn，记为 llocm ⊆ llocn。

需要注意的是，物理位置可能包含于逻辑位置，反之亦然。此时，可通过映射函数将逻辑位置转换为物理位置，再判断包含关系。同时，假设存在一个名为“universe”的逻辑位置，它包含所有其他位置。后续讨论中，所提及的位置均为逻辑位置。

2. 时间表示

模型使用两种时间信息：时间点和时间间隔。
- 时间点 ：时间点是时间轴上的一个离散点，其精确粒度取决于具体应用。例如，在某些应用中，时间点可能以纳秒为单位测量；而在另一些应用中，则可能以毫秒为单位。
- 时间间隔 ：时间间隔是一组时间点的集合。若构成时间间隔的时间点是连续的，则称该时间间隔为连续时间间隔；否则，称为非连续时间间隔。例如，12 月 25 日上午 9:00 至下午 3:00 是连续时间间隔；3 月周一至周五上午 9:00 至下午 6:00 是非连续时间间隔。用 ti ∈ d 表示 ti 是时间间隔