一种感知情景的存取控制策略的规范和分析方法
An Approach to Specifying and Analyzing Context-Aware Access Control Policies
-
摘要: 对RBAC的角色激活过程增加情景约束,建立了感知情景的存取控制策略;利用D ata-log逻辑语言来建立感知情景存取控制策略模型的形式化规范;使用一阶逻辑语言描述策略的一致性、完整性等性质,借助D atalog实现了一个控制策略自动决策原型系统。Abstract: This paper specifies context-aware access control policies by adding constraints to role activation in RBAC models.Formal specification for context-aware access control policy model is created using the logical language Datalog.Properties such as consistency and completeness are specified by first-order logic formulas.A prototype system for access control decision making is built using Datalog mechanisms.