摘要：针对当前木马病毒向核心态发展的趋势,为给反病毒研究提供技术参考和依据,该文对NDIS体系结构进行了分析,提出一种基于NDIS驱动的木马隐蔽通信方法,以该方法为依据设计和实现了木马验证模型并对其进行分析和测试。测试结果验证了模型的非接触式穿透防火墙性能。

摘要：传统OSPF路由协议的应用环境在构建自组织网络时显得过于复杂,代价太高,该文为此设计一种简化的OSPF协议,以该协议为基础提出网络的一种可行实现方案,建立数学模型对基于该方案构造的自组织网络的自组织能力进行评估。实践证明,基于该自组织网络的自组织能力和容错能力能达到实用的要求,特别是对于构建高科技战争等特殊环境下需要的复杂自组织网络有一定的实用价值。

摘要：为解决目前嵌入式设备固件漏洞检测方法硬件依赖程度高、通用性不强的问题,提出一种基于内存模糊测试的嵌入式设备固件漏洞检测方法。根据嵌入式设备运行环境封闭的特点,采用绕过执行的方法仿真运行嵌入式程序,动态监视并控制嵌入式程序的执行,实现嵌入式程序的内存模糊测试,设计一个针对嵌入式程序的自动化漏洞可利用性判断插件,在此基础上给出嵌入式固件漏洞检测的方法和具体流程。通过实例验证了该方法的有效性。

摘要：在对木马结构和各种内核级rootkit技术进行分析的基础上,提出一种模块化的基于驱动的通用木马结构,该结构能够融合各类内核rootkit,具有通用性,并能有效的将运行在用户态的木马主体部分和运行在内核态的驱动程序部分有机联系起来,驱动程序通过和用户态程序相互通信实现隐蔽通信和木马程序自身的隐藏。测试结果表明,该结构能够很好的支持驱动程序对包括进程、文件、注册表、服务等木马相关信息的隐藏。

摘要：变形病毒将成为未来计算机病毒发展的趋势,研究病毒的变形技术及变形引擎十分必要。在概括病毒变形技术的原理和发展的基础上,分析了变形引擎的基本结构和流程,给出了一种变形引擎的具体实现方法,并详细介绍了其中各模块的功能和算法,同时也对其中涉及到的指令剥离、指令相关性分析以及随机数生成等关键技术的实现进行了讨论,最后对通过该引擎变形后病毒的抗查杀能力进行了测试。

摘要：针对HB协议族只能实现单向认证的缺陷,基于HB协议、结合2级物理不可克隆函数设计了可证明安全的轻量级双向认证协议MPUF-HB.文章分别在被动模型、DET攻击模型和GSR-MIM攻击模型下,通过向线性阈值函数可学习性问题的规约严格证明了新协议的安全性.协议基于物理不可克隆函数提供防篡改特性,能有效抵御主动攻击和GSR中间人攻击,在低资源占用量的前提下提高了安全性能,实现了双向认证.

摘要：为了实现存储隔离与还原2种安全防护,设计一种存储隔离与还原系统。与传统基于硬件隔离卡的存储隔离方法不同,该系统完全基于软件实现,可以设置任意数量的隔离区域,并进一步实现系统的多点还原功能。实验结果证明,该系统具有较低的部署成本和更大的灵活性。

摘要：为了充分利用多核CPU来实现动态二进制翻译的并行化,研究了用多线程将翻译阶段和执行阶段并行优化的方法,提供了并行化系统的程序流程。并根据翻译与执行的时序及相关性,设计实现了一种超前翻译算法,它能够有效预测程序的执行路径,为翻译过程提供导向作用。实验结果表明,该优化方法提高了翻译缓存中基本块的命中率,使执行阶段尽量不被中断,进而提升了执行效率。

摘要：以C语言为例,结合作者的教学实践,总结若干提高程序设计语言课程教学效果的建议和做法,避免由于学生在专业基础、思维方式、基本技能方面的欠缺,导致第一门计算机程序设计语言课程难学的状况,有效提升C语言课程的教学效果。

摘要：针对异构处理器平台进行X86体系结构仿真的问题,提出一种I/O框架,介绍该框架中的3个主要模块：总线与接口函数的注册与映射,桥芯片中数据结构的设计与函数体的布局,中断信号选择与传递的实现技术。根据不同框架结构,通过运行SPEC2000测试集,证明该I/O框架与其他同类框架相比,性能可提升10%20%。