基于混合模式的Java卡字节码优化器

Java卡是一种基于Java语言的智能卡。因为智能卡的空间和处理器速度的约束,一个应用程序在Java卡上运行时面临的最大问题是存储空间的不足和对程序执行时间的严格限制。因此,对下载到卡中的字节码进行优化是十分必要的。本文提出了一种综合使用扩展指令集和分段压缩算法的Java卡字节码优化器的设计方案,通过对字节码文件的优化,可得到占用空间较少且没有降低执行速率的字节码文件。     

基于CGLIB的AOP动态实现机制

AOP（Aspect-Oriented Programming）是一种支持分离系统横切关注点的软件复用技术。模块化良好的横切关注点就是方面，方面在编译时或运行时被织入系统。介绍了AOP的基本概念和CGLIB提供的动态扩展机制，详细阐述了如何在拦截器中执行指示并最终基于CGLIB动态实现AOP的方法。     

一种新的Java智能卡上字节码校验算法

Java智能卡上的字节码校验是保障Java卡安全的重要手段。但是,由于Java智能卡本身的空间和运算器的限制,传统的字节码校验算法无法在Java智能卡上实现。为了解决此问题,本文在分析了现有方法的特点和不足的基础上提出了一种基于有向分枝图和缓存策略的字节码校验算法。效率分析和实践表明,该算法是一种可以在Java智能卡上实现
现的高效算法。     

基于Soot的JAVA字节码优化及性能分析

Java语言至今已成为最受欢迎的编程语言之一,由于其平台无关性、执行的安全性以及垃圾收集等特性而得到广泛应用,受到众多的IT企业及开发者的支持。然而,与诸如C/C++这类语言比起来,Java语言的运行性能在很多情况下还有待提高,优化Java应用性能的课题就成为当前业界迫切需要解决的问题和研究的热点。本文从优化Java字节码的角度切入,介绍一款在其上进行优化和变换的框架,并展示相关应用的例子。     

Java字节码的水印嵌入

通过Internet发布的Java程序正面临着严重的未授权使用,这是因为Java源代码被编译成可重用的class文件,而这些class文件很容易就被反编译成Java源文件。提出一种在Java的class文件中嵌入数字水印的技术,它可以有效地保证开发者对该程序的版权。该水印嵌入对程序的使用者来说是透明的,而对程序的开发者来说,可以轻易地找出未经授权的非法的程序使用。     

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

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

基于字节码的以太坊智能合约分类方法

近年来,区块链技术已在金融、医疗和政务等领域得到了广泛应用和关注。然而,由于智能合约的不易篡改性和运行环境的特殊性,各类安全问题频繁出现。一方面是合约开发者在编写合约时出现的代码安全问题,另一方面是以太坊出现不少高风险智能合约,普通用户很容易被高风险合约提供的高回报所吸引,但对合约的风险却无从知晓。然而,关于智能合约安全的研究主要集中于代码安全方面,对合约功能识别的研究相对较少。假如能对智能合约功能进行准确分类,将有助于人们更好地理解智能合约的行为,同时保障智能合约生态安全,减少或挽回用户的损失。已有的智能合约分类方法通常依赖于对智能合约开源代码的分析,但以太坊发布的合约仅强制要求部署字节码,且只有极少数合约公布了其开源代码。因此,提出了一种基于字节码的以太坊智能合约分类方法。收集以太坊智能合约字节码和对应类别标签,然后提取操作码频率特征以及控制流图特征;通过实验对特征重要性进行分析,获取适合的图向量维度及最优的分类模型;在交易所、金融、赌博、游戏和高风险5个类别的智能合约多分类任务中进行实验验证,使用XGBoost分类器时的F1值达到0.9138。实验结果表明所提方法能较好地完成以太坊智能合约的分类任务,并且能够应用于现实中的智能合约类别预测。     

Java应用程序的动态加载与字节码文件解密过程的讨论

通过对Java应用程序的执行过程和Java类加载器的加载机制的分析,探讨了如何在Java类的显示加载和通过自定义类加载器进行加载两种方式下,让一个Java应用程序通过动态加载并执行另一个Java应用程序的具体过程,并对之进行了深入的讨论。     

基于动态AOP和WebServices的轻量级RBAC的实现

