【摘 要】
：
因特网规模的不断扩大使得移动计算成为一个重要的研究领域.在该领域内,代码安全性问题(code safety)受到学者的广泛关注.移动代码的特点是异地编写,该地执行.这种代码的来源
论文部分内容阅读
因特网规模的不断扩大使得移动计算成为一个重要的研究领域.在该领域内,代码安全性问题(code safety)受到学者的广泛关注.移动代码的特点是异地编写,该地执行.这种代码的来源复杂,代码的编写质量和执行后对主机的影响都难以估计,因此如何防止来自网络上的恶意代码对主机的破坏成为成为代码安全领域研究的热点之一.该文的工作基于Intel的开放式运行平台(Open Runtime Platform,简称ORP).提出了一种类型化低级语言(typed low-level language,简称TLL),将利用类型信息所带来的类型安全性带到接近于汇编语言的一层.应用TLL作为ORP的即时编译器新的中间语言,这个工作可以作为将来进一步缩小ORP的可信任计算基的重要起点.TLL比Java虚拟机语言更接近汇编语言层,用TLL编写的代码更容易进行优化,且它基于多态类型化λ算子,具有比Java虚拟机语言更严格和更具有表达力的类型系统,可以表达出很多高层语言的语言特性.该文的主要内容包括:1.阐述类型化低级语言提出的背景,对已有的几种有比较大的影响力的类型化中间语言进行概括和抽象.提出TLL的理想特性.2.给出TLL的形式化描述,包括语法形式,操作语义规则和静态语义规则.3.重点描述TLL对数组和对象这两个高层数据类型的处理.为了给出更直观些的感觉,文中还就这方面的具体的例子来详细解释TLL程序是如何通过类型检查获得类型安全性的.4.描述了从Java虚拟机语言到TLL的翻译过程,给出翻译算法.5.类型化中间语言是提高代码安全性的一类重要方法,然而在其实现过程中,庞大的类型信息很难被高效的表达和操作.一个未经优化的实现将会给系统带来指数级增长的开销,因此该文还描述了在实现过程中用到的一些优化实现技术.
其他文献
随着分布式计算技术的迅速发展，企业的商务活动和政府的政务活动将越来越多地依靠Internet。传统的分布式对象模型CORBA、DCOM、RMI不适用于极端异构的Internet环境。Web服务
近年来，随着互联网的发展特别是移动互联网的加速推广，网络迅速渗入到人们日常工作和生活的各个方面。社交网络尤其是微博的快速发展，逐渐替代了传统媒体成为网民获取新闻事件和
本文就地理上分布于不同地域而内容上相互异构的信息资源的搜索访问和智能推送这一问题展开深入的研究。首先介绍了搜索引擎技术的基本类型和工作原理，并对信息推送技术的现状
抽象与建模是人类认识世界和解决复杂问题所采用的基本方法之一.企业建模是认识企业的基础,也是改造企业的客观需求.无论对于企业管理者还是企业管理信息系统开发人员,构建正
高性能计算与资源共享一直是计算机应用的重要问题,这两个问题的基本解决途径是构造大型分布式系统.随着人们求解问题领域的不断扩展,所遇到的问题越来越复杂,而且规模越来越
计算机技术迅速发展。从硬件技术看，CPU速度越来越高，处理能力越来越强；从软件技术看，应用程序的规模不断扩大，特别是Internet及WWW的出现，使计算机的应用范围更为广阔，许多应用程序
随着软件再工程时代的到来,基于框架的软件定制生产的兴起,如何通过再工程活动使得软件定制生产能够充分重用成熟的既存系统已经成为一个非常有价值的课题.有重用价值的成熟
智能主体（Agent）是分布式人工智能领域中的一个重要应用，其主要目的是减轻人们的负担，以增强软件的友好性，最大限度地提高工作效率。智能主体是指能在某一环境中运行，并能响应环境
数字化后的视频和音频信息的数据量非常大，它给信息的存储和传输造成较大的困难，成为阻碍人类有效地获取和使用信息的瓶颈。有效的数据压缩编码方法，以压缩的形式存储和传输这些
企业中各个系统使用各自不同的编程语言和系统平台工作，数据存在于一个个信息孤岛中，无法实现数据的共享和交换。怎样将这些独立的应用集成起来，在平台和操作系统之间实现无缝互