类动态更新事务研究

针对软件单个类的动态更新操作存在许多限制,例如不允许删除类、方法等,提出类动态更新事务的方法,利用动态更新类集来克服这些限制,同时保证更新的安全性。基于此,对动态更新事务的一些属性,如ACID进行讨论,提出类型安全的类动态更新事务并进行了证明。最后,以Java语言为例,说明了如何构造动态更新程序,并进行了相应的实验,说明了方法的可行性。     

嵌入式系统基于动态命令的软件局部更新技术

微控制器所能实现的功能被局限于其自身所存储的代码,这在一定程度上限制了嵌入式系统功能的丰富性和灵活性。针对这一问题,提出一种软件局部更新技术,可以在不影响微控制器正常运行的情况下,将新功能以动态命令的形式注入并运行,极大程度上丰富了微控制器的功能,且不会导致空间资源受限和整体更新带来的重启等问题,同时也减轻了软件更新时的数据传输压力,具有很好的灵活性,且具备一定的实用价值。     

基于面向对象程序的类动态更新研究

从理论和实际2个方面出发，对面向对象程序动态更新的不同侧面进行研究，提出解决面向对象程序动态更新的方法。引入动态更新事务的概念，既克服了面向对象程序更新只能对类实行一些简单更新的限制，又保证了更新的类型安全性。对于Java程序设计，提出一种可动态更新程序的Java设计方法。实验结果表明，该方法是有效可行的。     

对系统动态更新的探讨与设计

软件系统,特别是大型商业应用系统常常需要不断地更新,以满足新的需求,对于基于构件的软件系统,只需更换有关的构件,即可避免修改整个系统。但对于有些系统如分布式系统,如果为了更换构件而将系统关闭,将是不可想象的,会付出巨大的代价。动态地系统更新——软件即插即用将是更好的选择。另一方面,要实现真正的构件市场,构件必须不受配置特性的限制而能通用,这样重用构件就可以由专业化的第三方来生产。中间件的出现给软件即插即用提供了一定的支持,基于中间件的软件即插即用将是未来较为可行的方法。方法特点     

语义相关的中粒度动态更新技术研究

软件动态更新技术是保证系统长时间的可靠运转和高可配置能力的关键技术，软件系统愈趋复杂的今天，其重要性得到越来越多的认同。这一技术通常可分为以代码插入技术为代表的细粒度更新和构件级的粗粒度更新两类，两者在灵活性、适用性上都有各自的不足。本文针对现有动态更新技术的不足，将一组具有语义相关性的功能集合作为参与动态更新的对象，提出了一种应用于传统操作系统运行环境的中粒度动态代码更新机制PRODUP（PRO-vider-based Dynamic UPdate system），使得传统操作系统及应用程序也具备一定的动态更新能力，以满足应用过程中越来越多的高可用、高可配置要求。PRODUP以构件动态重配思想为基础，结合动态链接技术，使动态更新过程符合透明、低耗的要求。并基于PRODUP实现了一套可动态更新的内核模块机制，证明了PRODUP思想的可行性。     

分布式动态更新支持系统：研究综述

一些服务于关键应用领域、提供持续服务的分布式系统软件需要不断地进化，以修正软件故障、扩展服务功能、提高系统性能，从而产生动态更新的需求，即保证不中断系统服务的同时实现对系统功能的更新。由于分布式系统本身的复杂性，使得其上的动态更新比较复杂，一般需要做的工作包括：在适当的时候自动产生和传递更新消息；透明地实施更新、验证更新的合法性、一致性并处理非法更新下的容错问题；支持多版本节点之间的交互；对更新期间滞留的消息进行处理。本文围绕支持动态更新分布式系统的相关工作，从一般需求、功能目标、需要解决的关键问题、现有的工作成果以及将来的工作五个方面做了较为综合的阐述。     

动态群密钥更新分析

提出了无条件安全的动态群密钥分配模型,分析了一次群密钥的改变,群中各成员需要更新的秘密信息和公开信息的信息量下界。     

C语言程序动态更新中的逻辑正确性

动态更新的研究已变得越来越重要,应用程序生命周期中需要不断进行更新,以修复程序中的错误或者为其添加新的功能。一般更新方式是关闭应用程序、安装更新,然后重启新版本的应用程序,而动态更新可以在程序的运行过程中使程序完成更新,免于重启的麻烦。另一方面,很多应用程序需要不间断的运行,短时间的中断会造成巨大的损失,这也使得动态更新的研究成为必然。针对不同的语言,有一些不同的更新技术,关于C语言,目前动态更新的研究都还停留在实验室阶段,投入到实际运用的很少。程序正确性是动态分析研究中一个重要的方向,目前C语言的动态更新正确性研究还都停留在语法层面的正确性,没有涉及的程序更新前后的逻辑正确,针对这一不足,旨在Ginseng平台上,对C程序动态更新逻辑正确性上做出改进。     

