基于属性的访问控制策略合成代数

• 作者: 怀进鹏 李先贤 林莉
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 聚合资源 访问控制 属性 策略合成代数 逻辑程序
• 年，卷（期）: 2009,（2）
• 所属期刊栏目: 计算机网络与信息安全
• 页码范围: 403-414
• 页数: 12页
• 分类号: TP393
• 字数: 14719字
• 语种: 中文
• DOI: 10.3724/SP.J.1001.2009.03279

摘要

访问控制策略合成是确定分布式聚合资源访问控制策略的关键.为了规范策略合成和保障策略合成正确性,基于属性刻画了实体间的授权关系,通过属性值的计算结构扩展了现有的策略合成形式化框架,建立了新的基于属性的策略合成代数模型APoCA(attribute-base access control policy composition algebra).通过示例分析说明APoCA具有更强的策略合成描述能力和普适性,适应于更为复杂的应用场景.用代数表达式形式化地描述聚合资源的访问控制策略,讨论了策略表达式的若干代数性质,说明可借助策略表达式的代数性质去验证策略合成结果是否符合各方对聚合资源的保护性需求.给出了将代数表达式翻译成逻辑程序的翻译器,为聚合资源的访问控制策略评估和应用提供基础.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	怀进鹏	北京航空航天大学计算机学院	86	2217	26.0	46.0
2	李先贤	北京航空航天大学计算机学院	22	506	11.0	22.0
3	林莉	北京航空航天大学计算机学院	4	128	3.0	4.0