基于动态数据流的密码函数加解密过程分析

在密码函数识别的基础上,采用九元组的形式定义了加解密过程依赖图,提出了基于动态数据流分析的函数依赖图构建框架,并设计了构建算法;采用垃圾调用删除、循环归约的方式对依赖图进行化简;基于标准密码算法依赖图知识库,设计了相似性判别算法对依赖图集合进行判别,测试结果验证了方法的可靠性与高效性。     

面向资源泄漏的浏览器沙箱测试方法

资源泄漏是导致浏览器沙箱逃逸的重要缺陷之一,已有浏览器沙箱测试方法不完全适用于发现资源泄漏缺陷.基于大多数导致沙箱逃逸的资源具有相同或相似属性取值的分析,本文提出了一种面向资源泄漏的浏览器沙箱测试方法.该方法首先分析并约简敏感资源的属性来生成资源筛选规则;其次,定义资源与资源筛选规则前件的最大加权语义相似度为逃逸指数,并使用逃逸指数阈值来筛选测试资源;再次,设计并实现了原型系统BSTS（Browser Sandbox Testing System）,并在BSTS内分析了方法的性能.进一步,选择多个主流浏览器沙箱来测试本文方法的资源泄漏发现能力,实验结果显示本文方法具有良好的资源泄漏发现能力.     

基于反编译的循环脆弱点检测

循环拷贝出错是缓冲区溢出漏洞产生的主要原因之一。为了提高此类漏洞的检测效率, 提出一种基于反编译的循环脆弱点检测方法。该方法首先对目标文件进行反编译, 在反编译的基础上构建函数的AST(抽象语法树), 设计算法提取函数内部的循环信息; 然后根据循环脆弱点存在的特性, 构建有限状态自动机, 对循环脆弱点进行检测。该方法在无源码漏洞检测方面有明显优势, 能有效发掘软件中存在的循环脆弱点, 提高漏洞挖掘的效率和自动化程度。     

数控机床螺距误差补偿与分析

文章通过实例介绍数控机床滚珠丝杆传动机构的螺距误差的测量、补偿依据、补偿方法与操作要点,以及补偿效果的验证与分析.通过利用英国RENISHAW公司的ML10激光干涉仪对FANUC 0i系统数控铣床X轴的螺距误差进行测量、补偿及验证,结果说明,对滚珠丝杆传动机构的反向偏差与螺距误差进行补偿是提高机床精度的一种重要手段.     

透明塑料制品内应力检测仪设计与应用

针对就塑料产品中存在的内应力提出了检测透明塑料产品内应力分布的思路,并简单介绍了光弹效应的基本原理,根据该原理说明了设计内应力检测仪的具体方法,设计出了结构较简单、可行的透明塑料内应力检测仪,给出了检测仪的结构图,列出了该检测仪所观测到的塑料产品中的各种内应力分布图,最后提出了该检测仪的其它用途.     

一种基于ARM微处理器的嵌入式代码语义属性分析方法

通过深入研究ARM指令系统的特点及其编译后的代码特征,构建了基于ARM微处理器的二进制嵌入式代码解析模型,讨论了基于ARM体系结构的嵌入式代码语义分析方法。从指令和指令序列两种粒度级别分别讨论了代码语义属性的抽取方法,并分析了基于该解析模型的指令和指令序列的实例。结果表明,此方法极大地提高了代码解析的准确性和可读性。     

岗位群及其应用

国家教委教职(94)11号文件确立了十所五年制高职试点学位，我校是冶金系统唯一的一所试点学校。按照国家教委的指示精神：五年制高职教育应坚持以能力培养为中心，教学必须针对一定的岗位，培养适应生产一线需要的高级技术人才和管理人才。对于这种新的教育模式，参照国外一些先进经验，结合本行业及本省的人才需求特点，我们在初中起点的五年制高职教育试点中引入了岗位群的概念。     

电子产品生产中的临时性防护

分析了各种自然环境条件下的失效机理,较详细解释了电子设备临时性防护的主要途径,提出了注重质量意识、注重细节的质量观点。     

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

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