网格信息服务的一致性研究及应用

随着开放网格服务体系结构OGSA的出现，计算网格的研究已开始向服务网格过渡，由于应用的多样性和复杂性，服务网格的研究面临着空前的挑战，当前网格信息服务系统基本上都是对计算资源、数据资源和网络资源等的管理、注册发布及资源发现，但这种方式需要做进一步的改进来适应服务网格的需要．除中国科学院计算技术研究所的VEGA之外，HowU网格平台是另一较成熟的服务网格平台．分析了HowU信息服务器的服务组织和管理机制，并重点针对信息一致性问题进行了研究，即如何保证网格范围内服务的存在性以及组织域范围内服务信息的有效性．最后给出模拟性能分析．     

Fault-tolerant grid architecture and practice

Grid computing emerges as effective technologies to couple geographically dis-tributed resources and solve large-scale computational problems in wide area networks. The fault tolerance is a significant and complex issue in grid computing systems. Various techniques have been investigated to detect and correct faults in distributed computing systems. Unreliable fault detection is one of the most effective techniques. Globus as a grid middleware manages resources in a wide area network. The Globns fault detection service uses the well-known techniques basedon unreliable fault detectors to detect and report component failures. However, more powerful techniques are required to detect and correct both system-level and application-level faults in agrid system, and a convenient toolkit is also needed to maintain the consistency in the grid. Afault-tolerant grid platform (FTGP) based on an unreliable fault detector and the Globus faultdetection service is presented in this paper. The platform offers effective strategies in such threeaspects as grid key components, user tasks, and high-level applications.     

张家湾矿床的矿柱回采

贵州汞矿开采已有600余年,目前,资源逐渐枯褐,将进入大量矿柱(残柱)回采阶段.初步调查证明,在二、四、六各坑留有矿柱700余个,保有汞金量达800余吨,相当于一个中型汞矿的资源,必须千方百计加以回收以缓解矿山资源不足的危机和满足市场对汞金属的需要.本文就该矿床矿柱回采的实践经验作介绍.     

自动信任协商抗攻击能力分析

自动信任协商是一种通过逐步暴露证书和访问控制策略以确立协商双方信任关系的方法.与任何接入因特网的开放系统一样,自动信任协商很容易遭受各方面的攻击,如拒绝服务、窃听、隐私截取等.通过分析自动信任协商对系统的需求,指出自动信任协商易遭受攻击的环节,给出自动信任协商对常见攻击的抵制方法,以及自动信任协商中各类协商技术抗攻击的原理.     

基于前向安全的组签名体制研究

根据RSA数字签名、GQ数字签名和IR前向数字签名的基本思想，提出一种基于前向安全的组签名体制．在这种签名体制中，组内所有成员共用惟一的一个公钥，而密钥服务器为组内每个成员分配一个能产生私人密钥的“种子”；在有效时间段，组内成员运用私人密钥产生算法或更新算法，实现自己私人密钥的产生或更新．通过对签名体制的性能分析，可以确定：对于一个有n个成员参加的组通信，如果采用此签名体制，那么，即使有n-1个组内成员“变节”，对于剩余的惟一一个成员来讲系统也是安全的．     

网格环境中证书和策略的隐私保护机制研究

网格访问控制机制中网格实体的访问控制策略和证书的隐私保护是网格安全的一个重要方面,其重要性随着网格技术的进一步广泛应用而日益突出.利用安全函数计算和同态加密理论来解决访问控制过程中策略和证书的隐私保护问题.首先提出了适应于复合策略表达的电路组成方法,并基于无记忆传递机制和"混乱电路"计算协议提出了策略计算协议;然后提出了基于同态加密理论的属性相等测试协议;最后基于策略计算协议和属性相等测试协议提出了策略和证书的隐私保护协议.分析表明,本方案可以对策略和证书的属性进行完全的隐私保护,并且可以避免传统方法所引起的循环依赖问题.     

物联网云服务中API滥用的风险分析与检测

近年来,物联网技术的蓬勃发展带动了智能家居应用的快速发展,越来越多的智能家居平台开放各种应用程序接口,以方便用户实现自定义的智能家居应用,如设备联动控制.然而,这些开放接口中存在的安全缺陷也成为影响智能家居系统安全的重要因素之一.本文针对SmartThings智能家居平台的开放接口进行研究,发现了一系列新的具有安全缺陷的接口,并通过概念验证实验证实了其安全风险.为提升智能家居平台的安全性,设计并实现了检测智能家居云服务中接口滥用行为的工具SmartNotify.实验结果表明, SmartNotify能快速且准确地识别利用安全缺陷接口进行攻击的智能家居应用.