-
题名一种基于代码并行化和虚拟机多样化的软件保护方法
被引量：8
- 1
-
-
作者
谢鑫
刘粉林
芦斌
向飞
-
机构
信息工程大学
数学工程与先进计算国家重点实验室
-
出处
《小型微型计算机系统》
CSCD
北大核心
2015年第11期2588-2593,共6页
-
基金
国家自然科学基金项目(61379151
61272489
+2 种基金
61302159
61401512)资助
河南省杰出青年基金项目(144100510001)资助
-
文摘
考虑到并行和多虚拟机保护的程序逆向分析难度大大高于串行和单虚拟保护的程序,针对嵌套虚拟机为实现高强度保护而引入的高开销问题,提出一种基于代码并行化和虚拟机多样化的软件保护方法,基于程序依赖图运用切片技术对代码进行并行划分,设计多种虚拟指令集及其对应的编译器和解释器,将划分后的代码编译成多样化字节码序列,并和虚拟指令解释器共同嵌入程序.实验分析表明:逆向攻击者需分析不同虚拟机机制和并行代码集才能获取受保护程序语义,在降低时间开销的同时极大增加了逆向分析的难度.
-
关键词
软件保护
代码混淆
代码并行化
虚拟机多样化
-
Keywords
software protection
code obfuscation
code parallelization
virtual machine diversity
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
-
题名基于领域分析的结构线性静力软件串并行一致化方法
- 2
-
-
作者
唐德泓
杨浩
文龙飞
徐正秋
-
机构
中物院高性能数值模拟软件中心
北京应用物理与计算数学研究所
四川中锐信息技术有限公司
-
出处
《计算机科学》
CSCD
北大核心
2024年第9期87-95,共9页
-
文摘
并行CAE软件的计算结果串并行一致性是其计算结果可信的必要条件。然而,软件研发时常引入串并行不一致缺陷,其形式众多,现象相互耦合,散布于海量代码中,成为实现CAE软件串并行一致性的挑战。文中以结构线性静力软件的串并行一致性需求为切入点,针对现有的“专家知识法”与“缺陷定位法”应用于CAE软件串并行一致化时存在的粒度粗、准度差、成本高和缺乏系统性问题,引入领域分析方法,并与专家知识和数据流状态比对结合,提出了一种适用于结构线性静力的串并行一致化方法,实现了结构线性静力软件串并行不一致缺陷的细粒度、高准度与低成本系统性识别与修复。基于前述方法形成相关工具,并将方法与工具应用于SSTA的串并行一致化,识别并修复其中8处串并行不一致缺陷,使其通过90余真实模型的串并行一致考核,并实现串并行结果严格一致;同时,该方法与工具还将串并行不一致缺陷定位耗时由平均大于两人天降低至数人时。
-
关键词
串并行一致化
结构线性静力软件
串行代码并行化
领域分析
缺陷定位
-
Keywords
Obtain identical results on varying number of processors
Structural linear static software
Parallelization of serial codes
Domain analysis
Fault-location
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于线性不等式消元实现的通信优化
被引量：1
- 3
-
-
作者
刘磊
赵荣彩
龚雪容
-
机构
解放军信息工程大学信息工程学院
-
出处
《计算机工程》
CAS
CSCD
北大核心
2008年第7期59-60,63,共3页
-
文摘
若自动生成的并行化代码中包含过多的冗余代码,将导致代码膨胀,同时增加不必要的时间开销。该文通过对计算划分不等式和依赖关系不等式进行傅立叶消元,消除并行化代码中的冗余通信部分,实现通信优化。测试结果表明,与通信优化前的代码相比,消除后的并行代码量减少了10%～30%,处理器数目相同的情况下加速比平均达到1.12。
-
关键词
并行化代码自动生成
冗余通信消除
线性不等式
通信优化
-
Keywords
automatic parallel code generation
redundant communication elimination
linear inequalities
communication optimization
-
分类号
TP314
[自动化与计算机技术—计算机软件与理论]
-
