分布式计算环境下的语义安全策略语言

• 作者: 刘鹏 胡建斌 陈钟
• 来源期刊: 北京大学学报（自然科学版）
• 学科: 工学
• 关键词: 安全策略 分布式计算环境 OWL Datalog DL-safe
• 年，卷（期）: 2006,（5）
• 所属期刊栏目: 研究论文
• 页码范围: 646-657
• 页数: 12页
• 分类号: TP3
• 字数: 1211字
• 语种: 中文
• DOI: 10.3321/j.issn:0479-8023.2006.05.015

摘要

提出了一种用于分布式计算环境的语言安全策略语言SSPL.SSPL通过OWL DL描述,支持各种安全策略的基本类型,包括肯定和否定授权,肯定和否定义务,权限委托和撤销以及策略冲突消除等.SSPL还支持基于规则的安全策略,使得该语言具有更强的表达能力.为了分析SSPL策略的形式化语义和推理的可判定性,引入DL-safe规则和courteous logic program的概念,并定义了一组从SSPL策略到courteous DL-safe program的转换规则,介绍了对转换得到的逻辑程序的推理过程.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘鹏	北京大学信息科学技术学院计算机科学技术系信息安全实验室	154	1275	17.0	33.0
2	陈钟	北京大学信息科学技术学院计算机科学技术系信息安全实验室	105	1674	18.0	38.0
3	胡建斌	北京大学信息科学技术学院计算机科学技术系信息安全实验室	21	273	6.0	16.0