文献类型：期刊文章

作　　者：钟勇[1,2] 秦小麟[1,3] 郑吉平[1,3] 林冬梅[4]

机构地区：[1]南京航空航天大学计算机科学与技术系 [2]佛山科学技术学院信息与教育技术中心佛山528000 [3]南京航空航天大学信息安全研究所南京210016 [4]佛山科学技术学院信息与教育技术中心

出　　处：《计算机学报》

基　　金：航空科学基金(02F52033);江苏省高技术项目基金(BG2004-005)资助.

年　　份：2006

卷　　号：29

期　　号：8

起止页码：1408-1418

语　　种：中文

收录情况：BDHX、BDHX2004、CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、EI、IC、INSPEC、JST、MR、RCCSE、SCOPUS、ZGKJHX、核心刊

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

关 键 词：授权语言  使用控制  Datalog语言  安全模型  访问控制

分 类 号：TP309]