Cache层次中的模式局部性研究

对基于记录Cache victim来发现模式局部性的几种方法进行了研究.记录victim决定的一个好处是减少相关信息的复制,并保存victim行当前的位置.典型的Cache可以发现时间局部性和空间局部性.这里要考虑的是如何发现模式的局部性--指的是上一次相邻访问的行在下次仍被一起访问的特性.描述了一些记录模式局部性的新型Cache结构,以及通过几个追踪仿真得到的缺失率和通信传输性能.显示出基于victim统计的模式局部性信息对于提高预取决定的质量帮助很大.     

基于Bayes决策的密码算法识别技术

在可执行代码中识别密码算法对于查找恶意代码、保护计算机系统安全有着重要的意义。该文在对汇编级密码算法特征分析的基础上,提出了汇编级密码算法特征度量元的概念,并采用七维特征向量对其进行形式化描述,建立基于Bayes决策的密码算法识别模型,测试结果表明该模型稳定、准确,能够高效地定位代码中的密码算法。     

基于存储访问模型的细粒度存储变量识别算法

现阶段对变量的识别通常采用基于特定编译习惯及内存访问地址模式匹配的方法,或基于内存模型和抽象解释的分析方法。前者针对性太强,不具备普适性;后者通常采用损失算法精度的方法来得到结果,这往往会造成识别变量粒度过大、漏识别和误识别率较高。首先定义一种存储访问模型,对存储操作进行细粒度的模拟;然后给出基于存储访问模型的抽象状态生成算法,实现了基于高级中间语言HBRIL的细粒度数据信息(抽象状态)的跟踪和记录;基于这些抽象状态设计了存储区域内的细粒度变量实体识别算法;最后通过测试给出变量识别的细化比例和识别率。由测试结果可以看出,该算法在动态分配变量的识别率方面具有明显优势。     

Symbian操作系统的内存管理分析

为了解决智能手机的安全性问题,以Symbian操作系统为对象分析了该操作系统中内存管理机制。主要研究内存模型如何应用物理内存、内存管理单元及Cache来提供操作系统和用户应用程序所需要的内存服务,以及操作系统如何实现内存保护和解决内存不足等问题;并通过实验验证了上述分析结果,最后提出了Symbian操作系统内存管理机制可能的发展方向。     

基于毕博平台的大学课程网络教学探索

介绍了目前国内大多数高校教学的现状,结合网络教学优势,提出基于毕博平台的教学实施方案,分析了如何处理好网络教学和传统教学之间的关系,最后总结了所取得的教学效果。     

基于特征选择的虚拟化系统语义鸿沟桥接研究

虚拟化系统的强隔离性质在为安全机制部署提供可靠环境的同时,也引入了语义鸿沟问题。针对现有研究普遍依赖的软件体系结构信息、数据结构和控制流容易被窜改,采用的检测算法在客户机状态识别方面效率较低等问题,设计了特征构造和窗口标记的方法对虚拟机数据进行预处理,以满足实施数据挖掘的必要条件,建立了基于特征选择的虚拟化系统语义鸿沟桥接模型,能够仅依赖硬件体系结构数据构建虚拟机执行模式并进行安全检测。实验结果表明,所设计的系统模型能够筛选出关键的虚拟机特征,并有效地识别出客户机异常行为,提高语义鸿沟的桥接效率,为处理语义鸿沟问题提供了一种可行方案。     

基于Alpha处理器的系统级仿真实现

以Alpha处理器作为实现平台,将系统仿真软件QEMU移植到Alpha上,使基于x86结构的Linux操作系统可以运行在系统虚拟机中,实现Alpha处理器与x86程序的兼容。对该虚拟机进行性能测试,通过统计代码膨胀率,找出制约虚拟机性能的指令类型,为虚拟机性能优化工作提供参考数据。     

公钥密码算法识别技术研究

嵌入式设备在网络中引发了很多安全隐患,针对嵌入式系统的网络安全问题,识别其中的公钥密码算法是分析系统安全性的一个重要方面。在对公钥密码算法加密原理的研究以及在汇编级算法特征分析的基础上,提出了一种基于语义的公钥密码算法加密行为分析方法,可以对算法的加密行为进行准确地刻画,并结合模型检测技术完成对嵌入式系统中可能包含的公钥密码算法的识别。测试结果表明,该方法具有较好的准确性和稳定性。