基于可信平台模块的直接匿名认证协议的研究

以可信平台模块TPM为基础,研究支持可信计算的认证策略,包括简单背书公钥、隐私CA(Privacy Certification Authority)、直接匿名认证DAA (Direct Anonymous Attestation) 协议,并对简单背书公钥、隐私CA和直接匿名认证协议进行比较分析.最后,给出了直接匿名认证协议的整个处理流程及应用.     

XML在工作流理论中的应用

通过对XML的基本概念和工作流理论的研究和学习,介绍了XML的基本概念及其在工作流理论中应用,并在此基础上结合了将XML应用在有限状态机中,设计实现了一个XML在工作流理论中的典型应用：自动语音应答（interactive voice response,IVR）系统,主要包括IVR Builder、IVR Parser两部分,论证了将XML应用于工作流理论中的可行性和可扩展性,并使工作流的执行效率有很大提高.     

针对电子银行的网络钓鱼攻击及其防范策略

为了更好地防范针对电子银行的网络钓鱼攻击,该文深入分析了目前网络上流行的针对电子银行的网络钓鱼攻击技术及其危害,给出了从技术措施和社会范畴两方面来防范针对电子银行的网络钓鱼攻击策略与方法,该策略和方法的实施可以有效保护电子银行免受网络钓鱼攻击.     

基于信用透支的公平电子现金交易系统*

综合分析电子现金系统各种模型,针对目前电子现金交易系统存在的问题,提出了基于信用透支的公平电子现金交易协议。采用了多重签名算法,实现了银行与实时交易分离,提高系统的运行效率;并能够在发生经济纠纷时,根据纠纷双方提供的电子证据实施仲裁,保证交易公平性。     

构件化无缝主动迁移机制中的资源调度策略

面向任务的无缝主动迁移问题是普适计算研究中一个难以解决的课题，虽然国内外有人研究了NOMAD等支持平台，但由于缺乏对资源的有效调度，因此都很难满足任务迁移时对无缝主动性的要求．鉴于此，文中提出了构件化无缝生动迁移机制中的资源调度策略，它包括资源描述、映射和仲裁等策略．在资源描述策略中，给出了属性、知识和资源请求原语策略；在资源映射与仲裁调度策略中，提出了分布式协商和集中式决策相结合的策略，设计了调度算法，保证了调度的原子性与并发性．资源管理构件中的资源映射引擎为资源请求匹配合适的资源，资源仲裁引擎保证资源能够被合理地使用．测试示例的比较分析表明了上述策略的正确性与有效性．     

一种基于块匹配的运动估计改进算法

运动估计是视频压缩中帧间预测编码的关键技术之一,在各个压缩标准中都广泛使用了基于块的运动估计技术。由于运动估计通常具有较大的运算量,因此对压缩性能具有重要的影响。本文在分析了现有的六边形搜索算法(HEXBS)和视频序列图像帧相邻空间块和对应的运动向量具有高度空间相关性的基础上提出了一种改进的快速运动估计搜索算法,通过实验表明与HEXBS算法具有相似的计算复杂度,但是视频编码质量优于HEXBS算法。     

64位虚拟机SPANVM的设计与实现

跨平台软件开发和多语言程序设计是当前软件开发中的两个难题,SPANVM是一个基于寄存器和堆栈混合模型的64位运行时系统,凡是符合SPANVM规范的可执行字节码文件都能在 移植了该虚拟机的平台上执行。本文介绍了如何设计一个实用的虚拟机系统,包括SPANVM的内存模型、处理器设计、I/O机制和运行时过程,并以SPANVM为基础探讨了跨平台和多语言程序设计的解决方法。     

形式化技术应用于软件逆工程的实践研究

形式化技术为软件逆工程提供严格和完备的理论基础,但应用于实践的非常少。介绍了一种将形式化方法应用于逆工程的具体实现方法,应用最强后条件的形式化技术对命令语言进行逆工程的具体初步实践,分三阶段对源程序进行抽象以得到严格保证正确性和一致性的软件结构规格说明,并且给出了具体的实现方法。