【摘 要】
：
随着Java应用程序的广泛应用,移动代码安全问题越来越引起人们的关注,关于移动代码安全问题的研究也成为当前计算机科学中的热点之一。目前研究人员已经提出了很多方法来解决
论文部分内容阅读
随着Java应用程序的广泛应用,移动代码安全问题越来越引起人们的关注,关于移动代码安全问题的研究也成为当前计算机科学中的热点之一。目前研究人员已经提出了很多方法来解决这一问题,尤其是在入侵检测领域,研究人员提出的一些方法都能从某些角度解决移动代码的安全问题,但都存在着各自的问题。在这些解决方法中,R. Sekar提出的携带模型代码(Model-carrying code)方法对于非确信的移动代码的安全执行提供了系统、全面的解决该问题的框架,但仍存在需要完善的方面。本文采用扩展后的下推自动机(EPDA)作为核心模型,以MCC方法为研究背景,在此方法基础上,对MCC方法做了进一步的改进,给出了基于扩展后的下推自动机(EPDA)的Java源代码的安全相关行为模型的形式化定义和抽象表示,并且介绍了对于方法间控制流和数据流的分析方法。这些改进都大大的提升了静态分析的能力使之更适用于面向对象的语言。除此之外,我们还一并对面向对象语言的其他一些特性,如异常、多态性、类、对象等做了处理。
其他文献
三维跟踪在机器人(或机器手臂)的定位和导引、增强现实等领域有着相当重要的应用。在实现三维跟踪的不同方法中,基于视觉的三维跟踪以其非侵入性、精确性和低消耗的品质而被
相对于传统的安全保护措施而言，入侵检测系统是一种积极主动的安全防护技术，在网络系统受到危害之前发觉和响应入侵，有效的弥补了传统网络安全防护技术的缺陷，在信息安全保护体系
无线Mesh网络(WMN)是一种网状拓扑结构的高容量、高速率的分布式网络，具有高可靠性、低碰撞、设计简单、维护简便等诸多优势，已成为下一代无线网络中的关键组成部分。
路
论文分析和研究了分布式数据库的发展状况及其基本理论知识、彩铃业务的通信原理、彩铃内部通信结构。以移动彩铃系统为背景,结合ORACLE数据库的相关原理,运用oracle高级复制
信息化时代的决策行为呈现出决策规则多变、协作流程多变、应用领域多变等特征。基于Agent的决策仿真是认识和学习决策行为的重要方法和手段，为改进决策过程、提高决策水平提
近年来，无线传感器网络在诸多方面得到广泛应用。绝大多数应用都需要将感知数据与一定的位置信息相关联，而且位置信息还可辅助实现其他网络服务。因此，节点定位是无线传感网的关
教务管理信息系统是在Internet/Intranet的基础上的,要求是一个整体,运行稳定并且安全性能很高。建设的总目标是:根据国内大学现在的管理模式,结合国际新的思想理念,在校园网
随着现代服务业的兴起和发展,越来越多的服务系统正在被设计和实现,服务系统的设计离不开服务建模方法和服务工程的研究。传统的服务工程方法主要还是从服务的功能和质量两个
随着计算机网络技术和多媒体业务应用的迅速发展,大众对网络的需求不再局限于有线网络技术,无线自组网技术的提出和广泛应用已经逐渐成为有线网络技术的有益补充。无线自组网
医学图像融合将不同时间或不同模态的医学影像信息集合在一起,得到关于病变组织或器官的更丰富的图像信息。DICOM标准是用来规范医学图像存储、传输、交换的数字影像和通信标