检索结果-内蒙古大学图书馆

作者：拜朝峰上海交通大学

学位级别：硕士

本文主要包括四部分内容。第一部分介绍了部分计值技术的理论基础和研究现状以及应用。第二部分介绍了java虚拟机的体系结构和java语言部分计值研究的发展现状。第三部分是本文的重点，选择java字节码程序作为部分计值研究的对象，首先... 详细信息

本文主要包括四部分内容。第一部分介绍了部分计值技术的理论基础和研究现状以及应用。第二部分介绍了java虚拟机的体系结构和java语言部分计值研究的发展现状。第三部分是本文的重点，选择java字节码程序作为部分计值研究的对象，首先按照java语言的特性把java分为了五个层次，命名为javaI、javaC、javaO、javaE和javaT，然后分析了由javaI程序编译得到的JVMLI字节码程序的指令序列结构，定义了JVMLI字节码程序的指称语义，并在此基础上形式化的提出了JVMLI程序的部分计值规则，然后定义了部分计值正确性的含义并使用归纳法证明了这些计值规则的正确性。本文的最后一部分简单讨论了JVMLC 、JVMLO 、JVMLE 和JVMLT 的部分计值，由于引入了面向对象和异常处理，特别是线程机制的思想，研究语言语义的难度就迅速增大，该部分的研究工作还在继续进行，主要是使用抽象状态机（ASM,Abstract State Machine）[25]来刻划java虚拟机及其运行时数据区，然后定义语义和部分计值的规则，最后证明部分计值的正确性。

关键词：部分计值 java虚拟机 java字节码正确性程序例化代码转换技术

来源：评论

学校读者我要写书评

暂无评论

一种java字节码静态调整的方法及应用

引用

电子技术应用 2006年第8期32卷 19-21页

作者：蒋凡杨建国中国科学技术大学计算机科学与技术系安徽合肥230027

提出了一种改善J2ME中多维数组运算效率的方法。该方法不占用额外的内存,不需要修改虚拟机,通过静态修改已经编译好的java字节码提高多维数组运算效率。实验表明,本方法比现有针对J2SE的多维数组运算效率解决方法更适用于J2ME环境。

关键词： java J2ME JVM 多维数组 java字节码

来源：评论

学校读者我要写书评

暂无评论

java字节码执行的可并行性分析及方法

引用

价值工程 2011年第1期30卷 168-169页

作者：彭雪婷陈冬四川邮电职业技术学院成都610067

本文在分析java可执行文件结构的基础上,根据java虚拟机执行指令的特性,得出了java字节码指令之间的依赖关系;并根据依赖关系图的分析,得出java指令可并行执行的结论;最后通过实例给出了方法的有效性。

关键词： java语言 java字节码依赖关系并行执行

来源：评论

学校读者我要写书评

暂无评论

java字节码异常处理中信息流的分析

引用

应用科技 2007年第2期34卷 28-31页

作者：卢丹小林良岳中山健前川守电气通信大学情报系统学研究科

为提高java移动代码动态安全验证的准确性和实用性,通过分析java字节码中异常处理的方式与流程,提出了追踪、记录异常处理中信息流的方法.采用字节码改写技术,将异常处理中信息流的相关数据封装在异常类当中,从而保证了所采取的处理对J... 详细信息

为提高java移动代码动态安全验证的准确性和实用性,通过分析java字节码中异常处理的方式与流程,提出了追踪、记录异常处理中信息流的方法.采用字节码改写技术,将异常处理中信息流的相关数据封装在异常类当中,从而保证了所采取的处理对java虚拟机的透明性,并进一步提高了动态验证的精度.

关键词：信息流异常处理 java字节码

来源：评论

学校读者我要写书评

暂无评论

基于混淆和水印的java字节码安全技术的研究

基于混淆和水印的Java字节码安全技术的研究

引用

作者：战晓娟大连交通大学

学位级别：硕士

java程序由于平台无关性得以在Internet上迅速发布,但同时java程序也面临着两个严重的安全问题:第一,侵权使用。java编译器将每一个类编译成一个单独的class文件,这一特点让侵权使用java class文件变的容易;第二,逆向工程。目前java字... 详细信息

