官尚元
- 作品数：7 被引量：24H指数：3
- 供职机构：西安交通大学电子与信息工程学院计算机科学与技术系更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 分布式环境中高效信任管理的研究被引量：3
- 2009年
- 针对分布式环境中信任管理缺乏统一定义和一致性验证算法效率较低等问题,给出了信任管理的形式化定义.信任管理为六元组,包括可数的主体集、信任类型集、信任属性集、上下文集,以及主体之间存在的信任关系和定义在信任关系上的且封闭于此关系的函数.同时,讨论了形式化定义与描述性定义之间的关系,由此提出了高效的信任管理模型NUMEN.模型的一致性验证算法基于格不动点理论,其时间复杂度和空间复杂度与授权证书集的势n有关,均为O(n).实验结果表明,NUMEN以较小的开销能够获取较高的安全性,其一致性验证算法优于SPKI/SDSI和Key-Note模型,并得出了授权证书数和权限委托节点数是影响系统运行时间的关键因素的结论.
- 官尚元伍卫国董小社梅一多
- 关键词：访问控制信任管理
- 一种可扩展的网格资源发现模型被引量：1
- 2007年
- 提出一种基于对等(P2P)计算方式的网格资源发现模型(SRDM),使用多种策略保证了网格资源发现服务的可扩展性和消息的路由效率.在虚拟组织内部使用改进的分布式哈希表技术,提高了局部的消息路由效率,并且具有极大的灵活性;超级节点只负责转发路由消息,使得负载更加均衡;超级节点间的消息转发通过多播实现,网络负载低,提高了全局可扩展性.构建了原型系统并进行测试,测试结果表明:SRDM模型具备良好的可扩展性,提高了网格资源发现服务的质量.
- 梅一多官尚元冯国富董小社
- 关键词：网格计算网格资源发现模型对等计算
- 网格环境中分布式自动信任协商机制被引量：2
- 2007年
- 针对现有自动信任协商系统可扩展性差,难以适应大规模的网格环境的问题,结合网格环境提出一种分布式自动信任协商机制,实现了分布式自动信任协商机制的原型并基于原型,在中国教育科研网格中西安交通大学节点的曙光4000L上进行实验和测试,结果表明此机制具有较好的可扩展性.
- 官尚元梅一多秦南董小社
- 关键词：网格安全自动信任协商分布式计算
- 集群服务器IPv4/IPv6接入机制的设计与实现被引量：2
- 2007年
- 设计了一种将集群服务器NVS(network virtual server)接入到IPv4/IPv6环境中的机制,通过将协议转换内置到NVS接口机的内核中以提高协议处理速度,实现应用对底层具体协议的透明使用,原有高可用性、高可扩展性和负载均衡等多接口机软件不加修改即可使用。实验结果表明,该机制协议处理延迟小于通过NAT-PT网关实现的延迟,同时具有更高的吞吐量。
- 官尚元薛正华石卫强董小社
- 关键词：集群服务器IPV4IPV6NAT-PT
- 面向属性约束的自动信任协商模型被引量：1
- 2009年
- 针对已有自动信任协商系统策略语言粒度粗糙、不能生成所有信任序列且缺乏评估与择优机制等问题,提出一种面向属性约束的自动信任协商模型———ACATN.其具有如下特点:利用属性约束细化策略语言粒度,不仅有效地保护了敏感服务和证书,而且提高了系统的灵活性;使用全局访问控制策略终止不会成功的协商请求,从而提高协商效率;采用信任序列搜索树描述信任序列的生成过程,基于此树的宽度、深度优先搜索算法在快速生成一个信任序列的同时,能够生成所有的信任序列;通过属性证书披露代价和通信开销评估信任序列,以便于系统选择最优信任序列.结合具体实例对ACATN模型的使用进行了说明.
- 官尚元伍卫国董小社梅一多
- 关键词：访问控制自动信任协商
- 开放分布式环境中信任管理综述被引量：8
- 2010年
- 信任是以网络为媒介的交互主体之间重要决策的依据,为主体处理交互过程中的不确定因素、不可控因素、模糊性和不完备信息等提供新思路。信任管理是描述、建立、验证和维护主体之间信任关系的方法,正日益成为研究热点。首先在分析信任及信任管理相关概念的基础上,给出了信任管理的描述性定义和形式化定义,并讨论了二者的关系;其次,分类对典型的信任管理系统进行分析、点评和对比;最后,总结了当前研究中存在的不足并讨论了信任管理未来的发展趋势。
- 官尚元伍卫国董小社梅一多
- 关键词：分布式系统信任管理信任协商
- 自动信任协商的形式化描述与验证研究被引量：7
- 2011年
- 首先提出了自动信任协商的通用形式化框架,并将典型的信任协商策略规约到上述框架内;其次,基于上述形式化框架对自动信任协商的形式化验证问题进行了定义,确定了形式化验证的目标以及一般流程;再次,研究了典型信任协商策略的形式化验证问题,讨论了相关问题的计算复杂性并得到系列结论;最后,利用逻辑编程方法和模型检测方法实现了自动信任协商的形式化验证。实验结果表明,规则数是影响形式化验证系统运行时间的关键因素,逻辑编程方法和模型检测方法在规则较少时效率较高,但逻辑编程方法的可扩展性不及模型检测方法。
- 官尚元伍卫国董小社钱德沛
- 关键词：访问控制信任协商形式化方法安全性
