期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于可能世界的网构软件模型及可信性研究
被引量：
1
1
作者
刘超
王文杰
《计算机应用研究》
CSCD
北大核心
2010年第12期4604-4607,4611,共5页
为了解决网构软件的应用建模中发生的主观逻辑冲突问题,首先从认识论入手,提出了影子实体的概念,将逻辑冲突归结为实体内涵的不一致所致;为了解决影子实体的自身安全问题,引入了可能世界理论,给出了一种可能世界的语义学解释,并在可能...
为了解决网构软件的应用建模中发生的主观逻辑冲突问题,首先从认识论入手,提出了影子实体的概念,将逻辑冲突归结为实体内涵的不一致所致;为了解决影子实体的自身安全问题,引入了可能世界理论,给出了一种可能世界的语义学解释,并在可能世界的基础之上构建了软件实体交互模型。然后,结合形式概念分析技术,提出了信任格的概念。最后,讨论了信任模型的几点应用,证明了资源分配公平存在性定理,在资源分配问题上为阿罗不可能定理提供了新的解决方案,进而表明主观逻辑冲突问题是可解的。
展开更多
关键词
网构软件
可能世界
可信建模
影子实体
信任格
资源分配公平存在性定理
下载PDF
职称材料
A Lattice Model on P2P Based on Trust and Role
2
作者
Yihe Liu
《通讯和计算机（中英文版）》
2010年第1期46-50,共5页
关键词
P2P网络
格子模型
信任度
基于角色的访问控制
信息安全模型
RBAC
晶格模型
信息流
下载PDF
职称材料
分布式环境中高效信任管理的研究
被引量：
3
3
作者
官尚元
伍卫国
+1 位作者
董小社
梅一多
《西安交通大学学报》
EI
CAS
CSCD
北大核心
2009年第6期15-19,共5页
针对分布式环境中信任管理缺乏统一定义和一致性验证算法效率较低等问题,给出了信任管理的形式化定义.信任管理为六元组,包括可数的主体集、信任类型集、信任属性集、上下文集,以及主体之间存在的信任关系和定义在信任关系上的且封闭于...
针对分布式环境中信任管理缺乏统一定义和一致性验证算法效率较低等问题,给出了信任管理的形式化定义.信任管理为六元组,包括可数的主体集、信任类型集、信任属性集、上下文集,以及主体之间存在的信任关系和定义在信任关系上的且封闭于此关系的函数.同时,讨论了形式化定义与描述性定义之间的关系,由此提出了高效的信任管理模型NUMEN.模型的一致性验证算法基于格不动点理论,其时间复杂度和空间复杂度与授权证书集的势n有关,均为O(n).实验结果表明,NUMEN以较小的开销能够获取较高的安全性,其一致性验证算法优于SPKI/SDSI和Key-Note模型,并得出了授权证书数和权限委托节点数是影响系统运行时间的关键因素的结论.
展开更多
关键词
访问控制
信任管理
一致性验证
格不动点理论
下载PDF
职称材料
题名
基于可能世界的网构软件模型及可信性研究
被引量：
1
1
作者
刘超
王文杰
机构
中国科学院研究生院(本部)
出处
《计算机应用研究》
CSCD
北大核心
2010年第12期4604-4607,4611,共5页
基金
国家"863"计划资助项目(2007AA01Z132)
文摘
为了解决网构软件的应用建模中发生的主观逻辑冲突问题,首先从认识论入手,提出了影子实体的概念,将逻辑冲突归结为实体内涵的不一致所致;为了解决影子实体的自身安全问题,引入了可能世界理论,给出了一种可能世界的语义学解释,并在可能世界的基础之上构建了软件实体交互模型。然后,结合形式概念分析技术,提出了信任格的概念。最后,讨论了信任模型的几点应用,证明了资源分配公平存在性定理,在资源分配问题上为阿罗不可能定理提供了新的解决方案,进而表明主观逻辑冲突问题是可解的。
关键词
网构软件
可能世界
可信建模
影子实体
信任格
资源分配公平存在性定理
Keywords
internetware
possible
worlds
trust
model
shadow
entity
trust
lattice
fair
resource
allocation＇s
possible
theorem
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
A Lattice Model on P2P Based on Trust and Role
2
作者
Yihe Liu
机构
Key Laboratory of Numerical Simulation of Sichuan Province
Key Laboratory of Network Application Project Development
出处
《通讯和计算机（中英文版）》
2010年第1期46-50,共5页
关键词
P2P网络
格子模型
信任度
基于角色的访问控制
信息安全模型
RBAC
晶格模型
信息流
Keywords
P2P
network,
trust
grade,
RBAC（Role-based
access
control）
model,
lattice
model.
分类号
TP393 [自动化与计算机技术—计算机应用技术]
O631.1 [自动化与计算机技术—计算机科学与技术]
下载PDF
职称材料
题名
分布式环境中高效信任管理的研究
被引量：
3
3
作者
官尚元
伍卫国
董小社
梅一多
机构
西安交通大学电子与信息工程学院
出处
《西安交通大学学报》
EI
CAS
CSCD
北大核心
2009年第6期15-19,共5页
基金
国家自然科学基金资助项目(60773118)
国家高技术研究发展计划资助项目(2006AA01A109).
文摘
针对分布式环境中信任管理缺乏统一定义和一致性验证算法效率较低等问题,给出了信任管理的形式化定义.信任管理为六元组,包括可数的主体集、信任类型集、信任属性集、上下文集,以及主体之间存在的信任关系和定义在信任关系上的且封闭于此关系的函数.同时,讨论了形式化定义与描述性定义之间的关系,由此提出了高效的信任管理模型NUMEN.模型的一致性验证算法基于格不动点理论,其时间复杂度和空间复杂度与授权证书集的势n有关,均为O(n).实验结果表明,NUMEN以较小的开销能够获取较高的安全性,其一致性验证算法优于SPKI/SDSI和Key-Note模型,并得出了授权证书数和权限委托节点数是影响系统运行时间的关键因素的结论.
关键词
访问控制
信任管理
一致性验证
格不动点理论
Keywords
access
control
trust
management
proof
of
compliance
lattice
-theoretical
fix-point
分类号
TP393 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于可能世界的网构软件模型及可信性研究
刘超
王文杰
《计算机应用研究》
CSCD
北大核心
2010
1
下载PDF
职称材料
2
A Lattice Model on P2P Based on Trust and Role
Yihe Liu
《通讯和计算机（中英文版）》
2010
0
下载PDF
职称材料
3
分布式环境中高效信任管理的研究
官尚元
伍卫国
董小社
梅一多
《西安交通大学学报》
EI
CAS
CSCD
北大核心
2009
3
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
