期刊文献+
共找到3篇文章
< 1 >
每页显示 20 50 100
基于函数语义分析的软件补丁比对技术 被引量:2
1
作者 曹琰 刘龙 +1 位作者 王禹 王清贤 《网络与信息安全学报》 2019年第5期56-63,共8页
基于结构化的补丁比对是软件漏洞辅助分析的重要方法。在分析总结已有补丁比对技术及反补丁比对技术的基础上,针对结构化比对存在无法进行语义分析而导致误报的问题,提出了基于函数语义分析的软件补丁比对方法。利用传统的结构化比对方... 基于结构化的补丁比对是软件漏洞辅助分析的重要方法。在分析总结已有补丁比对技术及反补丁比对技术的基础上,针对结构化比对存在无法进行语义分析而导致误报的问题,提出了基于函数语义分析的软件补丁比对方法。利用传统的结构化比对方法,在函数级进行语法差异比较得到最大同构子图;通过程序依赖分析,构建函数输入输出之间的路径包络,基于符号执行以包络为对象计算函数输出特征;通过函数摘要进行语义级比对,结合最大同构子图的匹配函数结果,进一步分析得出发生语义变化的函数。最终,通过实验比对测试,验证了所提方法的可行性和优势。 展开更多
关键词 漏洞分析 补丁比对 符号执行 语义分析
下载PDF
一种支持组合事务的执行语义分析方法 被引量:2
2
作者 梅晓勇 李师贤 +1 位作者 黄昌勤 郑小林 《电子学报》 EI CAS CSCD 北大核心 2012年第7期1386-1396,共11页
为了保证组合事务应用需求,不可避免引入失败恢复机制,以提供可靠的执行语义.本文提出一种基于向前、向后和替代恢复的综合事务恢复机制的执行语义分析技术,借助Petri网的动态执行推演技术和数据流分析技术,讨论聚合模式执行语义,最终... 为了保证组合事务应用需求,不可避免引入失败恢复机制,以提供可靠的执行语义.本文提出一种基于向前、向后和替代恢复的综合事务恢复机制的执行语义分析技术,借助Petri网的动态执行推演技术和数据流分析技术,讨论聚合模式执行语义,最终实现组合事务失败恢复行为的无缝添加/删除.通过对旅行预订组合事务实例分析,表明该语义分析方法是可行的. 展开更多
关键词 组合事务 失败恢复机制 执行语义分析 扩展PETRI网
下载PDF
An Aggregation Composition Compensation Method Based on Paired Net
3
作者 Xiao-Yong Mei 1,2 Yi-Yan Fan 2 Chang-Qin Huang 3 Ai-Jun Jiang 1 Shi-Xian Li 1 1 School of Information Science and Technology,Sun Yat-sen University,Guangzhou 510006,China 2 School of Computer Science and Technology,Hunan University of Arts and Science,Changde 415000,China 3 Department of Electrical Engineering and Computer Science,University of California,Irvine,CA,92697,USA 《International Journal of Automation and computing》 EI 2012年第5期530-538,共9页
With regard to the failure and cancellation of business logic of web services composition(WSC),this paper propose a novel web services transaction compensation mechanism based on paired net which can dynamically estab... With regard to the failure and cancellation of business logic of web services composition(WSC),this paper propose a novel web services transaction compensation mechanism based on paired net which can dynamically establish agile compensation-triggered process(CSCP-Nets),and satisfy prospective compensation requirements.The related execution semantics of five usual composition compensation patterns based on paired net are analyzed in the situations of successful execution,failure compensation and failure recovery.Paired net based application of trip reservation process(TRP) shows that it is feasible. 展开更多
关键词 Web services composition failure handling composition compensation execution semantic analysis paired net
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部