针对传统基于角色的访问控制系统在面向中小企业应用中的不足,设计了一个面向中小企业的基于WebServices的轻量级RBAC系统。利用动态AOP技术将权限验证实现为方面,通过对WebServices动态织入方面实现RBAC核心的重用,提高了RBAC系统的通用性。     

一种使用CFT的Java卡内字节码校验算法

Java卡字节码校验是构成Java卡安全体系结构的重要组成部分.而传统的Java卡字节码校验由于Java智能卡资源的限制,无法在卡内进行.本文通过对控制流程图和类型推导的分析,提出了基于控制流程树的Java卡卡外翻译过程和卡内校验器算法,详细描述了CFT迁移机理并对于基于CFT的Java卡内字节码校验算法和可行性进行了分析与实践.     

基于动态消息捕获模型的AOP实现技术研究

介绍了有关AOP（Aspect-Oriented Programming）的重要概念、目前实现机制的缺陷、动态消息捕获模型以及基于本模型的AOP的具体实现。着重讨论了基于动态消息捕获模型的AOP实现机制,此讨论将扩展“方面”的概念,使得“方面”的含义比原来更宽泛。     

动态增量式AOP框架的研究与实现

在研究AOP原理的基础上,提出一种面向aspect的编程框架AODF,采用基于日志技术的增量式编织机制,不仅提高了编织效率,而且基于Bigraph理论的AODF支持方面的动态演化,实现了行为的一致性与相容性。另外,AODF从语言层提供对方面的支持,无需改动语言本身任何结构及特性,而且可以把自行编制的aspect配置为标准组件入库,实现方面的重用。从而使得遗留系统无需变更就可以获得面向方面的扩展。     

基于SpringAOP的权限验证实现

软件项目中经常需要加入日志、权限检查、事务管理等额外服务,而且将来这些服务有可能需要更改或者移除,如果采用传统的面向对象的编程方式来处理,将会变得非常繁琐,而运用SpringAOP技术却可以很方便地实现。     

基于领域特征的AOP编织实现方法

面向方面编程(AOP)通过横切关注点和编织技术来实现软件.基于领域特征的领域分析、设计过程获得领域的特征和特征关系,并在领域实现的前期实现特征的代码编制.采用面向方面编程技术,对领域特征中任务(Role)的关系分析、归类后,按面向方面编程技术提供的关注点(Concerns)、通知(Advice)、横切(Crosscutting)、编织(Wea-ving)等方法,针对领域特征中的Role进行编织,组成完整的可变化特征,以适应不同软件产品的需要.采用面向方面编程技术不会对已封装的Role产生耦合,增强了代码的易用性和可维护性.     

基于Spring框架的AOP编程

介绍了面向方面编程（Aspect-Oriented-Progranning，AOP）的思想、开发步骤和优点，并且给出了一个基于Spring框架的具体AOP的实现。     

基于AOP的代码规则强化方法研究

分析了常见代码规则强化方法中存在的问题,结合AOP(Aspect-Oriented Programming,简称AOP)的特点,给出了一种基于AOP的代码规则强化方法,并用方面来表示代码规则,通过把代码规则织入系统代码,在编译阶段和运行阶段实现了代码规则强化。     

基于AOP的性能监测系统的研究与实现

提出一种基于动态AOP的监测器模型及其实现,它能够对现有的、已在运行的系统进行最灵活和能耗最小的代码级性能分析。利用AOP动态织入机制,可在目标系统运行过程中动态添加或删除监测器,从而提高监测的灵活性。     

基于AOP与Elastos操作系统的平等计算模型实现

由于构件对象可以动态加载、动态聚合,同时也能动态卸载、动态拆离,使得软件可以运行在计算能力或存储能力较弱的设备上.通过基于AOP及E1astos操作系统的平等计算模型的实现,在很大程度上提高了应用的终端适应能力,从而为开发更大的移动应用提供了技术支持.     

基于AOP架构的业务约束检测

利用运行时验证这样一种新兴的轻量级验证技术和AOP的框架结合,检测业务约束之间存在的冗余和冲突。首先对业务约束进行定义,利用约束理论（TOC）中的现实树（RT）将约束提取出来放在AOP的切入点（pointcut）中,然后利用命题语言表示约束的监控性质,再通过合并真值表的方法来检测约束中存在的冗余和冲突,最终提高软件的可靠性。