SiCsFuzzer:基于稀疏插桩的闭源软件模糊测试方法

传统的基于覆盖率反馈的模糊测试工具通过跟踪代码覆盖率来指导测试用例的变异,从而发现目标程序中潜在的漏洞。但在闭源软件的模糊测试过程中,跟踪覆盖率不仅带来额外的开销,而且在模糊测试开销中占据主导。本文通过对Windows平台闭源软件模糊测试开销的剖析,锁定其中两个主要来源,插桩开销和“预热”开销。基于上述分析,提出了一种基于稀疏插桩跟踪的模糊测试方法,在不影响覆盖率计算精度的前提下,采用基于稀疏插桩的跟踪策略,仅对目标程序中覆盖率不可推导的基本块或分支进行插桩跟踪,并根据跟踪结果推导其余基本块或分支的被覆盖情况;同时结合“预热”优化,避免因动态插桩平台反复启动以及对目标程序代码的重复翻译所引入的时间开销。基于上述方法实现的原型工具SiCsFuzzer,在Windows平台9个规模在286KB～19.3MB,类型涉及图片处理、视频处理、文件压缩、加密和文档处理等类型应用所组成的测试集上,跟踪覆盖率引入的额外开销为程序正常执行时间的1.1倍,比传统的基于覆盖率反馈的模糊测试工具快3倍,并发现PDFtk和XnView程序最新版本中的未知漏洞各1个。     

一种阻燃冬季飞行服面料的设计与评测

设计生产了一种阻燃冬季飞行服面料,集成了阻燃、耐磨、透气、防风、防水、拒油、防静电等综合功能,可用于空勤飞行服的研制。面料采用永久阻燃芳纶,添加了导电纤维,通过紧密纺纺纱工艺,并在后期采用耐高温PTFE膜。性能测试结果显示,面料可满足全部防护性能的要求。     

基于区块链的电子签名和印章应用体系设计

在水利信息化推进过程中,电子签名和印章推广应用的需求越来越迫切,水利行业需要电子签名和印章的互认与统一管理,为此提出一种基于区块链的水利行业电子签名和印章应用体系的设计方案。通过将区块链应用于水利行业电子签名和印章场景,实现水利行业电子签名和印章的互认与统一管理。方案改进传统基于第三方信任机构的电子签名和印章应用,使用区块链技术,基于国密SM2算法的无证书公钥密码体系,降低信息泄露风险,提高电子签名和印章应用的适用性,同时依托区块链的防伪、防篡改、可追溯等特性,实现对电子印章生命周期的全程管理。     

抗电路板级物理攻击的操作系统防御技术研究

计算设备处理和存储日益增多的敏感信息,如口令和指纹信息等,对安全性提出更高要求.物理攻击技术的发展催生了一种通过攻击电路板级硬件组件来获取操作系统机密信息的攻击方法:电路板级物理攻击.该类攻击具有工具简单、成本低、易流程化等特点,极容易被攻击者利用形成黑色产业,是操作系统面临的新安全威胁和挑战.在处理器上扩展内存加密引擎可抵抗该类攻击,但是目前大部分计算设备并未配备该硬件安全机制.学术界和产业界提出软件方式抗电路板级物理攻击的操作系统防御技术,该类技术已成为近年来的研究热点.深入分析了该类技术的研究进展,总结其技术优势和不足,并探讨其发展趋势.首先,介绍了电路板级物理攻击的定义、威胁模型、现实攻击实例.之后,介绍软件方式抗电路板级物理攻击的操作系统防御技术所依赖的一些基础技术.然后,对该类防御技术的研究进展按照保护范围进行分类总结和归纳.最后,分析了该类防御技术的优势与不足,给出工程实现建议,并探讨该类防御技术未来的研究趋势.     

“地质云 ·北京有色”行业节点建设实践

