新疆广播电视大学网络教学平台课程个性化学习系统的设计与安全机制研究

新疆广播电视大学的网络教学平台是新疆发展远程教育的骨干力量,提供双语教学,能够满足绝大部分教学需求,但是在教学内容与平台智能方面还未实现精细化教学的目标,难以实现因材施教.本文针对上述问题,引入了个性化学习理论,在现有网络教学平台上设计网上课程个性化学习系统架构,并对系统中的资源建设与管理、个性化设计以及安全性机制进行了探讨.网上课程个性化学习系统可以在确保教学平台安全可信的前提下提高教学质量,有利于学生的个人发展.     

验证性实验综合测试平台

分析了传统验证性实验存在的不足,提出了在验证性实验中引入计算机辅助设计的"验证性实验综合测试平台"的解决方案.该测试平台的实际运行情况表明:在实验教学中使用"验证性实验综合测试平台"有利于学生创新能力的培养,并提高了验证性实验的教学质量.     

能源互联网中4G无线通信业务模型分析

随着能源互联网建设的展开,利用4G网络技术为智能电网业务提供更好的通信服务正受到广泛关注。为了满足电力行业的发展需求,本文分析了4G技术的优势,研究了智能电网的输电、变电、配电、用电四个环节的业务需求和业务特征,区别于传统通信业务,研究表明电网业务具有上行业务为主这一重要特性。为验证4G网络的对电网业务的承载能力,本文建立了4G技术下的电力业务承载模型,从覆盖场强、连接概率等角度验证了4G技术的可行性,得出了4G技术能为智能电网带来强有力的技术支撑。     

适用于无线传感器网络的数字水印技术

针对无线传感器网络的数据安全问题,提出了一种适用于无线传感器网络的数字水印技术,并设计了水印的生成、嵌入和检测算法.该算法通过水印信息标识发送方节点的身份,将水印信息嵌入到节点采集的数据中进行发送,并在数据融合的过程中保留这种信息.接收方节点通过验证水印信息来判断数据的可靠性,一旦检测到了水印信息则进行存储和转发,使水印信息的数据不被丢弃.通过分析和实验验证,结果表明:该算法可以有效地验证数据的可靠性,水印信息在数据抽样和汇总中不被破坏,具有较好的可行性和实用性.     

Ng-vTPM:新一代TPM虚拟化框架设计

虚拟可信平台模块v TPM(virtual trusted platform module)是云环境中提供可信功能的重要部件,针对已有v TPM在安全存储属性、可信身份属性、信任传递属性以及迁移时这些属性的保持在设计上的不足,本文提出一个Ng-v TPM框架.该框架结合TPM2.0的新特性,由物理TPM产生v TPM密钥提供安全存储属性,基于物理TPM背书平台种子与虚拟背书密钥的映射关系,提供虚拟机可信身份,将信任链由物理平台扩展到虚拟机平台,并提出使用基于平台配置寄存器策略的封装存储方法解决v TPM迁移后数据的可用性.最后以Xen-4.3.0架构为基础实现此框架.实验分析表明,该框架能够有效保证v TPM设计的安全需求.     

电力调度数据网仿真建模及路由协议攻击影响

电力调度数据网的安全是智能电网安全运行的保障.通过仿真分析,可以评价电力调度数据网的安全性能,为部署安全措施和优化网络提供依据.本文在分析网络通信架构与业务特性的基础上,在OPNET仿真平台上对某省电力调度骨干网与变电站内部网络及承载业务进行了建模.模型中拓扑结构、设备链路、VPN(virtual private network)部署等网络配置均基于实际情况.在该模型上,对OSPF(open shortest path first)路由协议攻击进行仿真,研究路由协议攻击对省调中心与地调中心、变电站站控层之间通信时延、业务吞吐量、带宽利用率的变化,总结了不同场景下骨干网路由协议受到攻击后对电力调度数据网的业务传输的影响,揭示了电力调度数据网骨干网路由协议存在的脆弱性,所设计的仿真分析方法和仿真结果可为电力调度数据网运维部门改进网络安全性能参考.     

基于虚拟化技术的信息安全实验平台开发与应用

为满足网络信息安全实验教学的现实需求,充分考虑到仪器设备资源的利用率,本文基于虚拟化技术设计并实现了一套软硬结合的信息安全综合实验平台,提供满足信息安全专业教学需求的实验环境.其中:硬件作为系统的支撑平台,满足不同实验所需的环境;软件采用虚拟机的方式,集成各种软件环境,方便实验室的维护和建设.基于此平台开发了密码学及其应用、防火墙、入侵检测和漏洞扫描技术等多种实验内容,实验教学效果显著.     

一种形式化的可信平台模块应用编程接口安全性分析方法

针对可信平台模块(TPM)应用编程接口(API)规范设计的安全性未得到有效验证,本文提出了一种形式化的安全性分析方法.具体内容包括:采用形式化模型定义应用编程接口、攻击者能力与安全目标;借助自动证明机实现了一种基于归结准则和定理证明的推理方法,在该方法中还集成了可执行状态判决机制,在一定程度上缓解了状态空间爆炸的问题.实验结果表明,可信平台模块密钥迁移功能的设计存在一定安全缺陷.     

基于属性证明的可信网络接入方案

