云计算中基于密文策略属性基加密的数据访问控制协议

云计算提供一种新兴的数据交互模式,实现了用户数据的远程存储、共享和计算。由于云计算的系统复杂性、网络开放性、资源集中性以及数据敏感性等特点,使得用户与云服务器的交互过程面临着严峻的安全威胁,成为云计算安全领域亟待解决的关键问题。文章首先介绍了云计算系统的系统组件、信任模型和攻击模型,针对云计算系统中的数据安全访问问题,提出了基于密文策略属性基加密的访问控制协议。该协议利用切比雪夫映射的半群特性实现了用户身份的合法性认证,并设计轻量级的属性加密算法实现用户数据的可靠性授权。同时,该协议主要引入身份认证、访问控制和前向安全性机制,实现用户身份真实性认证和数据可靠性访问。通过协议存储需求分析,表明该协议在数据属性集和密钥存储方面具有固定的存储空间需求,避免海量数据交互中用户存储空间的线性增长。通过分析,表明该协议具有较强的可靠性、灵活性和扩展性,适应于云环境中大规模数据交互的应用场景。     

基于网格的Web可视化系统设计与实现

面向网格的数据可视化共享地理分布的数据源、分析设备、可视化设备等，提供透明访问能力。基于网格开发了一个Web可视化系统，分为3层：Web页面，Web服务器，可视化服务器。通过JSP为可视化用户提供Web访问界面，内嵌的VisPortal提供网格访问门户；Web服务器通过Portal服务器管理、调度、使用网格资源，协调用户与网格资源之间的交互；基于Vis5D构建的可视化服务器作为网格资源，实现对数值天气模型产生的5-D网格数据集的可视化。     

基于Web3D的虚拟场景漫游的设计与实现

介绍了Java3D与VR相结合的Web3D应用；采用了三层式的Client／Server结构和分布计算模型设计系统体系结构，提出了在Java3D中获取场景对象实例的方法，给出了在Java3D场景中实现虚拟场景中漫游的方法。采用Java3D实现与用户交互虚拟三维场景，并给出了部分实现细节。     

云存储环境下基于身份的分布式数据持有型验证算法研究

云存储中,对远程数据的完整性验证是至关重要的。用户可以在不需要下载全部数据的情况下,验证存在云服务器中的数据是否完整。在某些应用场景中,用户需要存储他们的数据在多云服务器上,同时,为了减少验证的开销,验证检测算法必须是高效的。针对这种情况,提出一种新的远程数据完整性检测模型:在多云环境下,基于身份的分布式数据持有型验证,即ID-DPDP模型。此外,通过与其他方案进行对比分析,证明所提出方案是安全的、高效的。     

基于NBD的弹性云存储研究与设计

目前市场上各大厂商提供给用户的云存储服务都有各自的特点,针对其普遍存在的容量大小受限、单文件大小限制、数据安全等问题。提出了基于网络块设备的弹性云存储的模型,实现一个简单易操作的符合基本用户实际使用的弹性云存储系统。该模型采用NBD(Network Block Device)作为客户端与服务器交互的接口,以HLFS(Hadoop Log-Structured File System)为弹性云平台提供虚拟磁盘后台存储服务,实现文件的分布式存储及容错控制等。测试结果表明,该方式能有效自动增加磁盘容量,对单文件大小无限制,读写数据一致并且能有效防止数据遗失。     

基于X3D的在线虚拟室内漫游系统的研究与应用

介绍了在网络上基于X3D规范新特点和应用,分析了构建在线虚拟室内漫游系统的关键技术,提出基于X3D技术的虚拟室内漫游场景建模和应用。利用X3D技术设计了在线虚拟室内主场景,通过结合ASP技术实现了一个在Internet上表现的,能和用户交互的,可由用户设计的,可扩展的平台,让用户能够按照自己的意愿漫游的虚拟室内漫游系统。     

云存储完整性验证密码学技术研究进展

