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

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

受控蠕虫框架结构研究*

最近几年,随着网络系统应用及复杂性的增加,网络蠕虫成为网络系统安全的重要威胁。因此研究网络蠕虫的相关技术十分重要。给出蠕虫的基本定义,介绍了蠕虫工作流程图,并在此基础上提出了一种受控蠕虫的分布式结构框架;最后从受控蠕虫功能着手描述了受控蠕虫的工作流程图。     

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

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

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

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

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

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

粉喷桩配合土工格栅处理软土路基的施工方法

粉喷桩配合土工格栅处理软土路基属一种软土地基的特殊加固方式,在对软土地区进行粉喷桩配合土工格栅处理软土路基加固时必须严格进行控制,否则极易留下质量隐患。本文主要介绍武吉高速公路D4标段软土土路基粉喷桩配合土工格栅处理软土路基的施工情况．可供以后施工软土路基粉喷桩配合土工格栅处理软土路基时借鉴。     

一步法制备镁钙合金的冷凝实验研究北大核心CSCD

对以一步法制备镁钙合金实验中,在真空条件下,不同结晶器和不同结晶高度对金属蒸气冷凝的影响进行实验研究,并对金属产物及实验过程中的温度、压强进行分析。结果表明,当选用柱状结晶器且升华源与冷凝结晶器之间的距离为16.4cm进行实验时,收集到的金属块较厚、形状规则且冷凝结晶状态较好,此时有利于金属的收集,金属钙的分布从靠近结晶器到远离结晶器逐渐增多。本实验得到的金属产物可用作冶金工业复合脱氧剂及作为母合金生产其他合金。     

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

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

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

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