一种基于复合特征的恶意PDF检测方法

为了提高特征有效性和扩大检测范围,提出在提取PDF文件的恶意结构特征的基础上再提取JavaScript的恶意特征;为了减少检测时间,提出在特征提取前,增加基于信息熵差异的预检测过程。先利用恶意PDF和良性PDF的信息熵差异筛选出可疑PDF文件和良性PDF文件;然后在检测过程中,提取可疑PDF文件的结构和JavaScript特征;再利用C5.0决策树算法进行分类;最后,通过实验检测,验证了提出的方法对恶意PDF文件检测有效。实验结果表明,与PJScan,PDFMS等模型做对比,该方法检测率比PJScan高27.79%,时间消耗低390 s,误检率比PDFMS低0.7%,时间消耗低473 s,综合性能更优。     

基于双向位图的CSR大规模图存储优化

大数据时代,Graph500是评测超级计算机处理数据密集型应用能力的重要工具,E级验证系统的图遍历处理能力主要受限于内存空间和访存带宽,尤其是内存空间利用率直接决定了图的测试规模和测试性能.针对天河E级验证系统小内存特征,提出了基于双向位图的大规模图数据压缩存储方法(bidirectional-bitmap based CSR,Bi-CSR),Bi-CSR在CSR矩阵压缩的基础上引入行方向位图和列方向位图协同完成稀疏矩阵压缩存储,行方向位图主要负责行方向位图的压缩存储与索引,列方向位图除了进一步压缩图存储空间,还负责为顶点遍历向量并行优化提供加速空间.Bi-CSR大幅度减少了稀疏矩阵存储空间.面向天河E级验证系统,当图输入规模为237时,Graph500的图存储空间节约效率接近70%,全系统稳定测试性能为2.131E+12TEPS,性能最大加速比超过100倍.     

SCVerify:抗功耗侧信道攻击软件实现的验证

功耗侧信道攻击,通过使用统计分析技术推断出加密算法中的密钥,已成为物理网络设备的一个巨大威胁.随机掩码是一种被广泛使用的用来消除密钥数据和侧信道泄露数据之间关联性的对策.尽管现有技术可以验证加密软件代码是否被随机掩码保护,但是它们在准确性和可扩展性方面受到限制.为消除此类限制,提出了一种基于原有技术改进过的验证随机掩码策略的方法,该方法比已有的基于句法类型的推断技术更准确,比使用SAT(SMT)模型计数的方法更具有可扩展性.实际上,该方法使用一系列语义类型推导规则去推导分布类型,这些规则最初保持抽象以允许快速推导,然后具体化那些抽象规则推导解决不了的验证问题.此类细化方法集成在验证工具SCVerify中,并使用包含AES和MAC-Keccak等加密算法的测试用例进行了验证,实验结果表明此方法在准确性和可扩展性方面明显优于当前的技术.     

软件功能安全验证活动的应用

软件功能安全验证活动对提高安全关键系统的安全性具有重要作用,它贯穿于软件安全生命周期的各个阶段。通过对各阶段输出文档的审查和分析,可尽早发现软件问题,降低软件修复成本。完整的问题闭环处理流程可有效解决软件验证活动中发现的问题,给出各方均满意的处理结果。     

基于1394B总线的直升机飞管系统仿真验证环境设计

本文设计了一种基于1394B总线的直升机飞管系统仿真验证环境,以验证直升机飞管系统使用1394B总线进行数据传输的可行性。     

某柴油机附件支架仿真优化与试验

利用ABAQUS与FEMFAT软件对柴油机附件支架进行结构应力、接触面滑移、结构模态以及高周疲劳分析.根据分析结果,对支架不满足限值项进行优化并再次仿真分析,直到满足设计要求.为验证仿真分析结果,对支架进行了柴油机台架试验,测试支架上各个测点的振动加速度.将支架上各个测点的振动加速度整理为X,Y,Z方向的colormap图进行了分析,试验结果表明,附件支架测试最大加速度为12.45 g低于仿真分析边界载荷15 g;模态一阶频率仿真分析结果为141 Hz,样件试验结果为130 Hz,误差为7.7％,测试结果进一步验证了仿真分析的可靠性.     

基于舰船电子设备的维修性分析与验证

舰船电子设备在作战中具有重要的作用，对舰船电子设备的维修性设计进行分析， 及时将维修性设计和验证相结合，提高舰船电子设备的维修性水平。对舰船电子设备的维修性设计进行分析和阐述，之后提出一套维修性验证程序。为舰船电子设备的维修性验证提供了新的思路。     

气相色谱法测定凝胶洗手液中乙醇含量

采用氢火焰气相色谱法(GC-FID)对凝胶洗手液中乙醇含量的测试,验证凝胶洗手液中乙醇含量检测方法的适用性,采用直接法进样,色谱柱为HP-INNOWAX毛细管色谱柱(30 m×0.25 mm,0.25μm),载气为氮气,氢火焰离子化检测器,进样口温度为230℃;检测器温度为250℃;起始温度60℃保持5 min,以40℃/min升温至230℃保持8 min.乙醇含量线性范围在5～20 mg/mL,相关系数r=0.99994,加标回收率在99.6％～101.9％之间.