未知协议状态机推断技术研究综述

协议逆向工程(PRE)描述了协议的行为逻辑,一般分为协议格式提取和状态机构造2个步骤。这2个步骤既相互关联又相互独立,在网络安全领域具有重要意义。本文全面梳理PRE协议状态机推理的相关文献,总结分析协议状态机推理的研究现状和发展趋势。首先,本文介绍PRE的形式化定义和基本原则,并讨论主要领域的具体要求。其次,分析状态机推理方法,并将其分为3种模式:聚类方法、状态相关方法和轮询状态实体方法,然后从不同的角度比较算法的逆向能力和时间效率。最后展望协议状态机推理的发展趋势。

模糊测试技术研究综述

随着人们对软件系统安全问题关注度的不断提升,模糊测试作为一种用于安全漏洞检测的安全测试技术,具有自动化程度高、误报率低等优点,其应用越来越广泛,地位也越来越重要。经过近些年的不断改进,模糊测试无论在技术发展上还是在应用创新上,都取得了诸多成就。首先,对模糊测试的相关概念和基本理论进行简要说明,总结了模糊测试在各领域的应用情况,针对不同领域的漏洞挖掘需求,分析得出相应的模糊测试解决方案。其次,重点总结了近几年来模糊测试的重要发展成果,包括测试工具、框架、系统及方法的改进与创新,并分析总结了各发展成果所采用的创新方法,提出的理论以及各工具、系统的优点与不足。最后,分别从协议逆向工程应用、云平台建设、新兴技术结合、模糊测试对抗技术研究及模糊测试工具集成的角度,为模糊测试下一步的研究提供了方向参考。

我国低碳技术发展支持政策问题和建议

随着经济的快速发展,人们的环保意识越来越强,低碳经济成为了政府和环保组织提倡的经济模式。低碳技术的发展离不开政府相关政策的支持。从目前的有关文件来看,现阶段我国的低碳技术政策比较盲目,缺乏一个行之有效的系统,导致我国低碳技术的潜力无法发挥出来。面对这一问题,我国相关政府部门要根据我国的具体国情制定出一套行之有效的政策体系,来保障我国低碳技术的发展。

常压干燥工艺制备SiO_2纳米纤维-SiO_2复合气凝胶及其表征

以正硅酸乙酯(TEOS)为硅源,原位合成的SiO_2纳米纤维为增强相,采用溶胶-凝胶法、三甲基氯硅烷(TMCS)表面改性和常压干燥工艺制备SiO_2纳米纤维-SiO_2复合气凝胶,利用SEM、XRD、FT-IR、BET和TG等手段对复合气凝胶的相关结构和性质进行表征,研究了SiO_2纳米纤维的复合对气凝胶的影响。结果表明,SiO_2纳米纤维的加入可以形成有效的骨架结构,改善气凝胶的微观形貌和空间结构,并且有着良好的兼容性、分散性和热稳定性,保持了较高的孔隙率等优良性能,所得复合气凝胶孔径为10~20 nm,孔隙率达97%。