一种可检测Java程序盗版的动态胎记技术

针对Java程序易盗版的特点,提出了一种新的动态软件胎记技术。首先将Java程序进行转换得到其字节码集合U,然后利用动态程序切片技术得到U在特定输入I下的子集S,最后采用k-gram胎记提取算法得到S的一个特征值序列作为软件胎记。实验分析显示这种胎记能很好地抵抗各种程序变换攻击,具有很强的置信性和鲁棒性,并能有效地检测程序盗版行为。     

Java程序混淆技术综述

软件混淆技术已经广泛应用于抵制逆向工程和重组工程.文中从混淆技术的历史发展角度对现有的混淆技术理论、算法、攻击模式和评估进行了综述,将Java程序混淆算法分为类内混淆和类间混淆两个类别,并对其中的各类算法进行详尽的阐释.最后在现有工作的基础上,展望了软件混淆技术未来的发展与研究方向.     

Java程序混淆技术综述

随着计算机技术突飞猛进的发展,人们对于支持计算机各种运行的软件技术开始逐步的关注,其中混淆技术在地址逆向工程和重组工程中占据了重要的位置,本文将主要阐述混淆技术的相关领域概念包括发展中不断推演的理论、算法和评估。然后在通过将理论和算法应用到混淆技术的两个分支类内混淆和类间混淆详细说明,结尾通过目前Java程序混淆技术的发展现状,进行对未来发展的客观估计、大胆假设以及深切的期望。     

基于动态调用图的Java程序修改影响分析技术

在当前静态分析技术对于分析算法有着重要的影响,由于其方法比较复杂这就出现了精度不高,因此本文针对在静态分析中存在的实际问题进行具体的研究,能够从其问题中提出改进的方案,并且采用动态分析技术构造Java程序的动态调用图,文章中采用k-类方法后向切片计算修改影响的集合,之进行具体的试验,提高了精度,该技术的革新便于在大型Java程序中进行应用,改善了测试效果。     

操作系统的动态更新

提出一种利用系统虚拟化技术在现有操作系统上添加动态更新功能的方法.这种方法在克服动态更新操作系统固有困难的同时摒弃了对安全点的依赖,支持在任意时刻进行动态更新.开发的Lucos原型系统能在极短时间内使用官方发布的内核补丁对Linux操作系统进行动态更新,并且性能测试表明Lucos对性能仅仅造成可以忽略的影响：相比同运行环境下的Xen-Linux只有不到1%的性能损失.     

软件动态更新中错误状态的修复

针对现有动态更新方法缺乏处理已存在错误状态的被更新软件的能力，该文基于POLUS的动态更新框架，分别提出在动态更新性能时处理线程死锁、内存管理错误和数据结构错误的启示性修复方案。实验结果证明，各修复方案都能够成功地排除错误状态，实现修复目的。     

基于组件的动态软件更新

在分析影响动态软件更新的关键问题的基础上,从组件模型的设计出发来寻求系统架构对动态更新的支持,并利用动态插入拦截器来获取更新的安全点,从而实现了动态组件的热交换,其主要过程包括插入拦截器、阻塞调用、状态转移和请求重定向。基于该思想实现的集群高可用应用开发平台具有更好的可用性、可扩展性和运行性能。     

一种面向PaaS的实例级应用动态更新技术

云计算是当前信息技术的重要技术领域,而平台即服务(PaaS)已成为业界研究的热点之一。PaaS平台为用户提供高可用、高可扩展的应用开发、部署和运行环境。然而当部署到云端的应用需要不断更新以修复错误、增加功能时,当前主流PaaS平台却因缺乏对应用在线更新的有效支持而削弱了其自身的高可用特性。为解决该问题,提出一个面向PaaS平台的动态更新技术框架。基于现有软件动态更新技术的研究,通过对PaaS平台中应用的事务管理、动态依赖管理、版本管理等机制的扩展,为PaaS平台提供运行时实例级的应用动态更新支撑,并在Cloud Foundry上进行实现和实验,结果证明了该动态更新技术的有效性。     

XML数据动态更新方法研究

随着网络应用发展,网络交互可靠性及互操作性的迫切需求,XML语言的应用日趋广泛,而XML数据动态更新技术也受到越来越多的关注。介绍了XML语言及相关技术发展现状,包括XML数据模型、XML编码技术及基于动态编码实现XML数据更新技术;分析了传统方法的优点及缺陷;设计了TreeView数据模型。通过实例分析,验证了基于TreeView数据模型的动态更新方法的良好性能。     

使用代码动态生成技术提升Java程序灵活性

代码动态生成是指在程序运行时根据实际情况即时生成需要的类代码。它可以提高程序的灵活性,已被用于很多应用架构、脚本语言的实现中。为帮助学生掌握代码动态生成技术,探讨了相关技术的实现方法、工具的应用和教学思路。