为保证终端接入网络时的可信计算平台配置满足特定的安全要求,可信计算组织提出了可信网络接入框架,在该框架中终端向网络决策判定方请求接入网络时采用二进制证明方案进行平台证明,存在完整性管理复杂、暴露用户平台配置隐私等问题.针对上述问题,本文提出了一种基于属性的可信网络接入方案,采用基于属性的远程证明方法,将可信网络接入中的平台证明交给一个可信的安全属性证书颁发方,此属性证书颁发方根据终端平台的完整性颁发安全属性证书,负责网络接入判定的网络接入决策者根据属性证书进行网络接入判定,有效地解决了传统可信网络接入中网络接入决策者完整性管理复杂以及终端平台配置暴露等问题,并能够根据安全属性将平台接入到不同的隔离域,实现了网络中平台多域的隔离.本文在802.1X框架下实现了上述方案,实验结果显示该方案能够根据平台的安全属性实现终端平台VLAN的隔离.     

智能化网络性能分析与预测支撑系统设计

提出了一种将离线性能分析与在线性能实时预测相结合的网络性能分析与预测支撑系统设计方案.在离线性能分析中完成了特定网络节点的性能分析、节点间性能相关性分析以及长期网络性能历史数据的演化数学建模;在在线性能分析中则主要基于一种混合的实时预测模型来完成在线的网络性能预报,它采用模块化设计,具有良好的智能与很好的可扩展型和自适应性.实验表明,它为网络管理人员提供了强有效的网络性能分析与预测工具,是一个理想的性能分析与预测支撑平台.     

针对NIDS的分布式攻击评估技术研究

对网络入侵检测系统本身的一些安全问题，如可靠性和生存健壮性等进行了研究，针对网络入侵检测系统——Snort，利用分布式协同攻击技术对NIDS的可靠性和生存健壮性进行了测试．实验结果显示，当前的NIDS是脆弱的．     

新疆电网实施自动电压控制的初步探讨

基于电力系统电压与无功的理论,结合新疆电网的现状,提出了新疆电网自动电压控制的策略,论述了AVC系统三层控制结构,动态九区图控制理论,AVC优化控制策略等.     

基于模型检测的可信软件栈测试

基于模型检测理论,提出了一种可信软件栈的测试方法,使用计算树逻辑对可信软件栈的函数调用进行抽象描述,通过验证可信软件栈函数的接口和函数调用是否符合规范,从而确定平台中可信软件栈的正确性.测试结果表明,一些可信计算平台产品中的软件栈不完全符合可信计算组织(TCG)的规范要求.     

一种频率自适应的同步相位与对称分量检测方法

电网不对称故障时,快速、准确地检测同步相位和对称分量是电力电子装置实现控制与保护的关键问题之一.分析了负序分量对传统三相锁相环检测性能的影响,设计了一种频率自适应的同步相位与瞬时对称分量检测新方法.该方法利用瞬时对称分量理论在两相静止坐标系下实现对称分量的实时检测,利用广义二阶积分器实现90°相移,用测得的基波正序电压q轴分量作为锁相环的输入,用锁相环的输出角频率作为相移电路的谐振角频率,达到谐波抑制与频率自适应跟踪,是一个闭环的实时检测系统.分析了该方法的实现机理,给出了检测电路的实现框图,进行了实验验证.结果表明,该方法既能在被测电压不对称时准确检测同步相位和对称分量,又能消除电压频率变化对检测同步相位和对称分量的影响.     

高校实验教学考核模式改革探索与实践

归纳了实验教学考核模式改革的一些经验,在此基础上,针对《网络攻防技术》课程实验的考核模式进行了改革,设计了网络攻防实验考核测评指标体系,构建了网络攻防实验考核平台,提出了全过程跟踪的实验考核评价方法,取得较好的实践效果.     

基于图正则化概念分解的网络入侵检测研究

作为一种有效的主动探测网络恶意攻击防护措施,入侵检测在变电站信息系统安全防护中得到了广泛的应用.但实际网络入侵数据类型的多样性、非负性和高维度性等特点使得现有方法存在检测率低、误报率高等不足.基于非负矩阵分解的方法在入侵检测上取得了较好的效果,却忽略了嵌入在数据局部的几何结构和标记信息.为此,本文提出一种基于图正则化约束的概念分解算法.通过将数据的几何结构和标记信息同时作为约束条件,建立了一种新的概念分解模型,并提出了迭代更新求解算法.通过在网络入侵数据集KDD99上的实验验证,其结果展示了所提算法的有效性和鲁棒性.     

一种密钥协商协议的自动化设计方法

通过引入优胜劣汰的自然规律,提出了一种改进的基于演化计算的安全协议自动化设计方法.该方法采用SVO逻辑作为描述协议的基本工具,给出了能全面衡量安全协议个体性能的评估函数,并据此理论设计出一种满足安全目标的密钥协商协议,保证了最终生成协议为最优解.实验结果显示:由于在协议生成过程中,同时进行了该协议的安全验证,能很好地保证所涉及协议的正确性和安全性.表明该方法具有较强的可行性和适用性.     

三值T门组合网络自动综合的理论和算法

利用具有补运算三值格代数系统和三值T代数系统的基本运算和主要性质,提出了基于三值逻辑函数简化不相交积之和形式的三值T门组合网络自动综合的一些理论问题和算法,并给出了应用实例.利用CMOS管电路实现了三值T门模块和应用实例中的三值T门组合网络.HSPICE仿真实验验证了所设计的三值T门组合网络逻辑功能正确,表明该算法是有效的.该方法易实现三值T门组合网络的自动综合.     

分布式系统调试器IVD的系统实现

介绍了一个自主式智能车辆AIV系统的分布式系统测试床IVD系统.首先讨论了IVD系统的设计目标,然后在介绍AIV结构的基础上,详细地分析了IVD系统,按实时在线调试和离线重放两种情况进行一一讨论.该系统已在智能车辆AIV系统开发及调试实验中得到应用,实验结果验证了该系统是进行在线实时观察,离线分析问题的强有力的工具.