陈晖

作品数：4被引量：4H指数：1
导出分析报告
供职机构：中国科学技术大学更多>>
发文主题：代码安全液流电池变流量控制电压分布JAVA虚拟机更多>>
发文领域：自动化与计算机技术电气工程更多>>
发文期刊：《小型微型计算机系统》《计算机研究与发展》《软件学报》《计算机工程》更多>>
所获基金：国家自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种类型化低级语言的设计与应用
《小型微型计算机系统》2006年第5期913-918,共6页陈晖 陈意云 项森 
国家自然科学基金项目(60473068)资助
介绍了以构造一个具有更小的需信任计算基础的Java虚拟机系统为目的的研究工作,将一种类型安全的低级语言TLL应用到Java虚拟机的即时编译器中.TLL的类型系统基于多态的类型化λ演算,它具有丰富的表现力且能够编码各种高级语言的抽象.基...
关键词：类型化语言 代码安全 验证编译 
一种用于Java虚拟机的类型化低级语言被引量：3
《计算机研究与发展》2006年第1期15-22,共8页陈晖 陈意云 吴萍 项森 
国家自然科学基金项目(60173049;60473068)
为了能够减小运算系统的需信任计算基础、描述较小粒度的安全策略,目前的研究倾向于从程序设计语言和编译器入手来提高软件的安全性·基于以上研究背景设计了一种类型化的低级语言TLL·TLL是一种为Java虚拟机即时编译器设计的类型安全...
关键词：类型化语言 代码安全 验证编译 
一种新型类型化中间语言的优化实现技术
《计算机工程》2005年第5期63-65,共3页李筱青 陈晖 陈意云 
国家自然科学基金资助项目(60173049);Intel中国研究中心资助项目
类型化中间语言是提高代码安全性的一类重要方法。然而在其实现过程中,庞大的类型信息很难被高效地表达和操作。一个未经优化的实现将会给系统带来指数级增长的开销。该文描述了一种新型的类型化中间语言的优化实现技术,并将其成功应用...
关键词：代码安全性 类型化语言 编程语言 
一种用于Java程序验证编译的标签类型被引量：1
《软件学报》2005年第3期346-354,共9页陈晖 陈意云 茹祥民 
国家自然科学基金;英特尔中国研究中心资助~~
在基于语言考虑代码安全性的工作中,往往需要将高级语言程序翻译成类型化低级语言的程序进行类型检查.许多高级语言具有类型调度结构,在向低级语言的编译过程中需要用标签机制来实现.针对具有多继承接口的 Java 程序包含的一种特殊的类...
关键词：类型保持编译 类型调度 标签机制 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部