您的位置: 专家智库 > >

中澳科技合作特别基金(2004-443-4)

作品数:1 被引量:1H指数:1
相关作者:陈钟胡建斌刘鹏更多>>
相关机构:北京大学更多>>
发文基金:中澳科技合作特别基金更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇英文
  • 1篇语义安全
  • 1篇计算环境
  • 1篇分布式
  • 1篇分布式计算
  • 1篇分布式计算环...
  • 1篇OWL
  • 1篇DATALO...
  • 1篇策略语言

机构

  • 1篇北京大学

作者

  • 1篇刘鹏
  • 1篇胡建斌
  • 1篇陈钟

传媒

  • 1篇北京大学学报...

年份

  • 1篇2006
1 条 记 录,以下是 1-1
排序方式:
分布式计算环境下的语义安全策略语言(英文)被引量:1
2006年
提出了一种用于分布式计算环境的语言安全策略语言SSPL。SSPL通过OWLDL描述,支持各种安全策略的基本类型,包括肯定和否定授权,肯定和否定义务,权限委托和撤销以及策略冲突消除等。SSPL还支持基于规则的安全策略,使得该语言具有更强的表达能力。为了分析SSPL策略的形式化语义和推理的可判定性,引入DL-safe规则和courteous logic program的概念,并定义了一组从SSPL策略到courteous DL-safe program的转换规则,介绍了对转换得到的逻辑程序的推理过程。
刘鹏胡建斌陈钟
关键词:分布式计算环境OWLDATALOG
共1页<1>
聚类工具0