云存储完整性验证技术允许用户将数据存储至云端服务器,并为用户提供可验证的完整性保证。典型的云存储完整性验证方案由两个阶段组成：一是数据处理阶段,用户使用私钥处理数据、生成可验证的元数据存储于云服务器,而本地只需保存与数据相关的一些参数,如密钥和数据标签等;二是数据完整性验证阶段,验证者通过和云服务器交互执行一个挑战/证明协议,能够以极高的概率判断出云端数据当前的完整性。到目前为止,已经涌现了大量的相关密码学方案。本文对可证明安全的可公开验证的云存储完整性验证关键密码学技术研究进展进行简要回顾,主要涵盖代理数据外包技术、代理完整性验证技术、基于身份的数据外包技术以及几种计算和通信效率优化技术等。     

基于Android的3D恐龙博物馆系统的设计与实现

在深入分析Android的系统架构及其应用程序的组成基础上,设计和实现了一款基于Android的3D恐龙博物馆系统。该系统主要包括场景模块、恐龙展台模块和恐龙展示厅模块。该系统能够运用3D恐龙模型实现与用户的互动,具有较强的实用性、开发指导性和科普知识宣传的意义。     

基于X3D的虚拟场景动态交互技术研究

分布式虚拟现实具有虚拟现实的交互特性和网络的分布特性，满足了异地用户协同工作的需求。由于受到网络带宽、时延以及异构性等因素的限制，分布式虚拟现实系统中的3D图形文件要求尽可能小并具有跨平台的特性。本文介绍了基于X3D的虚拟场景中用户和场景交互的原理、方法以及实现过程，并给出了一个典型的应用实例。     

基于云桌面的内网信息安全管理系统实现

本系统公开了一种基于云桌面的内网信息安全管理系统,核心是数据来源服务器、核心网络设备、安全网关服务器、上网行为管理服务器、数据存储中心和云桌面系统,云桌面系统包括控制端和若干桌面虚拟客户端。系统以云桌面为技术支撑,以身份认证为基础,以数据安全为核心,以监控审计为辅助,可灵活全面的定制并实施各种安全策略,实现对内网中用户、计算机和信息的安全管理。     

Assessing Ideational and Evaluative Skills and Creative Styles and Attitudes

This article describes the rationale for the multiphase creative problem solving process, and reports the findings from an empirical investigation conducted to facilitate the problem solving of managers. The ideational skills of the managers were assessed before and after training in a complete process of creative problem solving, along with their ideational attitudes, creative problem solving style (i.e., generator, conceptualizer, optimizer, or implementor), and evaluative skill (i.e., ability to recognize original ideas). The most important findings indicated that the training had a significant impact on the evaluative accuracy of the managers. They were significantly more accurate in their judgments about original ideas after training, both in their identification of original ideas and their recognition of unoriginal ideas. After training, the managers also gave more solutions and more original solutions to problems. Finally, several variables (e.g., the “preference for active divergence” attitude, and the conceptualizer process style) seemed to moderate the impact of training. Training was therefore effective, with specific effects that can be predicted from pre-training individual differences in attitudes and process style.     

Rank and select revisited and extended

The deep connection between the Burrows–Wheeler transform (BWT) and the so-called rank and select data structures for symbol sequences is the basis of most successful approaches to compressed text indexing. Rank of a symbol at a given position equals the number of times the symbol appears in the corresponding prefix of the sequence. Select is the inverse, retrieving the positions of the symbol occurrences. It has been shown that improvements to rank/select algorithms, in combination with the BWT, turn into improved compressed text indexes.     

高等院校行政分析与决策系统的设计与实现

为提高高等院校的管理水平和决策水平,充分利用校园网资 源,开发了高等院校行政财政分析与决策系统。解决了诸如数据的动态查询、自动生成报表 、网络环境下数据共享等技术问题,具有网上数据共享、图形界面友好和安全的保密措施等 特点。     

Stochastic balancing and approximation-stability and minimality

A new method of stochastic model reduction has recently been introduced by Desai et al. [1], [2]. The stability of the reduced order model has not previously, been considered. In this paper, we show that the stability of the reduced order model follows directly from the results of Pernebo and Silverman [3]. It is also shown that the reduced order model is minimal, in the controllability/observability sense. The relevance of this notion of minimality to stochastic minimality is made clear.