面向软件供应链的异常分析方法综述

软件在国民经济的各个领域占据越来越重要的地位.万物互联的大背景下,信息之间的交互、分析、协同变得越来越普遍,程序/软件之间的依赖关系逐渐增多,这使得人们对系统可靠性和健壮性提出了更高的要求.由开源组件和第三方组件构成的软件供应链,其所面临的安全问题近年来成为了学术界和工业界共同关注的焦点.库函数作为开源软件的重要组成部分,与软件供应链安全有着密切的联系.为了提高软件开发效率,软件库或应用程序编程接口(API)在程序编写过程中会被频繁使用,但库函数中存在的错误或漏洞可能会被攻击者利用,从而损害软件供应链安全.这些错误或漏洞往往与库函数中存在的异常有关,因此本文对适用于库函数的异常分析方法从精度和效率两方面分别进行总结归纳,对于每种异常分析方法的基本思想和重要过程进行阐述,并针对库函数异常分析面临的挑战给出了初步解决思路.对软件供应链中的库函数进行异常分析有助于增强软件系统的健壮性,进而保障软件供应链的安全.     

基于可再分发抗合谋编码的低失真水印方案

在大数据的时代背景下,数据潜在的价值使其成为重要的财富之一。数据的非法篡改、修正和非法分发给追踪数据的泄密源头带来巨大挑战。数字指纹技术可应用在数据泄密溯源领域,即在数据中嵌入一串能够唯一标识用户信息的序列,当数据发生泄密后,提取其中蕴含的数字指纹,追踪到泄密的叛逆者。多个用户对数据合谋攻击并泄密数据,从而毁坏其中嵌入的指纹信息达到逃脱追责的目的,抗合谋编码能够解决此问题。针对现有的数字指纹编码无法满足数据再分发需求、数字指纹嵌入造成较大数据失真的问题,本文使用BIBD（Balanced incomplete block design）作为外码,码字扩展后的C码作为内码,构建一种可再分发的抗合谋指纹编码RD-ACC（Redistributable anti-collusion fingerprint coding）。在此基础上,提出一种基于多目标优化的数据库指纹算法,能够在较小的数据库失真情况下保证数字指纹较高的鲁棒性,提取出的RD-ACC能够有效抵抗组内、组间多用户合谋攻击。实验结果表明,该算法能够在较小的数据失真下实现数据的再分发操作,并且能抵抗合谋攻击进行泄密溯源。     

并发程序切片方法综述

随着实际应用对并发软件需求的不断增加,并发程序的应用越来越广,程序切片的研究不再仅仅局限于顺序程序,并发程序切片的研究也越来越多。但是由于并发程序执行的不确定性,并发程序切片的研究还有许多问题有待解决。文中介绍了当前主要的几种并发程序切片方法及其主要特性,并对这些切片方法进行了比较分析,结果表明并发程序切片的效率和精度都达到理想的目标是不可能的,只能是在两者之间的均衡,最后简要介绍了并发程序切片的应用。     

显式和隐式质量属性分离的可信服务质量评估模型

针对目前服务质量(QoS)评估方法中忽视对服务隐式质量的评估而导致结果不准确的问题,提出了一种综合考虑显式和隐式质量属性的服务评价方法。首先,显式质量属性以向量形式表达,采用服务质量评估模型,经过量化、归一化,计算出评估值;然后,隐式质量属性以用户评价间接表达,根据评价相似用户的推荐而完成对隐式服务质量的评价,评估过程考虑推荐用户的可信性和新老用户的区别;最后综合显式和隐式质量评价作为服务质量评价结果。使用100万条Web服务的QoS数据与其他3类算法进行了对比实验。仿真实验证明了所提方法的可行性与准确性。     

油脂加氢催化剂Cu-Ni-Ru和进口催化性能比较的研究

