二进制代码安全分析综述

近几十年来,计算机硬件性能和软件规模技术已不同以往,其承载了人类社会生活生产的方方面面.计算机技术的飞速发展,也带来了人们对程序安全问题的关注.由于市面上存在着较多的遗留软件,这些软件无人维护且缺乏源代码支持,其安全性令人担忧,而二进制分析技术被用来解决该类软件问题.二进制分析技术根据其检测方式不同可分为:基于静态的二进制代码分析技术、基于动态的二进制代码分析技术和动静态混合的二进制代码分析技术.本文调研了近年来的二进制代码安全分析领域上相关研究,分别详细阐述了这3类技术中的主要方法,并对其关键技术进行详细介绍.     

基于概率假设密度滤波和动力学方程约束的空间群目标数量和位置分辨

空间目标具有射程远、速度快等特点,为了有效解决密集性高、可分性差的高速空间目标群饱和攻击问题,实现非合作空间群目标数量和位置的尽早分辨,该文基于随机有限集(RFS)理论和动力学方程约束研究了空间“团状”目标数量和位置分辨问题,提出目标监测早期解决大量距离靠近、运动特征差异不明显的高速空间群目标数量和位置估计的相关算法,该算法利用概率假设密度(PHD)滤波器能够解决未知时变环境下目标个数与状态估计的特点,将高斯混合PHD (GM-PHD)滤波和空间目标动力学方程相结合,在解决不可分辨空间群目标数量和位置估计问题的同时,充分利用空间目标动力学方程对群内目标状态进行实时调整,提高空间目标位置状态估计精度,解决不可分辨空间目标群边跟踪边分辨问题,相关算法可为空间群目标数量和群内特殊价值个体目标位置尽快分辨、连续稳定跟踪和可靠动向预报等提供数据基础。     

面向递增累积型缺陷的灰盒模糊测试变异优化

大量访问越界、内存耗尽、性能故障等缺陷是输入中有效数据的规模过大,超过临界值引起的.而现有灰盒模糊测试技术中的数据依赖识别和变异优化技术大都针对固定规模输入数据格式,对规模递增输入数据的构造效率不高.为此,针对这类累积型缺陷模糊测试对应的状态特征值最优化问题,提出一种对特征值依赖的输入数据的格式判别和差分变异方法.根据引发特征值最值更新的有效变异的位置分布和发现频次特征,判别待发现缺陷状态优化是否依赖于输入中相关数据规模的增长,将引发最值更新的有效变异内容应用于规模递增输入数据生成,提升该类累积型缺陷的复现和定向测试效率.依据该思想,实现了模糊测试工具Jigsaw,在测评实验数据集上的实验结果表明提出的判别方法能够高效地区分特征值依赖的输入数据组织形式,且提出的差分变异方法显著提升了需要大量输入才能触发累积型缺陷的复现效率.     

IXT: Improved searchable encryption for multi-word queries based on PSI

Oblivious Cross-Tags (OXT) [1] is the first efficient searchable encryption (SE) protocol for conjunctive queries in a single-writer single-reader framework. However, it also has a trade-off between security and efficiency by leaking partial database information to the server. Recent attacks on these SE schemes show that the leakages from these SE schemes can be used to recover the content of queried keywords. To solve this problem, Lai et al. [2] propose Hidden Cross-Tags (HXT), which reduces the access pattern leakage from Keyword Pair Result Pattern (KPRP) to Whole Result Pattern (WRP). However, the WRP leakage can also be used to recover some additional contents of queried keywords. This paper proposes Improved Cross-Tags (IXT), an efficient searchable encryption protocol that achieves access and searches pattern hiding based on the labeled private set intersection. We also prove the proposed labeled private set intersection (PSI) protocol is secure against semi-honest adversaries, and IXT is L^{\prime }-semi-honest secure (L^{\prime } is leakage function). Finally, we do experiments to compare IXT with HXT. The experimental results show that the storage overhead and computation overhead of the search phase at the client-side in IXT is much lower than those in HXT. Meanwhile, the experimental results also show that IXT is scalable and can be applied to various sizes of datasets.     

新型电力系统仿真工具研究初探

