基于动态执行日志和反向分析的漏洞成因分析技术

软件漏洞给软件安全带来了巨大的威胁,全球每年因软件漏洞导致的安全事件层出不穷。然而,在实际的开发过程中,因开发人员的安全意识不够、代码和业务逻辑越来越复杂等原因,软件代码中难以避免地存在着安全漏洞。文章针对现有方法面临错误代码定位不准确、分析效率不高等难题,突破指令运行时信息获取和反向分析、错误代码准确定位等挑战,提出一种基于追踪日志和反向执行的程序错误原因定位方法,能够跟踪程序的代码执行流,记录指令在运行状态下的寄存器状态信息以及存储访问状态信息,分析引发执行错误的指针相关联的指针值生成、使用、计算的指令集合,实现高效、准确的漏洞成因分析和定位。

基于执行日志的Web服务QoS获取机制

为了有效地解决Web服务QoS数据的获取问题,从统计学角度出发,提出了一种基于执行日志的Web服务QoS获取方法.该方法首先根据要获取的Web服务QoS属性集,分析执行日志所需记载的内容并记载日志;然后基于执行日志生成Web服务的QoS点数据集,其中考虑了基于实际执行所采集的QoS点数据所具有的采集量小、数据分布不均匀等问题,并给出了相应的解决方法;在此基础上完成对Web服务QoS数据的查询与预测.实验表明,所提出的Web服务QoS数据的获取方法是准确可行的.

面向服务工作流补偿机制的研究与实现

为了解决面向服务工作流中异常的动态补偿问题,在传统工作流异常处理理论的基础上,结合Web Services的事务处理的特点,提出了基于工作流执行日志实施补偿的策略.补偿过程包括补偿判断、补偿路线产生和补偿行为调用,异常管理器控制补偿的执行过程.因为服务具有动态调用、动态执行特点,异常管理器需要在业务运行时依据工作流基本模式和事务依赖关系确定补偿范围,动态生成补偿路线并调用相应的补偿操作.为了验证补偿策略的可行性和正确性,实现了基于Web Services的原型系统WFCF.实验表明,该机制在失效补偿范围和补偿行为调用2个方面提高了工作流异常恢复的效率.