文章在相同的氢化条件下,研究了进口催化剂9910、2021和Cu-Ni-Ru分别在160℃,180℃,200℃下的氢化性能。结果表明:三种催化剂在每一温度下对大豆油氢化的活性大小顺序为Cu-Ni-Ru>9910>2021;三种催化剂的碘值和折光指数都随温度的升高而增加。Cu-Ni-Ru、9910和2021三种催化剂均在三种温度下氢化时,C18:1(油酸)反式脂肪酸在160℃下含量最低,C18:2(亚油酸)反式脂肪酸在180℃下含量最低。说明低温有利于反式脂肪酸的降低;Cu-Ni-Ru、9910和2021在相同温度条件下氢化时,催化剂比Cu-Ni-Ru比9910和催化剂2021更能使反式脂肪酸酸含量降低,有更高的选择性。     

一种过程间单子切片方法

在现有的过程内单子切片算法基础上,提出基于回填待定标号的过程间单子切片算法:先以待定标号初始化子过程中开始处参数变量的切片;再对其进行过程内单子切片分析,据此可得相应参数间依赖关系;最后回填切片表中相应的待定标号,从而获得所需的过程间单子切片.算法充分利用了过程内单子切片的结果,相当程度上避免了重复计算,无需进一步构造诸如特征子图、连接语法等中间形式,同时通过参数间依赖避免了调用上下文问题.此外,文中算法保留了过程内单子切片算法的强语言适应性和组合性.     

实施CIMS是企业增强实力的重要途径——石泵集团实施CIMS的做法与体会

石家庄泵业集团有限责任公司(原石家庄水泵厂,以下简称SB)CIMS应用示范工程项目(以下简称SB—CIMS),是河北省首批CIMS应用示范企业,SB经过半个世纪的建设,现已发展成为全国最大的渣浆泵、污水泵和潜水泵专业生产厂,全厂职工3200余人,资产总计4亿多元,产品有56个系列417个品种,主要为冶金、矿山、煤炭、电力、石油、化工及城市排污等国民经济部门提供配套用泵。年生产能力为12000台,产品除行销全国各地区外,还远销北美、西欧、东南亚等40多个国家和地区。先后被原机械工业部授予企业管理优秀称号、科技先导示范企业和CAD推广示范企业,是国家预选为重点联系的1000家大企业中唯一的水泵生产企业。     

氧化锆负载磷钨酸催化果糖制备5-羟甲基糠醛

以磷钨酸为活性组分,氧化锆为载体,采用浸渍法制备氧化锆负载磷钨酸催化剂。采用BET、XRD、TG-DTG和FT-IR等分析手段对催化剂物化性能进行了表征。通过催化果糖脱水制备5-羟甲基糠醛(HMF)对催化剂催化性能进行了研究。考察了磷钨酸(TPA)负载量、催化剂用量、反应时间、反应温度、果糖添加量对HMF收率的影响。实验结果表明:TPA负载量为20%,以二甲基亚砜(DMSO)为溶剂,120℃反应90min时,催化剂表现出较高的反应活性,相应HMF的收率为73.3%。催化剂循环使用一次后,HMF的收率下降为42.2%,之后再重复使用,HMF的收率维持在40%左右。反应过程中TPA的流失和腐黑素等杂质在催化剂表面的附着可能是造成催化剂活性降低的原因。     

802.11协议中RTS/CTS机制的安全漏洞分析

802.11协议中的RTS/CTS机制可以解决隐藏节点问题,通过分析RTS/CTS机制中的安全漏洞,发现由于RTS/CTS握手过程中没有认证机制,攻击者可以通过连续发送设定足够大网络分配矢量值的伪造RTS/CTS帧,以达到拒绝服务攻击的目的。在理论分析的基础上,使用aircrack-ng的软件开发包,在真实的无线网络环境中进行了实验,实验结果显示,RTS/CTS机制确实存在着被拒绝服务攻击的安全漏洞,可随时被攻击者利用,需引起充分重视。     

一种集成的字符集检测方法研究

有些文本缺少字符集信息,因而阻碍了字符信息的正确解析。为了获得字符集信息可以根据文本中字符信息的统计特征以及各种字符集之间的差异来识别出文本的字符集。集成的字符集检测方法通过综合应用编码模式检测方法、字符分布方法和双字符序列检测方法来检测字符集。它根据算法复杂度和每种算法的准确率来调度算法,使得在用一种方法不能确定字符集的情况下利用其它方法来检测出字符集实验结果表明：集成的字符检测技术具有较高的准确率。集成的字符检测方法在某些情况下通过适度增加一些时间来获得较高的精度。