检索结果-维普期刊中文期刊服务平台

基于动态程序切片和污点分析的安卓应用隐私泄露检测: 1; 作者汪全盛王田田 +1 位作者马锐张迎周《小型微型计算机系统》北大核心 2025年第3期704-712,共9页; 污点分析是检测Android应用程序隐私数据泄露的有效手段,静态污点分析不直接运行程序,容易产生较高的误报率.本文提出以动态程序切片指导静态污点分析的Android应用隐私泄露检测方法.首先对Android应用程序进行静态污点分析,输出以污点... 展开更多; 关键词污点分析动态程序切片 Android隐私泄露数据流处理; 在线阅读下载PDF 职称材料

一种简化依赖关系的动态程序切片算法被引量：1: 2; 作者贾利敏张忠林《郑州大学学报（工学版）》 CAS 北大核心 2009年第2期84-87,共4页; 动态程序切片是由影响程序中某个兴趣点处变量值的所有语句和控制谓词组成的一个程序子集.笔者提出了一种简化依赖关系的动态程序切片算法,主要目的是解决H.Agrawal的动态切片算法计算切片不太精确的问题,该算法通过程序执行轨迹,确定... 展开更多; 关键词动态程序切片切片准则动态程序切片算法依赖关系程序依赖图; 在线阅读下载PDF 职称材料

基于动态程序切片的软件水印方案: 3; 作者邓小鸿孙星明 +1 位作者孙光拜亚萌《东南大学学报（自然科学版）》 EI CAS CSCD 北大核心 2007年第A01期193-196,共4页; 针对中间码中水印信息抗逆向工程差的问题,提出基于动态程序切片的软件水印方案.利用动态程序切片技术将系统分割为隐秘部分与公开部分,然后改变交互模块间数据依赖关系嵌入水印信息,记录执行历史中的数据依赖关系提取水印信息.恢复隐... 展开更多; 关键词动态程序切片软件水印中间码逆向工程鲁棒性; 在线阅读下载PDF 职称材料

一种用于测试数据生成的动态程序切片算法被引量：6: 4; 作者王雪莲赵瑞莲李立健《计算机应用》 CSCD 北大核心 2005年第6期1445-1447,1450,共4页; 介绍了程序切片技术的基本概念,提出了一种基于前向分析的动态程序切片算法,探讨了程序切片在软件测试数据生成中的应用,结果表明可以有效地提高基于路径的测试数据生成效率。; 关键词程序切片测试数据生成前向分析动态程序切片算法; 在线阅读下载PDF 职称材料

一种可检测Java程序盗版的动态胎记技术被引量：1: 5; 作者邓小鸿拜亚萌 +1 位作者黄斌满君丰《计算机工程与应用》 CSCD 北大核心 2010年第17期69-71,84,共4页; 针对Java程序易盗版的特点,提出了一种新的动态软件胎记技术。首先将Java程序进行转换得到其字节码集合U,然后利用动态程序切片技术得到U在特定输入I下的子集S,最后采用k-gram胎记提取算法得到S的一个特征值序列作为软件胎记。实验分析... 展开更多; 关键词版权保护动态程序切片软件胎记置信性鲁棒性; 在线阅读下载PDF 职称材料

基于变量感染分析的软件错误定位技术: 6; 作者江联黄海亮 +2 位作者周晓聪王欣明李文军《计算机科学与探索》 CSCD 2014年第8期966-977,共12页; 在实际调试中,程序员往往通过追溯错误的变量值及其传播来定位软件错误,其中具有错误值的变量称为感染变量,感染变量在失败运行中具有错误值的程序位置即为感染位置。提出了一种结合动态正向程序切片和语句覆盖信息对程序变量感染的初... 展开更多; 关键词错误定位变量感染动态程序切片语句覆盖信息; 在线阅读下载PDF 职称材料

