一种用于Java虚拟机的类型化低级语言

摘要：

为了能够减小运算系统的需信任计算基础、描述较小粒度的安全策略,目前的研究倾向于从程序设计语言和编译器入手来提高软件的安全性.基于以上研究背景设计了一种类型化的低级语言TLL. TLL是一种为Java虚拟机即时编译器设计的类型安全中间语言,以构造一个具有更小需信任计 算基础的Java虚拟机系统为目的.TLL的类型系统基于多态的类型化λ演算,它具有丰富的表现力且能够编码各种高级语言的抽象.基于TLL的一个虚拟机原型系统已经实现,它可以作为实现一个高安全且面向多种源语言的运行时系统的起点.

关键词：类型化语言、代码安全、验证编译

所属期刊栏目：43

分类号：TP312(计算技术、计算机技术)

资助基金：中国科学院资助项目60173049;60473068

在线出版日期：2006-03-23（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：15-22