2025年1月29日
星期三
|
欢迎来到南京江宁区图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
中澳科技合作特别基金(2004-443-4)
作品数:
1
被引量:1
H指数: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的转换规则,介绍了对转换得到的逻辑程序的推理过程。
刘鹏
胡建斌
陈钟
关键词:
分布式计算环境
OWL
DATALOG
全选
清除
导出
共1页
<
1
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张