题名基于动态程序切片和污点分析的安卓应用隐私泄露检测: 1; 作者汪全盛王田田马锐张迎周; 机构南京邮电大学计算机学院、软件学院、网络空间安全学院东南大学网络空间安全学院; 出处《小型微型计算机系统》北大核心 2025年第3期704-712,共9页; 基金国家自然科学基金项目(62272214)资助.; 文摘污点分析是检测Android应用程序隐私数据泄露的有效手段,静态污点分析不直接运行程序,容易产生较高的误报率.本文提出以动态程序切片指导静态污点分析的Android应用隐私泄露检测方法.首先对Android应用程序进行静态污点分析,输出以污点源与污点汇聚点信息标注的潜在泄露数据流,再对源代码的中间表示进行静态插桩,通过实际场景中的动态运行获取代码基本块执行路径,根据污点分析及动态执行结果制定切片准则,并采用后向程序切片对信息流进行二次处理以降低假阳性.本文根据提出的方法实现了原型工具并进行了实验验证.实验使用了2个不同的测试集,分别为DroidBench和TaintBench.实验结果表明:引入动态程序切片技术能够有效降低静态污点分析的误报,本文提出的方法能够减少70.3%的误报率.; 关键词污点分析动态程序切片 Android隐私泄露数据流处理; Keywords taint analysis dynamic program slicing Android privacy leakage data flow processing; 分类号 TP309 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名一种简化依赖关系的动态程序切片算法被引量：1: 2; 作者贾利敏张忠林; 机构兰州交通大学电子与信息工程学院; 出处《郑州大学学报（工学版）》 CAS 北大核心 2009年第2期84-87,共4页; 基金甘肃省科技支撑计划项目(0804JKCA040); 文摘动态程序切片是由影响程序中某个兴趣点处变量值的所有语句和控制谓词组成的一个程序子集.笔者提出了一种简化依赖关系的动态程序切片算法,主要目的是解决H.Agrawal的动态切片算法计算切片不太精确的问题,该算法通过程序执行轨迹,确定数据依赖结点、控制依赖结点和结点可到达语句来计算变量切片.实例证明,该算法提高了动态切片的精确度,减少了计算动态程序切片的复杂度.; 关键词动态程序切片切片准则动态程序切片算法依赖关系程序依赖图; Keywords dynamic program slicing slice criterion dependence relationship program dependence graph; 分类号 TP311.52 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于动态程序切片的软件水印方案: 3; 作者邓小鸿孙星明孙光拜亚萌; 机构江西理工大学应用科学学院湖南大学计算机与通信学院湖南工业大学计算机与通信学院; 出处《东南大学学报（自然科学版）》 EI CAS CSCD 北大核心 2007年第A01期193-196,共4页; 基金国家自然科学基金资助项目(60573045) 国家教育部博士点基金资助项目(20050532007); 文摘针对中间码中水印信息抗逆向工程差的问题,提出基于动态程序切片的软件水印方案.利用动态程序切片技术将系统分割为隐秘部分与公开部分,然后改变交互模块间数据依赖关系嵌入水印信息,记录执行历史中的数据依赖关系提取水印信息.恢复隐秘部分复杂性实验证明算法对逆向工程攻击是鲁棒的;系统分割前后的运行时间对比实验证明算法对系统效率的影响在合理范围内.隐秘部分放在安全主机中确保水印系统的安全性,该方案适用于对移动计算与分布式软件进行保护.; 关键词动态程序切片软件水印中间码逆向工程鲁棒性; Keywords dynamic program slicing software watermarking intermediate language reverse engineering robustness; 分类号 TP393.08 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名一种用于测试数据生成的动态程序切片算法被引量：6: 4; 作者王雪莲赵瑞莲李立健; 机构北京化工大学信息科学与技术学院中国科学院自动化研究所; 出处《计算机应用》 CSCD 北大核心 2005年第6期1445-1447,1450,共4页; 基金国家自然科学基金资助项目(60473032) 教育部科学技术重点项目(105018); 文摘介绍了程序切片技术的基本概念,提出了一种基于前向分析的动态程序切片算法,探讨了程序切片在软件测试数据生成中的应用,结果表明可以有效地提高基于路径的测试数据生成效率。; 关键词程序切片测试数据生成前向分析动态程序切片算法; Keywords program slicing test data generation forward analysis dynamic program slice algorithm; 分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名一种可检测Java程序盗版的动态胎记技术被引量：1: 5; 作者邓小鸿拜亚萌黄斌满君丰; 机构江西理工大学应用科学学院焦作大学信息工程学院莆田学院电子信息工程系湖南工业大学计算机与通信学院; 出处《计算机工程与应用》 CSCD 北大核心 2010年第17期69-71,84,共4页; 基金国家自然科学基金 No.60773110 中国博士后科学基金 No.20080440216~~; 文摘针对Java程序易盗版的特点,提出了一种新的动态软件胎记技术。首先将Java程序进行转换得到其字节码集合U,然后利用动态程序切片技术得到U在特定输入I下的子集S,最后采用k-gram胎记提取算法得到S的一个特征值序列作为软件胎记。实验分析显示这种胎记能很好地抵抗各种程序变换攻击,具有很强的置信性和鲁棒性,并能有效地检测程序盗版行为。; 关键词版权保护动态程序切片软件胎记置信性鲁棒性; Keywords copyright protection dynamic program slicing software birthmark credibility robustness; 分类号 TP309 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名基于变量感染分析的软件错误定位技术: 6; 作者江联黄海亮周晓聪王欣明李文军; 机构中山大学信息科学与技术学院中山大学软件学院; 出处《计算机科学与探索》 CSCD 2014年第8期966-977,共12页; 基金中山大学中央高校基本科研业务费专项资金 No.11LGPY39~~; 文摘在实际调试中,程序员往往通过追溯错误的变量值及其传播来定位软件错误,其中具有错误值的变量称为感染变量,感染变量在失败运行中具有错误值的程序位置即为感染位置。提出了一种结合动态正向程序切片和语句覆盖信息对程序变量感染的初始位置进行定位的技术。该技术通过分析感染变量的起源与传播,可以更加精确地找到与感染变量相关的错误语句集合。与传统的基于程序覆盖信息的错误定位技术进行了对比实验,结果表明,该技术可定位程序中的感染变量及其初始感染位置,并且可以显著提高程序错误定位的精度。; 关键词错误定位变量感染动态程序切片语句覆盖信息; Keywords fault localization variable infection dynamic program slicing statement coverage; 分类号 TP312 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于动态程序切片和污点分析的安卓应用隐私泄露检测	汪全盛王田田马锐张迎周	《小型微型计算机系统》北大核心	2025	0	在线阅读下载PDF 职称材料
2	一种简化依赖关系的动态程序切片算法	贾利敏张忠林	《郑州大学学报（工学版）》 CAS 北大核心	2009	1	在线阅读下载PDF 职称材料
3	基于动态程序切片的软件水印方案	邓小鸿孙星明孙光拜亚萌	《东南大学学报（自然科学版）》 EI CAS CSCD 北大核心	2007	0	在线阅读下载PDF 职称材料
4	一种用于测试数据生成的动态程序切片算法	王雪莲赵瑞莲李立健	《计算机应用》 CSCD 北大核心	2005	6	在线阅读下载PDF 职称材料
5	一种可检测Java程序盗版的动态胎记技术	邓小鸿拜亚萌黄斌满君丰	《计算机工程与应用》 CSCD 北大核心	2010	1	在线阅读下载PDF 职称材料
6	基于变量感染分析的软件错误定位技术	江联黄海亮周晓聪王欣明李文军	《计算机科学与探索》 CSCD	2014	0	在线阅读下载PDF 职称材料