模型学习与符号执行结合的安全协议代码分析技术

符号执行技术从理论上可以全面分析程序执行空间,但对安全协议这样的大型程序,路径空间爆炸和约束求解困难的局限性导致其在实践上不可行。结合安全协议程序自身特点,提出用模型学习得到的协议状态机信息指导安全协议代码符号执行思路;同时,通过将协议代码中的密码学逻辑与协议交互逻辑相分离,避免了因密码逻辑的复杂性导致路径约束无法求解的问题。在SSH协议开源项目Dropbear上的成功实践表明了所提方法的可行性;通过与 Dropbear 自带的模糊测试套件对比,验证了所提方法在代码覆盖率与错误点发现上均具有一定优势。     

基于可信执行环境的物联网边缘流处理安全技术综述

万物互联时代,物联网中感知设备持续产生大量的敏感数据。实时且安全的数据流处理是面向物联网关键应用中需要解决的一个挑战。在近年兴起的边缘计算模式下,借助靠近终端的设备执行计算密集型任务与存储大量的终端设备数据,物联网中数据流处理的安全性和实时性可以得到有效的提升。然而,在基于边缘的物联网流处理架构下,数据被暴露在边缘设备易受攻击的软件堆栈中,从而给边缘带来了新的安全威胁。为此,文章对基于可信执行环境的物联网边缘流处理安全技术进行研究。从边缘出发,介绍边缘安全流处理相关背景并探讨边缘安全流处理的具体解决方案,接着分析主流方案的实验结果,最后展望未来研究方向。     

基于动态符号执行的C代码缓冲区溢出检测

缓冲区溢出是C程序中众多安全隐患的根源之一,以C程序代码为目标对象,提出了一个基于底层虚拟机中间代码的缓冲区溢出检测工具PathChecker.该工具基于动态符号执行方法,使用无量词谓词公式刻画缓冲区操作的安全性质,并利用可满足模型理论求解器技术检验缓冲区操作的安全性.实验结果表明,该工具能有效检测C代码中的缓冲区溢出漏洞,且易于推广至其他高级程序语言代码和其他类型安全漏洞的检测.     

一种基于抽象解释的二进制代码测试方法

针对二进制程序分析中难以生成测试用例的问题,提出了一种基于抽象解释和制导符号执行的测试用例自动生成方法。首先结合动态和静态程序分析方法,生成目标二进制程序的过程间控制流程图,然后基于过程间控制流程图,计算出潜在脆弱点集。利用节点距离、节点可达性和约束条件集概率静态信息作为符号执行的制导因素,对二进制程序进行动态测试,过滤虚假的脆弱点,并对真实脆弱点生成相应的触发测试用例。实验结果表明文章提出的方法能有效避免执行无效路径,提高二进制代码测试效率。     

220 kV 变电站110 kV 母差保护改造施工方案

母差保护是电力系统继电保护的重要组成部分,母线故障是电力系统中非常严重的故障,它直接影响母线上所连接的所有设备的安全可靠运行,因此随着电力技术的快速发展,对母差保护的快速性、灵敏性、可靠性、选择性的要求也越来越高。文章以110kV母差保护改造工程为例,介绍了110kV母差保护更换的施工方案,阐述了施工过程中应考虑的安全措施和注意事项。     

基于供应链视域下的生产运营计划制订和管控研究

文章分析了当前企业生产运营计划与控制的状况,指出其在交货期控制、信息集成等方面存在的诸多问题,提出了构建基于供应链环境下的生产运营计划系统和信息平台模型。通过统一上下游资源、优化供应链流程,快速应对市场的变化;通过生产同步化,提高生产运营计划系统的柔性和灵敏性,有效降低过程运营成本,使供应链效能最大化。     

新时期高校群体性事件的预防及其应对机制

高校群体性事件是社会深层次矛盾在高校的集中体现,是学生为了表达某种利益诉求或者宣泄情绪而聚集在一起、不受社会规范制约并对高校产生深刻影响的集体行为。一些高校建立了有效的防控体系,积极应对群体性事件,进行预防与演练,群体性事件一旦爆发,便能妥善处置。但是,也有一些高校心存侥幸,没有建立完善的应对群体性事件的预防体系,这就为处置群体性事件留下了隐患,也将对高校治理能力带来严峻的考验。为此,针对加强高校群体性事件预防体系建设的问题进行探讨,只有事前积极准备预案及演练、事中妥善处置、事后及时总结经验教训,才能妥善处置群体性事件。     

难加工材料细长薄板件的加工

针对难加工材料细长薄板零件的加工特点,设计了这类零件加工的刨削加工工艺方案,探讨了刨削加工方法在细长薄板零件加工中的应用.     

空间智能操控装备在轨服务建模与仿真研究

为了保证空间智能操控装备在轨服务任务的顺利实施,研究了与其相关的规划、建模与仿真等关键技术。在此基础上,研制开发了一套空间智能操控装备在轨服务仿真系统;该系统采用HLA/RTI仿真框架,实现了空间态势监控、任务规划、轨道机动规划、测控资源计算、轨道机动仿真、在轨操作仿真、控制指令生成与发送等功能。基于该仿真系统,进行了空间智能操控装备在轨服务任务的仿真分析,对关键任务节点进行了反复验证。     

基于交通供需平衡的控规土地开发强度控制研究

研究针对当前控规交通规划断层及容积率确定技术理性不足的现实问题,提出在控规中以建立交通供需平衡量化关系来控制土地开发强度的创新理念,并从实施层面对该量化关系建立的可行性进行论证。通过OD反推技术与交通需求预测"四阶段"法分别对城市新开发片区与旧城更新片区交通供需平衡状态下的土地开发强度控制进行了研究,构建了具体实施的技术路线,实现了控规中交通规划技术与容积率指标确定的契合。