java程序由于平台无关性得以在Internet上迅速发布,但同时java程序也面临着两个严重的安全问题:第一,侵权使用。java编译器将每一个类编译成一个单独的class文件,这一特点让侵权使用java class文件变的容易;第二,逆向工程。目前java字节码的反编译技术已经很成熟,出现了许多java反编译工具,这些工具能很好的把java字节码反编译成java源代码。为了保护java字节码的安全,本文提出了一种新的保护模型:利用代码混淆和软件水印技术对java字节码实施双重保护,从而保护了java程序的知识产权。混淆java字节码是在保持程序语义的前提下隐藏程序的内部信息,使得java程序员很难读懂反编译后的java源代码甚至于不能被正确的重新编译更甚者不能反编译。在java字节码中嵌入水印就是将含有标识意义的信息嵌入到java class文件中。也就是说利用混淆技术来阻止java字节码的逆向工程,利用软件水印为java class文件提供版权保护。研究了现有的代码混淆技术,在此基础上设计了词法转换算法、类的假重构算法,改进和完善了类拆分算法,总结了类型隐藏混淆的本质和与接口回调技术的区别,分析、细节化了三种能使反编译失败的控制流混淆算法,并针对程序切片严重威胁控制流混淆的问题找出了两种抵抗程序切片的混淆策略。研究了现有的一种针对java字节码的水印算法。通过对水印算法的改进,提高了水印算法的鲁棒性、透明性。利用研究成果,设计并实现了名为JOCOW(java Tool which combines obfuscation and Watermark technology)的系统,用户可使用该系统对java class文件进行双重保护。保证java字节码的绝对安全是不可能的,但是本文的研究可以给java字节码提供版权保护和使java字节码逆向工程价值减小。

关键词： java字节码混淆软件水印程序切片

来源：评论

学校读者我要写书评

暂无评论

基于混沌不透明谓词的java字节码混淆技术研究

基于混沌不透明谓词的Java字节码混淆技术研究

引用

作者：王兵郑州大学

学位级别：硕士

随着网络和计算机技术的飞速发展，软件程序已经成为人们生活和工作中不可或缺的一部分，随之而来的软件安全问题也日益突出。java字节码文件包含了完备的源码信息，在逆向分析中更加容易被破解，导致其核心算法甚至源代码被窃取。代码... 详细信息

随着网络和计算机技术的飞速发展，软件程序已经成为人们生活和工作中不可或缺的一部分，随之而来的软件安全问题也日益突出。java字节码文件包含了完备的源码信息，在逆向分析中更加容易被破解，导致其核心算法甚至源代码被窃取。代码混淆作为一种针对软件逆向分析的对抗性技术，通过对原程序进行混淆变换，可以有效降低原程序的可读性，增大理解程序逻辑的难度，进而起到保护原程序的作用。　　在代码混淆领域，利用不透明谓词实现混淆变化是目前研究领域的一个热门课题。为了改善现有不透明谓词存在的密码安全性低，易于破解等问题。本文基于混沌理论，提出了两类新的基于混沌映射构造混沌不透明谓词的算法;然后基于两类混沌不透明谓词，设计了针对java字节码的分支路径混淆方案和改进的控制流平坦化混淆算法，并基于Soot框架构建了 java字节码混淆系统原型。本文的主要工作如下:　　(1)设计构造混沌不透明谓词。基于混沌理论中非线性动力系统，提出了一种基于余弦级联的Logistic混沌映射结构，克服了现有Logistic混沌映射对初始值敏感性不足、迭代序列易在上下边界聚集、控制参数取值区间小等问题，具有更好的混沌特性;利用该混沌映射良好的初值敏感性和迭代序列分布均匀性，提出了二态混沌不透明谓词构造算法和多态混沌不透明谓词构造算法。　　(2)基于两类混沌不透明谓词，设计了两种针对java字节码的混淆方案。首先，设计了基于二态混沌不透明谓词的分支路径混淆方案，包括:在顺序执行的程序中插入输出不同的不透明谓词，实现引入不同的虚假路径混淆;在判断分支中插入不透明谓词，强化原有分支判断结构;并且设计了一种基于不可规约策略的不透明谓词插入方法，扩大了不透明谓词的应用范围。其次，基于多态混沌不透明谓词，提出了一种改进的控制流平坦化算法，把平坦化结构中的状态变量用多态不透明谓词进行隐藏，并设计消除了在java字节码层面平坦化操作后容易暴露操作痕迹的结构，减小了控制流平坦化的操作痕迹，提升了混淆强度。　　(3)基于Soot框架中提供的设计优良的Jimple型中间表示，构建了上述针对java字节码的混淆系统原型，并从混淆后程序的正确性、复杂性、控制流图复杂性等方面对原型系统进行了测试分析。实验分析表明，利用混沌不透明谓词进行混淆变化可以有效提升程序的复杂度、控制流图复杂度，构建的混沌不透明谓词具有很高的安全性，混淆后的程序具有很高的混淆强度，能够有效的增加逆向破解的难度，可以起到保护原程序的目的。