中国地质调查局地质云的建设,开创了互联网+地质调查全新时代,消除了局属各单位中间的数据鸿沟,推进了基础地质数据与产品向社会集中服务。本文以首个地质云行业节点地质云·北京有色为例,介绍了其建设背景,搭建的技术流程,以及主要服务内容。地质云·北京有色的搭建完成了地质云向行业的辐射,拓展了地质云的数据范围,为行业地质调查部门、高等学校和科研机构的数据共享机制起到引领示范作用。     

施工项目工程造价风险管理的发展研究

随着我国建筑行业的蓬勃发展,相关的理论方法研究也不断深入。对于施工项目的建设来说,工程造价的控制工作是否符合相应原则在很大程度上影响着投资方的收益以及工程的经济效益。通过控制工程造价不仅能够避免投资突破限额,更能够在一定程度上促进建设以及施工单位进行管理方面的强化,保证人力、物力、财力等相关要素得到最充分的应用。但是由于施工项目在工程造价方面容易受到外部因素的影响和干扰,这使得工程造价管理工作始终存在一定风险因素,在这样的环境下如何做好风险管理工作,最大限度上避免风险成为了诸多企业需要面对的问题。本文将主要以施工项目工程造价风险管理的发展研究为切入点,对其进行简要的介绍和分析。     

基于ABAQUS锚固槽钢拉拔性能试验研究及有限元分析

德国PEC锚固槽钢作为一种槽式预埋件,可以对各种结构元件进行固定。为了解PEC锚固槽钢的拉拔锚固性能,对TA型号的锚固槽钢进行拉拔加载试验、理论分析以及有限元分析。详细介绍了试验方法和试验结果,并将试验结果与欧洲锚固槽钢规范理论计算结果进行对比。此外,根据试验提供的条件,利用有限元软件ABAQUS对锚固槽钢的拉拔试验进行模拟,并详细比较有限元分析结果与试验结果。结果表明,试验结果与理论计算结果、有限元分析结果吻合较好,可供类似项目参考。     

煤层气水平井组远距离连通机理模型研究

基于我国煤层气低压、低渗和低含水的特殊性,煤层气水平井通常需额外打一口直井,并将该井与多分支井连通,以便于下入有杆泵等排水采气。为了提高水平井与洞穴井连通的成功率,在水平井与洞穴直井的连通过程中引入了旋转磁场定位方法,通过磁场实时测量修正钻头与洞穴的相对位置,并引导两井连通。对旋转磁场测量模型、远距离连通工艺进行了深入探讨,建立了基于钻头与洞穴距离和方位偏差测量算法,经过计算机仿真模拟,证明连通工艺理论上是可行的。     

北京四道沟地区变质型铁矿地质特征及找矿远景分析

本文通过对北京四道沟铁矿区1∶10000地质填图和1∶10000地面高精度磁法测量,系统总结了区内地球物理特征,为圈定变质型铁矿提供了可靠依据.综合分析地质和地球物理资料,在区内圈定了3个异常区,其中Csd-3号异常找矿前景较大,并提出了勘查部署建议.     

英买2-16井深井长封固段固井技术实践

英买2-16井位于塔里木盆地塔北隆起英买力低凸起英买2号背斜构造,二开完钻井深为5821m,177.8mm技术套管下深5819m,二开采用分级固井,分级箍位置为2996.4m。针对该区块地层承压能力低、易漏失、水泥封固段长、常规固井方法无法满足固井要求的问题,采用双凝双密度水泥浆体系固井。一级固井采用以DRF-120L降失水剂为主剂的1.45g/cm3和1.88g/cm3双密度大温差水泥浆,封固段3300～5821m;二级固井采用以DRF-300S为主剂的1.45g/cm3低密度水泥浆,封固段0～2996.4m。声幅测井结果显示,固井质量合格,现场应用表明,采用低密度水泥浆配合常规密度水泥浆固井技术,提高了低压易漏井、长封固井段的固井质量。