一种灵活的使用控制授权语言框架研究

被引：15

作者：

钟勇 ^{[1
]}

秦小麟 ^{[1
]}

郑吉平 ^{[1
]}

林冬梅 ^{[2
]}

机构：

[1] 南京航空航天大学计算机科学与技术系

[2] 佛山科学技术学院信息与教育技术中心

来源：

计算机学报 | 2006年 / 08期

关键词：

授权语言; 使用控制; Datalog语言; 安全模型; 访问控制;

D O I：

暂无

中图分类号：

TP309 [安全保密];

学科分类号：

081201 ; 0839 ; 1402 ;

摘要：

首先提出一种单限制变元Datalog,sc的概念,并对单限制变元Datalog,sc的评价(evaluation)及其元组识别问题做了分析.然后提出使用控制授权语言框架LUC,该框架基于具有单一稳态结构的单限制变元分层Active-U-Datalog,sc语法和语义,具有逻辑上的一致性、完备性和可行性.最后对LUC框架的表达力、灵活性及其实现和应用做了说明.

引用

页码：1408 / 1418

页数：11