高校网络信息安全与应对机制探究

高校校园网提供便利的同时,其安全问题也随之影响到学校的教学、科研和日常工作。剖析高校校园网络信息安全现状及应对措施,深入探究不同网络体系结构下的信息安全对策,建立一套适应高校校园网络体系结构的安全体系,力图对于宽带中国时代下的数字化校园建设提供理论指导和方法借鉴。

基于π演算的智能流程建模

为适应当前云计算环境下客户的个性化要求,一种新的智能流程的概念应运而生。首先提出了智能流程平台架构,描述了智能流程生成模块、社区云服务管理模块、智能流程执行模块三大模块。π演算能够描述通信拓扑结构的动态改变,具有强大的表达能力,随后运用π演算对智能流程进行建模描述。为了适应用户需求的不断变化,介绍了用户需求变更描述模型,并给出了形式化表示方法。依据互模拟理论验证建模正确性表明π演算建模较好地描述了智能流程下用户多变的个性化需求。

云计算环境下绿色智慧校园评价体系研究

绿色计算是建设节约型、低碳社会和推动经济可持续协调发展的新型计算模式，通过与绿色化学的比较研究，提出一种基于绿色计算的数字化校园综合评价体系。全面系统地分析在云计算环境下，数字化校园各环境因子的构成分布以及系统的计算能力、通信能力和存储能力现状，基于绿色计算构建多元化“绿色智慧校园”综合评价体系。其研究方法可以为数字化智慧校园的前期论证、实施与后期绿色评价提供理论指导与方法借鉴。