基于行为逻辑的时序使用控制模型

？着眼于单主体访问操作中的原子行为和时序性质，采用时序模态逻辑，提出一种基于行为的时序使用控制模型。该逻辑框架包含了与授权相关的按时间节点预定义的行为、由主客体属性和系统所表达的状态序列及状态谓词。在给出了一种策略语言后，对其语法和语义进行了形式定义，并根据使用控制(ucon)模型族的行为特性给出了控制策略。该逻辑模型不仅可以形式化描述使用控制基本原理，而且有助于准确并自动化地判定策略的可满足性，具有良好的灵活性和表达能力。