期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到10篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
相关路径静态分析中协同式逆向推理方法 被引量：5
1
作者 郭曦 王盼 《软件学报》 EI CSCD 北大核心 2015年第1期1-13,共13页
相关路径生成,是程序动态分析中的一种重要方法.通过对目标执行路径的获取和分析来生成与其相关的近邻执行路径,在程序行为特征分析、编译优化和调试等研究方向有重要的作用.现有的方法主要通过改变路径节点序列来生成近邻的路径集合,... 相关路径生成,是程序动态分析中的一种重要方法.通过对目标执行路径的获取和分析来生成与其相关的近邻执行路径,在程序行为特征分析、编译优化和调试等研究方向有重要的作用.现有的方法主要通过改变路径节点序列来生成近邻的路径集合,由于缺乏关键节点的路径引导信息,导致生成大量冗余或者无效的路径集合.提出采用协同式逆向分析的近邻路径生成方法,针对目标路径的后置条件,采用逆向符号分析方法产生程序各个基本块的前置条件作为执行路径的引导信息.同时,通过调整距离因子k的取值,可以有针对性地生成与目标路径的编辑距离不超过k的近邻路径集合.实验结果表明:与现有方法相比,该方法在准确性和效率方面有明显的优势. 展开更多
关键词 逆向分析 近邻路径 最弱前置条件 符号执行
下载PDF
一种优化的跨平台可逆调试器 被引量：2
2
作者 刘西洋 刘涛 +2 位作者 柏志文 王艳 穆浩英 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2009年第1期64-68,共5页
针对大型软件系统中调试效率低下以及并发程序错误难以重现的问题,设计和实现了基于虚拟技术的可移植优化逆向调试器(PORD).PORD动态翻译被调试程序的二进制可执行代码,并且在翻译过程中向检查点处植入代码来保存程序运行状态,使程序在... 针对大型软件系统中调试效率低下以及并发程序错误难以重现的问题,设计和实现了基于虚拟技术的可移植优化逆向调试器(PORD).PORD动态翻译被调试程序的二进制可执行代码,并且在翻译过程中向检查点处植入代码来保存程序运行状态,使程序在执行过程中以增量的形式自动生成状态日志.PORD中集成的功能扩展的GDB远程控制虚拟机,根据检查点的状态日志重建历史执行状态,从而达到逆向执行目的.当被调程序与宿主机有相同的指令集架构时,动态二进制翻译就被优化为直接拷贝执行被调试程序的二进制可执行码,使被调程序能够以接近本地速度的速度执行.实验结果表明,PORD可以为程序提供快速的可移植的逆向调试环境. 展开更多
关键词 动态二进制翻译 可逆调试 逆向执行 检查点
下载PDF
反向调试技术研究综述
3
作者 徐建波 舒辉 康绯 《计算机科学》 CSCD 北大核心 2021年第5期9-15,共7页
在软件的开发测试部署过程中,调试工作耗费了开发人员非常多的精力和时间,有时一个很难被发现的错误会导致多次重启调试。反向调试是软件调试的一种技术,无需重启即可向后查看运行的指令及状态,这能够大大提高软件调试的速度,降低软件... 在软件的开发测试部署过程中,调试工作耗费了开发人员非常多的精力和时间,有时一个很难被发现的错误会导致多次重启调试。反向调试是软件调试的一种技术,无需重启即可向后查看运行的指令及状态,这能够大大提高软件调试的速度,降低软件开发的难度,有效修复程序运行时发生的错误。该技术的核心问题是运行状态的恢复,目前针对该问题的解决方法主要有状态保存和状态重构。文中主要从反向调试的原理、学术研究、产品实现、技术应用等方面梳理其发展情况,对该技术进行分析研究,总结了基于时间和基于指令的状态保存反向调试技术以及两种反向执行重构状态的方法,并提出了有关记录重放程序执行、定位分析软件错误、反向数据流恢复这3方面的应用,可为反向调试技术的研究应用提供一定的参考。 展开更多
关键词 调试 反向调试 状态保存 状态重构 反向执行 软件错误
下载PDF
路径分支混淆研究综述
4
作者 耿普 祝跃飞 《网络与信息安全学报》 2020年第2期12-18,共7页
代码混淆是一种便捷、有效的软件保护方法,能够较好地对抗以逆向分析为基础的MATE攻击,随着以符号执行为基础的自动程序分析技术的发展,出现了能够抵抗符号执行的新代码混淆方法——路径分支混淆。依据路径分支信息的构成,以及分支信息... 代码混淆是一种便捷、有效的软件保护方法,能够较好地对抗以逆向分析为基础的MATE攻击,随着以符号执行为基础的自动程序分析技术的发展,出现了能够抵抗符号执行的新代码混淆方法——路径分支混淆。依据路径分支信息的构成,以及分支信息在对抗符号执行分析上的差异,对分支混淆技术进行了分类,并给出了分支信息泄露与符号执行的联系;按照分支混淆的分类,对当前分支混淆的研究进展进行了介绍和总结,分析了各类分支混淆的优缺点;最后,对分支混淆技术的发展进行了展望。 展开更多
关键词 逆向工程 代码混淆 符号执行 路径分支混淆
下载PDF
VMP虚拟指令逆向分析算法
5
作者 乐德广 赵杰 +1 位作者 王雨芳 龚声蓉 《计算机工程与设计》 北大核心 2022年第9期2431-2440,共10页
针对现有虚拟机保护逆向分析集中式解释执行结构不适用于线索式解释执行,且虚拟机字节码序列隐含的控制流表现在解释例程相邻跳转关系上的问题,提出一种基于动态追踪记录和解释例程语义特征的虚拟机保护软件逆向分析算法。以动态二进制... 针对现有虚拟机保护逆向分析集中式解释执行结构不适用于线索式解释执行,且虚拟机字节码序列隐含的控制流表现在解释例程相邻跳转关系上的问题,提出一种基于动态追踪记录和解释例程语义特征的虚拟机保护软件逆向分析算法。以动态二进制逆向调试作为支撑,跟踪记录被虚拟机保护的代码在动态执行过程中的指令执行轨迹信息,对记录的虚拟机动态执行轨迹信息进行聚类分析,识别虚拟机指令的动态解释执行例程,根据解释执行过程的语义特征分析还原动态解释例程的虚拟指令。测试结果表明,该算法能够正确还原虚拟机保护程序的虚拟指令,有效简化虚拟机保护过的程序,降低软件逆向分析难度。 展开更多
关键词 虚拟机保护 软件安全 逆向分析 虚拟指令 解释执行
下载PDF
协议状态机推断技术研究进展 被引量：8
6
作者 吴礼发 王辰 +1 位作者 洪征 庄洪林 《计算机应用研究》 CSCD 北大核心 2015年第7期1931-1936,共6页
介绍了协议逆向工程中协议状态机推断的研究进展。从状态机推断与正则语言学习的关系出发,分析了协议状态机推断的目标与需求;然后依据分析对象不同,将协议状态机推断分为基于指令序列和报文序列两大类,进一步将基于报文序列的状态机推... 介绍了协议逆向工程中协议状态机推断的研究进展。从状态机推断与正则语言学习的关系出发,分析了协议状态机推断的目标与需求;然后依据分析对象不同,将协议状态机推断分为基于指令序列和报文序列两大类,进一步将基于报文序列的状态机推断分为主动推断和被动推断两种;研究分析了各层面涉及到的方法与技术,并作出了评价与比较。最后对协议状态机推断研究的发展趋势进行了展望。 展开更多
关键词 协议逆向工程 协议状态机推断 正则语言学习 指令序列 报文序列
下载PDF
逆向压力型体制与农村基层政府空转执行的形成逻辑——基于粤西L镇数字资源下沉的考察 被引量：6
7
作者 林彬 刘红波 《经济社会体制比较》 CSSCI 北大核心 2023年第3期151-161,共11页
乡村振兴背景下,国家大力推进资源向基层倾斜和下沉,以提高农村基层政府治理能力和效率。调研发现,某些基层政府承接了大量下沉资源,但为何陷入疲于应付、忙而无效的“空转”状态?现有研究多从行政压力型体制和基层政府策略主义行为进... 乡村振兴背景下,国家大力推进资源向基层倾斜和下沉,以提高农村基层政府治理能力和效率。调研发现,某些基层政府承接了大量下沉资源,但为何陷入疲于应付、忙而无效的“空转”状态?现有研究多从行政压力型体制和基层政府策略主义行为进行解释,而忽视了农村社会结构的解释面向。文章从国家与社会关系范式出发,通过对粤西L镇的案例分析,提出逆向压力型体制的解释框架。文章认为:逆向压力型体制不同于行政压力型体制,其关涉基层面对民生诉求时所承受的如何精准和精细回应的压力,以及由此而倚重情感关怀的治理体系;乡土社会对细致入微的情感治理的依赖,致使普遍性的技术治理在民生诉求回应中失准,从而造成农村基层的空转执行。因此,在推动资源向基层下沉时,需要警惕技术“负能”现象,有针对性地推进相关政策和供给资源。 展开更多
关键词 逆向压力型体制 农村基层政府 空转执行 资源下沉 情感治理
原文传递
不起诉案件行刑反向衔接的实践思考与完善进路——以63件不起诉案件为研究对象
8
作者 李思远 万方 《南海法学》 2024年第3期67-74,共8页
检察机关对于作出不起诉决定的案件,向行政执法机关移送行政处罚案件的反向衔接制度,是强化行刑衔接配合,共同推进法治中国建设的重要内容。作为一种“后置型”的犯罪治理模式,行刑反向衔接不仅能够填补不起诉决定作出后“不诉了之”所... 检察机关对于作出不起诉决定的案件,向行政执法机关移送行政处罚案件的反向衔接制度,是强化行刑衔接配合,共同推进法治中国建设的重要内容。作为一种“后置型”的犯罪治理模式,行刑反向衔接不仅能够填补不起诉决定作出后“不诉了之”所留空白,还有助于形成多元化的社会风险治理体系。其背后折射出从重刑轻行向行刑衔接转型、行政机关与司法机关“配合制约”、治理犯罪与预防犯罪并重等逻辑。但在实践中,行刑反向衔接工作出现了行政处罚时效判断标准不一、内外部移送缺乏明确规定、被不起诉人和被处罚人的定位混乱、存在不刑也不罚追责盲区等问题。因此有必要分析当前行刑反向衔接实践工作中存在的难点及原因,进而在制度设计、平台建设、统筹协调等方面完善行刑反向衔接机制。 展开更多
关键词 不起诉 检察意见 行政处罚 行刑反向衔接
下载PDF
火炮反后坐快速回缩系统研究
9
作者 王蕾 张尧禹 +1 位作者 张雪峰 冯进良 《长春理工大学学报（自然科学版）》 2015年第2期39-42,共4页
火炮反后坐装置用于提供各种火炮进行人工后坐的动力源,启动人工反后坐装置使火炮身管后坐,在后坐过程中,试验人员对复进机和输弹机的气压和液量等进行检查。为达到解脱人工反后坐装置对火炮身管的束缚并使之自由复进的目的,研究了快速... 火炮反后坐装置用于提供各种火炮进行人工后坐的动力源,启动人工反后坐装置使火炮身管后坐,在后坐过程中,试验人员对复进机和输弹机的气压和液量等进行检查。为达到解脱人工反后坐装置对火炮身管的束缚并使之自由复进的目的,研究了快速回缩系统。首先由锁紧与解脱装置对施力推杆进行锁紧,然后对弹性蓄能器进行蓄能使施力推杆受拉力作用;最后在回缩牵引装置和蓄能器的共同作用下使施力推杆快速回退,并达到最快回缩速度9.2m/s。该系统具有回退速度快、操作简易及造价合理等优点。实验结果验证了该方法的可行性和有效性。 展开更多
关键词 火炮反后坐 快速执行机构 结构设计 速度试验
下载PDF
适用于迭代型去模糊算法粗精检测相结合的自适应终止机制
10
作者 李崇禧 徐少平 +2 位作者 林珍玉 张玮 刘婷云 《计算机应用研究》 CSCD 北大核心 2020年第8期2536-2540,2546,共6页
由于缺乏合适的去模糊图像质量度量方法,迭代型去模糊算法通常将其迭代次数简单地设置为固定值,无法在执行效率和去模糊质量之间获得最优的平衡点。为此,提出一种粗精检测相结合的迭代终止机制并将其应用到迭代型去模糊算法中以自适应... 由于缺乏合适的去模糊图像质量度量方法,迭代型去模糊算法通常将其迭代次数简单地设置为固定值,无法在执行效率和去模糊质量之间获得最优的平衡点。为此,提出一种粗精检测相结合的迭代终止机制并将其应用到迭代型去模糊算法中以自适应地确定它们最佳的迭代次数。具体地,在每一步迭代过程中利用伪PSNR值细粒度地判断去模糊图像质量是否趋于稳定,另一方面每隔若干步利用从反向卷积残差图像中提取的统计特征值粗粒度准确地判定图像质量是否达到最佳,将两种去模糊图像质量度量方法有机结合以实现一种效率高且准确的迭代终止判定机制。评估结果显示,将所提出的粗精相结合的终止机制应用于NCSR、GSR和ADMM共三种主流去模糊算法后,执行效率可提高50%左右,而去模糊图像质量也得到了最佳保证。实验结果表明,提出的检测机制能够有效地解决各种迭代型去模糊算法因采用固定迭代次数而存在的无益迭代和过迭代问题,非常具有普适性。 展开更多
关键词 去模糊 自适应终止机制 粗精结合检测 伪PSNR值 反向卷积残差图像 执行效率
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部