| 一种感知情景的存取控制策略的规范和分析方法 |
| |
| 引用本文： | 杜丽萍,虞慧群.一种感知情景的存取控制策略的规范和分析方法[J].医学教育探索,2006(9):1098-1103. |
| |
| 作者姓名： | 杜丽萍 虞慧群 |
| |
| 作者单位： | 华东理工大学计算机科学与工程系 上海200237 |
| |
| 基金项目： | 国家自然科学基金
,
上海市浦江人才计划 |
| |
| 摘 要： | 对RBAC的角色激活过程增加情景约束,建立了感知情景的存取控制策略;利用D ata-log逻辑语言来建立感知情景存取控制策略模型的形式化规范;使用一阶逻辑语言描述策略的一致性、完整性等性质,借助D atalog实现了一个控制策略自动决策原型系统。
|
| 关 键 词： | 存取控制策略 规范 实施 RBAC模型 Datalog |
| 收稿时间： | 2005/8/24 0:00:00 |
An Approach to Specifying and Analyzing Context-Aware Access Control Policies |
| |
| DU Li-ping,YU Hui-qun.An Approach to Specifying and Analyzing Context-Aware Access Control Policies[J].Researches in Medical Education,2006(9):1098-1103. |
| |
| Authors: | DU Li-ping YU Hui-qun |
| |
| 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. |
| |
| Keywords: | access control policy specification enforcement RBAC model Datalog |
|
| 点击此处可从《医学教育探索》浏览原始摘要信息 |
| 点击此处可从《医学教育探索》下载免费的PDF全文 |
