期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到8篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
开放分布式环境中信任管理综述 被引量：6
1
作者 官尚元 伍卫国 +1 位作者 董小社 梅一多 《计算机科学》 CSCD 北大核心 2010年第3期22-28,35,共8页
信任是以网络为媒介的交互主体之间重要决策的依据,为主体处理交互过程中的不确定因素、不可控因素、模糊性和不完备信息等提供新思路。信任管理是描述、建立、验证和维护主体之间信任关系的方法,正日益成为研究热点。首先在分析信任及... 信任是以网络为媒介的交互主体之间重要决策的依据,为主体处理交互过程中的不确定因素、不可控因素、模糊性和不完备信息等提供新思路。信任管理是描述、建立、验证和维护主体之间信任关系的方法,正日益成为研究热点。首先在分析信任及信任管理相关概念的基础上,给出了信任管理的描述性定义和形式化定义,并讨论了二者的关系;其次,分类对典型的信任管理系统进行分析、点评和对比;最后,总结了当前研究中存在的不足并讨论了信任管理未来的发展趋势。 展开更多
关键词 分布式系统 信任管理 信任协商 决策
下载PDF
自动信任协商的形式化描述与验证研究 被引量：7
2
作者 官尚元 伍卫国 +1 位作者 董小社 钱德沛 《通信学报》 EI CSCD 北大核心 2011年第2期86-99,共14页
首先提出了自动信任协商的通用形式化框架,并将典型的信任协商策略规约到上述框架内;其次,基于上述形式化框架对自动信任协商的形式化验证问题进行了定义,确定了形式化验证的目标以及一般流程;再次,研究了典型信任协商策略的形式化验证... 首先提出了自动信任协商的通用形式化框架,并将典型的信任协商策略规约到上述框架内;其次,基于上述形式化框架对自动信任协商的形式化验证问题进行了定义,确定了形式化验证的目标以及一般流程;再次,研究了典型信任协商策略的形式化验证问题,讨论了相关问题的计算复杂性并得到系列结论;最后,利用逻辑编程方法和模型检测方法实现了自动信任协商的形式化验证。实验结果表明,规则数是影响形式化验证系统运行时间的关键因素,逻辑编程方法和模型检测方法在规则较少时效率较高,但逻辑编程方法的可扩展性不及模型检测方法。 展开更多
关键词 访问控制 信任协商 形式化方法 计算复杂性 安全性
下载PDF
C/C++代码自动生成脚本语言接口的实现 被引量：3
3
作者 官尚元 张芝萍 +1 位作者 徐立锋 缪敬 《计算机工程》 EI CAS CSCD 北大核心 2005年第14期102-104,共3页
对于开发灵活的科学软件来说,脚本语言是一个强大的工具。然而开发人员经常遇到一个问题:如何将编译过的C/C++代码集成到一个解释器。为了解决上述问题,设计了一个可扩展的编译器——接口产生器(IG)。IG主要任务是把编译过的C/C++代码... 对于开发灵活的科学软件来说,脚本语言是一个强大的工具。然而开发人员经常遇到一个问题:如何将编译过的C/C++代码集成到一个解释器。为了解决上述问题,设计了一个可扩展的编译器——接口产生器(IG)。IG主要任务是把编译过的C/C++代码集成到脚本语言解释器中。因此,该文的主要目的就是解决上述相关问题。 展开更多
关键词 科学软件 脚本语言 PYTHON 接口编译器
下载PDF
分布式环境中高效信任管理的研究 被引量：3
4
作者 官尚元 伍卫国 +1 位作者 董小社 梅一多 《西安交通大学学报》 EI CAS CSCD 北大核心 2009年第6期15-19,共5页
针对分布式环境中信任管理缺乏统一定义和一致性验证算法效率较低等问题,给出了信任管理的形式化定义.信任管理为六元组,包括可数的主体集、信任类型集、信任属性集、上下文集,以及主体之间存在的信任关系和定义在信任关系上的且封闭于... 针对分布式环境中信任管理缺乏统一定义和一致性验证算法效率较低等问题,给出了信任管理的形式化定义.信任管理为六元组,包括可数的主体集、信任类型集、信任属性集、上下文集,以及主体之间存在的信任关系和定义在信任关系上的且封闭于此关系的函数.同时,讨论了形式化定义与描述性定义之间的关系,由此提出了高效的信任管理模型NUMEN.模型的一致性验证算法基于格不动点理论,其时间复杂度和空间复杂度与授权证书集的势n有关,均为O(n).实验结果表明,NUMEN以较小的开销能够获取较高的安全性,其一致性验证算法优于SPKI/SDSI和Key-Note模型,并得出了授权证书数和权限委托节点数是影响系统运行时间的关键因素的结论. 展开更多
关键词 访问控制 信任管理 一致性验证 格不动点理论
下载PDF
网格环境中分布式自动信任协商机制
5
作者 官尚元 梅一多 +1 位作者 秦南 董小社 《华中科技大学学报（自然科学版）》 EI CAS CSCD 北大核心 2007年第S2期48-52,共5页
针对现有自动信任协商系统可扩展性差,难以适应大规模的网格环境的问题,结合网格环境提出一种分布式自动信任协商机制,实现了分布式自动信任协商机制的原型并基于原型,在中国教育科研网格中西安交通大学节点的曙光4000L上进行实验和测试... 针对现有自动信任协商系统可扩展性差,难以适应大规模的网格环境的问题,结合网格环境提出一种分布式自动信任协商机制,实现了分布式自动信任协商机制的原型并基于原型,在中国教育科研网格中西安交通大学节点的曙光4000L上进行实验和测试,结果表明此机制具有较好的可扩展性. 展开更多
关键词 网格安全 自动信任协商 分布式计算 信任票
下载PDF
集群服务器IPv4/IPv6接入机制的设计与实现 被引量：2
6
作者 官尚元 薛正华 +1 位作者 石卫强 董小社 《计算机工程》 CAS CSCD 北大核心 2007年第18期109-111,127,共4页
设计了一种将集群服务器NVS(network virtual server)接入到IPv4/IPv6环境中的机制,通过将协议转换内置到NVS接口机的内核中以提高协议处理速度,实现应用对底层具体协议的透明使用,原有高可用性、高可扩展性和负载均衡等多接口机软件不... 设计了一种将集群服务器NVS(network virtual server)接入到IPv4/IPv6环境中的机制,通过将协议转换内置到NVS接口机的内核中以提高协议处理速度,实现应用对底层具体协议的透明使用,原有高可用性、高可扩展性和负载均衡等多接口机软件不加修改即可使用。实验结果表明,该机制协议处理延迟小于通过NAT-PT网关实现的延迟,同时具有更高的吞吐量。 展开更多
关键词 集群服务器 IPV4 IPV6 NAT-PT
下载PDF
一种可扩展的网格资源发现模型
7
作者 梅一多 官尚元 +1 位作者 冯国富 董小社 《华中科技大学学报（自然科学版）》 EI CAS CSCD 北大核心 2007年第S2期12-15,共4页
提出一种基于对等(P2P)计算方式的网格资源发现模型(SRDM),使用多种策略保证了网格资源发现服务的可扩展性和消息的路由效率.在虚拟组织内部使用改进的分布式哈希表技术,提高了局部的消息路由效率,并且具有极大的灵活性;超级节点只负责... 提出一种基于对等(P2P)计算方式的网格资源发现模型(SRDM),使用多种策略保证了网格资源发现服务的可扩展性和消息的路由效率.在虚拟组织内部使用改进的分布式哈希表技术,提高了局部的消息路由效率,并且具有极大的灵活性;超级节点只负责转发路由消息,使得负载更加均衡;超级节点间的消息转发通过多播实现,网络负载低,提高了全局可扩展性.构建了原型系统并进行测试,测试结果表明:SRDM模型具备良好的可扩展性,提高了网格资源发现服务的质量. 展开更多
关键词 网格计算 网格资源发现模型 对等计算
下载PDF
面向属性约束的自动信任协商模型 被引量：1
8
作者 官尚元 伍卫国 +1 位作者 董小社 梅一多 《西安交通大学学报》 EI CAS CSCD 北大核心 2009年第8期1-5,共5页
针对已有自动信任协商系统策略语言粒度粗糙、不能生成所有信任序列且缺乏评估与择优机制等问题,提出一种面向属性约束的自动信任协商模型———ACATN.其具有如下特点:利用属性约束细化策略语言粒度,不仅有效地保护了敏感服务和证书,而... 针对已有自动信任协商系统策略语言粒度粗糙、不能生成所有信任序列且缺乏评估与择优机制等问题,提出一种面向属性约束的自动信任协商模型———ACATN.其具有如下特点:利用属性约束细化策略语言粒度,不仅有效地保护了敏感服务和证书,而且提高了系统的灵活性;使用全局访问控制策略终止不会成功的协商请求,从而提高协商效率;采用信任序列搜索树描述信任序列的生成过程,基于此树的宽度、深度优先搜索算法在快速生成一个信任序列的同时,能够生成所有的信任序列;通过属性证书披露代价和通信开销评估信任序列,以便于系统选择最优信任序列.结合具体实例对ACATN模型的使用进行了说明. 展开更多
关键词 访问控制 自动信任协商 协商系统策略 属性约束
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部