一种感知情景的存取控制策略的规范和分析方法  

An Approach to Specifying and Analyzing Context-Aware Access Control Policies

作　　者：杜丽萍[1] 虞慧群[1] 

机构地区：[1]华东理工大学计算机科学与工程系,上海200237

出　　处：《华东理工大学学报（自然科学版）》2006年第9期1098-1103,共6页Journal of East China University of Science and Technology

基　　金：国家自然科学基金(60473055;60373075);上海市浦江人才计划(05PJ14030)

摘　　要：对RBAC的角色激活过程增加情景约束,建立了感知情景的存取控制策略;利用D ata-log逻辑语言来建立感知情景存取控制策略模型的形式化规范;使用一阶逻辑语言描述策略的一致性、完整性等性质,借助D atalog实现了一个控制策略自动决策原型系统。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.

关 键 词：存取控制策略 规范 实施 RBAC模型 DATALOG 

分 类 号：TP309[自动化与计算机技术—计算机系统结构]