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