一种基于双模式虚拟机的多态Shellcode检测方法

近年来,Shellcode攻击通常利用多态技术进行自我加密来绕过网络层设备的检测,而现有检测方法无法区分多态Shellcode与加壳保护代码.提出了一种基于双模式虚拟机的多态Shellcode检测方法,该方法改进了现有的GetPC定位机制,实现了Shellcode的初步定位,通过IA-32指令识别对网络流量的进行进一步过滤,利用有限自动机及其判别条件实现虚拟机控制流模式和数据流模式之间的切换,并通过结合现有的特征匹配技术实现对多层加密的多态Shellcode的检测.实验结果表明,针对大量真实的网络数据,该方法在保证高检测召回率的同时,能够实现对多态Shellcode与加壳保护软件的有效区分,避免了对正常流量的误报行为,并且时间开销介于静态分析与动态模拟之间,为网络层检测多态Shellcode提供了一种有效方法.     

植筋粘结锚固性能试验及应用研究

通过拉拔法,对95个植筋拉拔试件进行研究,考虑混凝土强度、植筋直径、埋深、孔径大小、保护层厚度、钢筋外形等因素对植筋粘结锚固性能的影响,试验表明,植筋破坏主要分为五种,并对每种破坏从机理上进行了分析,给出了考虑多种影响因素的粘结力计算公式,并对实际应用中需要注意的问题进行了探讨。     

高效液相色谱技术在食品检验中的应用探讨

时间进入21世纪,科学技术得以飞速发展,各项食品加工方法与加工模式有了很大的提高。在这一过程中,为了满足人们对食物口感的追求,各种添加剂开始应用到食品的生产过程中,如果添加的某种成分过多,则会对人们的身体健康造成严重的伤害,因此食品检测技术必须要不断发展,才能持续为人类的食品安全提供有力保障。本文就高效液相色谱技术在食品检验中的应用进行分析,来促进我国食品检验工作的不断发展。     

分枝杆菌Mycobacterium ZLP生产雄烯二酮(4-AD)的发酵研究

从摇瓶水平上对降解植物甾醇生产雄烯二酮(4-AD)的分枝杆菌的发酵条件进行研究,确定发酵培养基的最适碳源、氮源、无机盐,然后用正交方法对发酵培养基进行优化,结果为:葡萄糖2.0%,蛋白胨2.0%,MgSO4 0.7%,K2HPO4 0.8%,在此基础上确定最佳培养条件:温度28℃,起始pH 7,转化时间96 h,此时4-AD的产率为62.15%.     

加油站的光明钱景

随着"碳达峰、碳中和"目标的提出,能源转型被各行各业排上日程.加油站作为化石能源消费终端,在能源转型中的角色定位已经成为行业内外的关注点.整体来看,加油站具备突出的地理位置优势和网络优势,可将其定位于能源综合服务站助力能源转型.光伏技术的成熟和行业的快速发展,让其在加油站的应用成为可能.     

Web服务安全会话协议的SPIN建模与分析

Web Services Secure Conversation是基于XML的安全协议.本文对该协议进行了形式化的分析,并使用模型检验工具SPIN验证了协议的安全性,结果表明该协议存在认证性缺陷。为此,修改了协议的消息结构并对用户口令进行了数字签名。对改进后协议的安全性进行分析,结果表明改进后的协议不存在原协议的缺陷,协议满足认证性要求。     

GaN基紫外光电探测器的材料制备及器件优化研究进展

紫外光在各领域应用广泛,制备高性能紫外光电探测器(UVPD)受到研究人员的重视.GaN作为宽禁带半导体材料,具有高电子迁移率、稳定的物理化学性质、高击穿电压、低暗电流和固有可见盲区的特点.GaN基UV PD具有制备工艺简单、体积小无需附加滤光系统、易于与其他材料集成等特点,表现出优异的紫外光探测性能.围绕GaN基UVPD,介绍了 GaN材料在制备工艺上的研究进展;详细论述了常见结构GaN基UV PD最新结构的优化对器件性能的影响;介绍了基于表面声波、表面等离激元和场效应晶体管集成的新型GaN基UV PD;最后,对GaN基UV PD的发展趋势进行了展望.     

微生物胞内油脂染色法检测技术进展

微生物油脂是一种应用前景广阔的新型油脂资源,越来越受到人们的重视。本文综述了微生物油脂的特性及合成途径,介绍了目前微生物胞内油脂染色检测技术的三种主要方法和取得的成效。同时对染色法检测在微生物胞内油脂研究中的发展趋势进行了展望。     

甜高粱汁发酵生产酒精工艺的研究

对甜高粱汁发酵生产酒精工艺进行研究,考察了甜高粱汁在不同的pH值、接种量、温度下的发酵和正交优化试验.结果表明,甜高粱糖汁发酵生产酒精的最优条件为:pH 4.5、接种量10%、温度36℃.该工艺条件下可获得9.8%vol的酒精.     

一种移动Ad Hoc网络可生存性模型建模及仿真验证方法

针对网络可生存性模型考虑因素不同、模型描述各异和实验环境概念不同所造成的彼此之间较难的可比性问题,文中提出了一种用于评判多种移动Ad Hoc网络可生存性模型的建模及其仿真验证方法.从可生存性定义出发,采用本体构建可生存性模型的高层描述,在此基础上研究了高层描述向低层仿真执行的转换技术,提出了基于攻击路径自动生成的防御仿真任务部署方法,并实现了可生存性模型的仿真验证.最终在面向战术环境的移动Ad Hoc网络中,通过对SAMNAR模型和群组恢复模型的建模验证说明了文中方法的有效性.