关键词： java字节码代码混淆不透明谓词混沌映射控制流平坦化

来源：评论

学校读者我要写书评

暂无评论

一种基于java字节码的软件设计信息提取方法

引用

南通大学学报（自然科学版） 2016年第3期15卷 12-17页

作者：李留义黄松惠战伟邹珊中国人民解放军理工大学指挥信息系统学院江苏南京210007 全军军事训练软件测评中心江苏南京210007

基于ASM解析字节码文件的算法,提出一种基于java字节码的软件设计信息提取的方法.在此方法基础上,设计并实现了以java字节码文件作为输入,MS Word格式的软件设计说明文档作为输出的原型系统.运行结果表明,该方法对大部分字节码文件的解... 详细信息

基于ASM解析字节码文件的算法,提出一种基于java字节码的软件设计信息提取的方法.在此方法基础上,设计并实现了以java字节码文件作为输入,MS Word格式的软件设计说明文档作为输出的原型系统.运行结果表明,该方法对大部分字节码文件的解析和提取效果比较理想.

关键词： java字节码软件设计信息提取字节码解析 ASM框架

来源：评论

学校读者我要写书评

暂无评论

基于数据流的java字节码分析

引用

微计算机信息 2009年第12期25卷 231-232,270页

作者：倪程李志蜀四川大学计算机学院 610064

本文基于数据流框架理论,提出了如何将数据流分析方法应用于java字节码中,通过建立数据流与半格、数据流和函数调用图的关系,从而对类型信息进行分析。实验表明该数据流分析方法能够对文件中的类型信息进行较精确的分析。

关键词：数据流分析半格 java字节码控制流图

来源：评论

学校读者我要写书评

暂无评论

java源代码字节码剽窃检测方法及支持系统

引用

北京航空航天大学学报 2010年第4期36卷 424-428页

作者：李虎刘超刘楠李晓丽北京航空航天大学计算机学院北京100191

提出一种java源代码和字节码都适用的剽窃检测方法并实现了支持系统,该方法以类的java文件或class文件为比较单元,从中抽取代表程序语法和语义特征的5种特征向量,综合计算产生两个类文件之间的相似度,可用于帮助判断两个类文件之间是否... 详细信息

提出一种java源代码和字节码都适用的剽窃检测方法并实现了支持系统,该方法以类的java文件或class文件为比较单元,从中抽取代表程序语法和语义特征的5种特征向量,综合计算产生两个类文件之间的相似度,可用于帮助判断两个类文件之间是否存在全部或部分剽窃现象.在人工修改程序的场景下进行的对比实验结果和剽窃检测实验结果表明,该方法可有效检测程序代码的严格拷贝和近似拷贝,有较高的检测性能,并且能够识别程序剽窃行为中对java源文件所做的大部分类型的代码变换.

关键词：剽窃检测 java源代码 java字节码相似性度量

来源：评论

学校读者我要写书评

暂无评论

基于指令统计分布的软件水印方案

引用

浙江大学学报（工学版） 2005年第2期39卷 225-228页

作者：吴建军高济浙江大学计算机科学与工程学系浙江杭州310027

提出了一种新的盲提取软件水印方案,水印信号分散在整个代码的指令统计分布上.在程序的指令集中随机抽取两个不相交的基数相等的子集,对特定子集的选取就是要嵌入的水印.改变程序使对应于某个子集的所有指令的出现次数都增加一个常数.... 详细信息

提出了一种新的盲提取软件水印方案,水印信号分散在整个代码的指令统计分布上.在程序的指令集中随机抽取两个不相交的基数相等的子集,对特定子集的选取就是要嵌入的水印.改变程序使对应于某个子集的所有指令的出现次数都增加一个常数.检测时,分别计算相应两个子集指令出现次数的平均值,如果两个均值之差大于阈值,则认为包含水印.根据假设检验理论对方案的有效性进行了理论分析和证明.针对 java字节码实现了提出的方案,并通过实验进行了验证.结果表明新方案具有非常强的健壮性,能有效抵抗多种常用攻击.

关键词：软件水印盲提取 java字节码软件保护

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：