实施“绿色创新工程”推动企业可持续发展

企业作为现代社会经济的基本细胞,是传统发展模式的主要体现者和执行者.从一定程度上说,企业行为是生态环境问题、自然资源问题乃至一些社会经济问题产生的直接源.面对全球性日益高涨的环境保护运动,企业应顺应时代潮流,选择面向可持续发展的绿色经营发展战略,在其经营活动的各个方面建立起绿色创新机制,从而使企业的生产经营全过程是在以可持续发展理论为指导,在现代企业绿色创新制度的基本框架下,实现自然物质变成经济物质,再把经济物质转化为自然物质的社会生产与再生产过程.     

基于模糊匹配的专用库函数识别技术

针对传统库函数识别方法无法有效识别专用库函数的问题,提出基于模糊匹配的专用库函数识别技术。在库文件快速识别与鉴定技术(FLIRT)的函数签名机制的基础上做出改进,提取目标文件的有效函数集并利用专用库函数特征库进行模糊匹配,确定需要加载的库签名,加载签名完成精确匹配。实验结果证明,该技术在专用库函数的识别方面效果较好。     

基于JTAG仿真的ARM Linux设备Bootkit检测技术研究*

ARM Linux嵌入式设备正遭受着日益严重的Bootkit威胁。针对传统检测技术对Bootkit检测的局限性,提出了一种基于JTAG的固件底层检测方法。该方法以基本块级跟踪和循环识别构成的系统跟踪优化算法为基础,利用跟踪系统的启动过程中记录到的信息,对Bootloader引导阶段和内核启动阶段进行监控,从而实现对ARM Linux嵌入式设备Bootkit的分阶段检测。实验结果表明,以跟踪优化算法为基础的Bootkit分段检测技术不仅极大提高了跟踪效率,亦有效检测出了Bootkit的存在,达到了预期效果。     

基于符号化执行的Fuzzing测试方法

设计并实现一种基于符号化执行的Fuzzing测试方法。通过代码插装,在程序执行过程中收集路径约束条件,依据一定的路径遍历算法生成新路径约束条件并进行求解,构造可以引导程序向新路径执行的输入测试数据。提出一种改进的污点分析机制,对路径约束条件进行简化,提高了代码覆盖率和漏洞检测的效率。     

一种shellcode动态检测与分析技术

提出一种基于动态二进制平台DynamoRIO的shellcode模型识别与功能分析方法,并实现了基于该方法的原型系统.首先总结了shellcode利用技术,分析了shellcode动态执行特征,利用自动机理论,对shellcode各执行阶段进行了形式化的描述,并给出了各阶段相应的自动机模型及检测分析算法,据此归纳得到shellcode的一般执行模式;其次,提出了一种shellcode的API调用序列分析方法,根据API类型和参数,实现了对shellcode的功能分析.实验结果表明,该方法能够有效检测shell-code,识别执行模式,判定shellcode执行功能.该检测方法对高效检测shellcode、快速判明网络攻击意图和提高对网络攻击事件的响应能力具有重要的应用价值.     

密码算法识别技术研究

在二进制代码中识别密码算法对于查找恶意代码,保护计算机系统安全有着重要的意义,文章分析了密码算法的静态特征码和统计特征,并介绍具体静态特征码,以及相似性判定的的统计特征识别,研究的成果可以为鉴别二进制代码中的密码算法提供重要参考。     

基于MSP430F149的网络心电系统设计

本文提出了一个便携式可连网的心电仪的设计方案.通过选择合适的器件,使所设计的心电系统不仅完成预期的功能要求,而且达到最佳性价比.并对所选择的器件特征和使用方法做了详细的介绍.     

一类特殊超 G-扩张的存在

证明了关于半序集Ｐ＝（Ｘ，≤）的一类具有特殊性质的超Ｇ－扩张的存在，对于ｄｉｍＰ的研究具有较大的意义。     

基于右手人工电磁传输线的差分移相器设计

结合宽带差分移相器的基本结构,以及新型右手传输线的色散特性,提出了一种具有任意相移量的新型右手人工电磁传输线的差分移相器,并针对该移相器提出了2种新型结构,分别采用“色散”右手传输线取代标准Schiffman移相器中平行耦合双线、或直接取代传统均匀传输线来作为移相臂,得到新的相位差分电路,并采用射频仿真软件ADS（Advanced Design System）进行访真分析.理论分析和电路仿真均表明采用该右手传输线制作的移相器在很宽的频带上具有恒定的差分相移量,并且在工作带宽范围内器件具有很小的插入损耗,比标准的Schiffman移相器有了更大的灵活性和适应性.     

通用代码Shell化技术研究

代码Shell化技术是一种实现程序从源码形态到二进制形态的程序变换技术.该技术可用于实现Shellcode生成,生成包括漏洞利用过程中的Shellcode及后渗透测试过程中的功能性Shellcode.文中形式化地描述了程序中代码与数据的关系,提出了一种基于LLVM(Low Level Virtual Machine)的...