彭建山
- 作品数：18 被引量：25H指数：2
- 供职机构：解放军信息工程大学更多>>
- 发文基金：河南省自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术文化科学更多>>
- 一种使用多样本差异比对的软件故障分析方法
- 本发明涉及一种计算机技术领域的软件分析方法，特别是涉及一种使用多样本差异比对的软件故障分析方法。其步骤包括：1）将被分析程序进行反汇编和动态插桩；2）追踪和记录待分析程序的执行指令流，构建程序的以基本块为最小单位的控制流...
- 魏强彭建山尹中旭王振兴方圆张咪杨欣任栋
- 文献传递
- 基于相容优化的并行约束求解方法
- 本发明涉及一种基于相容优化的并行约束求解方法，含有下列步骤：1：初始化任务队列；2：如果任务队列中没有搜索向量，则结束；如果有搜索向量，则选择一个作为当前工作任务；3：从所有未赋值的约束变元中选择要赋值的约束变元；4：对...
- 曹琰魏强彭建山尹中旭
- 文献传递
- 符号执行中的循环依赖分析方法被引量：2
- 2012年
- 符号执行方法处理循环时存在路径爆炸的问题。为此,提出一种基于归纳变量的循环依赖分析方法。通过识别循环归纳变量及符号表达式,结合边界约束条件生成可达归纳变量分支的路径约束,并采用符号化映射方法分析嵌套循环归纳变量依赖问题,从而在不展开循环的情况下生成覆盖归纳变量分支的测试用例。对开源工具Libxml2进行实验,该方法能发现其中2个while循环所引发的数组访问越界错误。
- 刘杰曹琰魏强彭建山
- 基于相容优化的并行约束求解方法
- 本发明涉及一种基于相容优化的并行约束求解方法，含有下列步骤：1：初始化任务队列；2：如果任务队列中没有搜索向量，则结束；如果有搜索向量，则选择一个作为当前工作任务；3：从所有未赋值的约束变元中选择要赋值的约束变元；4：对...
- 曹琰魏强彭建山尹中旭
- 文献传递
- 网络思维在计算机应用基础课程中的应用被引量：1
- 2015年
- 以大学计算机应用基础课程为例,阐述新时代高校教师如何利用网络思维开展课堂教学,如何运用思维导图、慕课、翻转课堂等基于网络思维的教学手段丰富课堂,使学生提高学习积极性和创造力,更好地适应网络社会。
- 彭建山张咪
- 关键词：网络思维思维导图
- 基于多路径分发的ROP框架构造方法被引量：1
- 2018年
- ROP是一种流行的软件漏洞利用技术,它与ROP检测技术的对抗正在不断升级。主流的ROP检测工具kBouncer和ROPecker通过LBR寄存器追踪间接跳转指令的执行过程,结合ROP特征检测,对传统的ROP以及改进的JOP等攻击行为都有很好的检测效果。Nicholas提出了绕防方法,但它存在可用gadget数量少、实现难度大等问题。提出了一种基于多路径分发的ROP框架构造方法,基于3种类型的gadget模块构造了一个gadget循环执行的框架,在该框架内可以使用丰富的常规gadget,从而形成一条完整、高效的ROP攻击链。实验表明该方法的实现难度低,不仅能够完成复杂的ROP功能,而且特征足够小,能够绕过主流ROP检测工具的检测。
- 彭建山周传涛王清贤王清贤
- 关键词：ROPGADGET
- 夺旗竞赛引入软件逆向分析实践教学的探索被引量：1
- 2015年
- 针对软件逆向分析课重点培养学生逆向思维能力的教学实际,结合该课程和夺旗竞赛都存在正向逆向对抗的特点,在实践教学中引入夺旗竞赛形式,通过学习效果验证了该教学方式的有效性。
- 彭建山张咪曹宇
- 关键词：逆向思维
- 基于并行符号执行的多源多目标逼近测试方法
- 本发明涉及一种基于并行符号执行的多源多目标逼近测试方法，首先，在面向安全分析的中间语言表示基础上，检测定位输入函数source节点和危险函数sink节点；然后，利用程序控制流图，分析source节点到sink节点的调用路...
- 曹琰魏强尹中旭彭建山武泽慧柳晓龙刘雯雯
- 文献传递
- 基于UD和DU链的释放指针误用检测技术
- 针对目前利用释放指针误用漏洞对客户端的攻击比例明显增加,危害巨大,因此对这类漏洞进行检测就变得十分必要.本文采用了基于引用-定值和定值-引用链的释放指针误用漏洞检测技术,通过对变量,释放指针误用漏洞等概念进行刻画,利用等...
- 欧阳永基尹中旭彭建山王清贤
- 关键词：客户端
- 文献传递
- 小班化教学在《网络信息安全》课程中的探索与实践被引量：2
- 2016年
- 针对网络信息安全课程教学对象规模偏大带来的课堂参与度低、自主学习不够深入、项目规划能力较差等问题,提出了以学员为本的小班化教学模式,总结了课程实施以来采用的一些具体做法和成效,对下一步更好的发挥小班教学优势,提高学员的综合能力进行了思考。
- 奚琪彭建山朱俊虎
- 关键词：小班化网络信息安全教学改革
