摘要： 使用控制模型可以解决普适计算环境中访问控制的动态授权问题，但该模型没有考虑上下文信息。为此，提出一种普适计算环境中基于上下文的使用控制模型。在使用决策因素中增加上下文信息，包括时间、位置和环境因素，采用行为时态逻辑定义模型的核心规则集。以基于普适计算的智能教室为实例进行分析，证明该模型在普适计算环境中的有效性。

关键词: 普适计算, 访问控制, 使用控制, 上下文, 行为时态逻辑

Abstract: Usage Control(UCON) model can resolve dynamic authorization of access control in pervasive computing environment, but it does not consider context information. For this reason, this paper presents a Context-based Usage Control(CUCON) model in pervasive computing environment. A context information is added into usage decision factor, it includes time, location and environment. And the core rules are defined by Temporal Logic of Action(TLA). Through the example of pervasive computing intelligent classroom, the effectiveness of this model is proved.

Key words: pervasive computing, access control, Usage Control(UCON), context, Temporal Logic of Action(TLA)

中图分类号: 

• TP309