能源转型背景下,新型电力系统中高比例可再生能源和高比例电力电子设备接入的特征将深刻改变电网形态和运行特性,对仿真理论研究和先进仿真工具研发提出了新的需求。文中梳理了现有仿真软件、仿真体系在应对新型电力系统稳定特性变化、仿真分析时空尺度和跨度增大,以及电力系统数字化发展过程中电网智能分析运行控制体系构建3个层面上的需求与挑战。分析现有仿真技术的特性,指出当前仿真工具存在的不足。最后,理清仿真工具发展趋势,提出新型电力系统仿真技术框架,并就目前仿真工具需要关注的潜在技术发展要点进行展望。     

基于AHP-熵权法的配电网设备资产运检成本优化配置模型

电网公司已形成了输变配电设备资产运维检修标准成本体系,为适应成本监审、科学配置资源投入奠定了基础。由于配电网设备资产规模大,运维检修作业内容及频次繁琐,运维检修成本结构模糊,导致运维检修成本配置合理性仍存在不足,尚无法支撑成本精益管理。针对配电网运维检修成本配置问题,提出了基于层次分析法(analytic hierarchy process,AHP)-熵权法的配电网设备资产运维检修成本优化配置模型。基于配电网运维检修成本关键影响因素,建立了成本优化配置评价指标体系;兼顾成本投入合理性和有效性,采用熵权法对优化配置评价指标赋权重,构建区域配电网设备资产运维检修成本优化配置模型,合理有效分配各区域运维检修成本;以某省14家地市单位为例,验证了该模型的有效性及实用性。该模型能够较为合理地对配电网运维检修成本分配进行优化,并对比发现现有分配比例存在的问题,对配电网实际运维检修成本策略的制定有一定的参考借鉴作用。     

考虑冗余系统时变故障率和更新过程的MMC可靠性建模及其应用

针对现有模块化多电平换流器(modular multi-level converter, MMC)可靠性计算中未充分考虑冗余系统故障率时变性和缺乏考虑更新过程,从而不能科学衡量MMC可靠性的问题,提出了一种考虑MMC冗余系统故障率时变性并引入N阶梯更新过程的MMC可靠性建模方法。首先,从冗余程度、冗余方式角度细化MMC冗余系统的分类,建立可靠度与故障率间的数学解析关系来量化表征冗余系统故障率时变的变化特性,分析传统马尔科夫模型所计算的冗余系统故障率过小而导致可靠性计算结果偏高的不合理问题;其次,利用N阶梯故障率取代传统MMC冗余系统的时变故障率,并同时引入更新过程理论推导MMC的平均无故障工作时间(mean time to failure, MTTF)和稳态可用度公式,以此修正传统MMC可靠性参数计算结果偏高的问题。最后,以半桥子模块的MMC为例,验证了所提方法的有效性和可行性。     

配电网精细化线损检测与分析方法研究

针对我国目前电力需求因素增多,而基于人工经验的传统配电网静态模型及调整模式工作效率低,不能满足配电网精细化线损等高级应用实际需求的问题,提出以巴盟某几个台区为试点,通过从跨平台海量数据中提取的负荷数据、遥信数据,构建10 kV馈线线损模型、台区线损模型和台区分支线损模型。开发自动拓扑校核技术的线损精细化系统,让线损指标可视化。通过对比传统方法与所提方法的10 kV线损,得到了所提方法在一定程度上有优势的结论。     

高温气冷堆核电机组一次调频控制策略研究

华能高温气冷堆核电示范工程（HTR-PM）是首台商业运行的高温气冷堆核电机组,研究其一次调频能力具有重要意义。在分析HTR-PM机组控制特性的基础上,提出高温气冷堆核电机组一次调频控制策略,并开发了HTR-PM机组全范围实时动态仿真模型。针对电网频率快速变化时,HTR-PM机组一次调频过程的动态响应特性进行仿真试验。试验结果表明,理论上,在一次调频参数、控制逻辑等设置合理的情况下,在一次调频允许投入的负荷区间内,当频率扰动时可以实现输出功率变化,同时保证蒸发器出口蒸汽压力在允许偏差范围内。