云计算环境下的虚拟机可信度量模型

为了解决云计算环境下虚拟机可信度量方法存在的并发性和安全性问题,提出了一种树形可信度量模型.根据云计算环境的特点将度量过程分离,一方面采用基于完整性的方式来度量管理域的可信性,另一方面采用基于系统行为的方式来度量用户域的可信性,解决了传统度量模型难以并发度量的问题,提高了度量模型的可扩展性.结合系统调用截获和虚拟机内省技术,实现了可信度量原型系统,并通过实验评测系统的有效性和相关性能.实验结果表明,树形可信度量模型能够有效验证虚拟机的可信度.     

鄂西南地区松褐天牛生物学特性及发生规律研究

采用室内饲养观察法与饵木诱集观察法，对松褐天牛（Monochamus alternatus Hope)在湖北西部地区的生活习性、生活史、发生规律进行了研究。结果表明，该虫在该地区1年1代，以低龄幼虫和老熟幼虫分别在韧皮部和木质部的虫道内越冬。翌年4月中旬化蛹，5月上中旬始见成虫，5月下旬至6月下旬为成虫羽化盛期。幼虫于6月中旬开始取食，10月进入越冬。发育期温度升高可缩短各虫态的发育历期。多雨潮湿可抑制成虫活动和幼虫感病。在树干的中段虫口密集。成虫喜食长势良好的树木枝皮，喜欢在新伐倒木和生长衰弱的立木上产卵，采用饵木和诱捕器诱集效果良好，为该虫的防治和预测预报提供了可靠的理论依据。     

运用WebService技术实现高校财务管理与科研管理的融合

本文依据华东师范大学的具体实践,分析了目前高校信息化建设中科研系统财务管理的现状与存在的问题,并详细介绍了财务管理与科研管理融合的规划与实现,以华东师范大学运用WebService技术实现高校财务管理与科研管理融合的实践经验为国内其他高校提供借鉴.     

高校科研管理服务平台建设探索:以华东师范大学为例

高校科研管理服务平台本着"服务"与"管理"并重的理念进行设计构建.在系统的规划建设过程中,以面向用户服务为导向,深化对科研项目的全过程管理和科研经费的精细化管理,为科研绩效评价和决策支持提供支撑,构建了一个以人为本的科研服务体系,提升了科研管理和服务的水平.     

可信网络连接双向认证协议的设计与分析

针对可信网络连接认证协议的现有方案存在单向认证、平台身份和配置信息泄露、无法抵御伪装及重放攻击等安全问题,提出了一种新的认证协议。该协议通过引入可信第三方实现了双向用户身份和平台身份的认证,防止了伪装攻击。直接匿名证明方法和时间戳的应用,保护了平台身份和配置信息的安全,防止了重放攻击。采用BAN逻辑对协议进行形式化描述及分析,验证了本协议可以提高认证的安全性,具有较高的应用价值。