基于Mininet模拟环境的软件定义网络实验课程设计

为深化研究生课程教学改革,针对软件定义网络实验课程存在的实验科目匮乏、硬件实验环境尚难规模化部署和灵活性不足、学生上手难度大等问题,依据体现最新研究进展、增强差异对比实验、设计模块化实验科目等建设思路,阐述如何基于Mininet软件模拟环境配合POX、Kinetic、Pyretic等控制器开设SDN网络环境搭建、SDN网络特定拓扑绘制、网络分割、防火墙编写等实验科目,最后说明取得的教学效果。     

一种改进的大规模CTL公式检测算法

标记算法是模型检测用于验证计算树逻辑CTL公式的经典算法.针对标记算法检测大规模公式存在的效率问题,提出一种可用于验证大规模CTL公式的标记算法.算法通过公式预处理标识公式集中的公共子公式,在验证过程中绑定公共子公式与模型状态,避免公式的重复验证.实验结果表明,该算法有效提高了验证效率.     

SiO2纳米颗粒对水相泡沫稳定性的影响

采用SiO_2纳米颗粒分别与阴离子表面活性剂十二烷基硫酸钠（SDS）、阳离子表面活性剂十六烷基三甲基溴化铵（CTAB）、非离子表面活性剂十二烷基醇聚氧乙烯（3）醚（AEO-3）复配制备水相泡沫,研究了发泡体积、半衰期和微观结构的变化规律,以揭示SiO_2纳米颗粒对水相泡沫稳定性的影响机理。结果表明,在表面活性剂质量分数一定的条件下,随着纳米颗粒质量分数的增加,泡沫稳定性逐渐增强,当纳米颗粒质量分数为0.3%时,发泡体积达最大值,含气率分别为78.9%,78.4%和78.8%。与单组分质量分数分别为0.3%,0.3%和15%的SDS、CTAB、AEO-3体系相比,发泡体积未受影响,半衰期分别为9.0,8.2和360?min,提高了20%,28.1%和71.4%,泡沫的稳定性得到了不同程度的改善。     

网络信息安全在线课程建设

针对学生网络安全基础不同的问题和学习过程不离岗、岗位需求明晰的学情,提出定向型内容重构的课程设计目标,从内容吸引力和学习效果两方面明确课程内容设计思路,探讨如何建设课程内容、课件和脚本资源、演示资源、习题资源、辅导机制等在线课程资源,介绍教学实施过程,从学习情况、课后习题完成情况、讨论交流情况和考试情况等方面说明在线课程取得较好的教学效果。     

军校任职教育双网模式的混合教学

针对传统的以理论讲授为主的课堂教学模式难以满足军校任职干部岗位能力培养需求的问题,分析军校任职培训现状,结合军队的实战需求及保密规定,提出基于双网模式的混合教学方法,阐述双网混合教学模式设计原则,介绍双网环境下的混合教学模式在任职教育电子取证专业课教学中的应用,最后通过教学效果说明该教学模式的有效性。     

Linux可信引导技术研究

可信计算对于信息系统的安全需求,提出了新的计算机系统安全解决方案,成为目前安全领域的研究热点.提出基于可信平台模块TPM(Trusted Platform Module)的Linux引导技术,阐述Linux引导模块之间信任链的建立及完整性度量的方法.任何模块加载执行之前必须通过完整性度量才能获得控制权,远程系统通过完整性度量值验证引导过程是否真实可信.     

基于系统调用的入侵检测

入侵检测是计算机安全中很重要的课题,但至今为止大部分入侵检测软件都是通过模式匹配的方法对已知的入侵方式做出的判断,很少或不能对未知的入侵方式进行识别与防御。因此,如何对未知的入侵做出准确的判断,成为各入侵软件开发的难点之一。本文引入一种基于行为及模型推理相结合的入侵检测方法,通过对系统调用的跟踪分析,最终做到对入侵的实时监控和未知入侵的正确识别。     

SNMP网络管理模型中故障管理的设计与实现

SNMP（简单网络管理协议）是现今使用最广泛的网络管理协议。本文简要介绍了SNMP的原理，较为详细地阐述了SNMP网络管理模型中故障管理的设计与实现。     

程序自动脱壳数据采集技术研究

自动提取加壳程序隐藏的代码和数据是目前恶意代码检测技术面临的重要问题。分析了加壳程序运行的本质特征,给出了存储器监控算法和动态基本块标记算法,描述了基于QEMU仿真器的程序自动脱壳数据采集系统的设计思路。实验结果表明,该系统可以有效地提取被加壳程序的代码和数据,完整地记录程序脱壳的执行行为。