首页 | 官方网站   微博 | 高级检索  
     

Java动态类加载分析
引用本文:左天军,朱智林,韩俊刚,陈平.Java动态类加载分析[J].计算机科学,2005,32(4):194-196.
作者姓名:左天军  朱智林  韩俊刚  陈平
作者单位:1. 西安电子科技大学软件工程研究所,西安,710071
2. 西安邮电学院计算机系,西安,710061
基金项目:Supported by the Natioal Natural Science Foundation of China under Grant No.90207015(国家自然科学基金)
摘    要:动态类加载是Java的一个重要功能,它支持Java在运行时安装程序组件。Java的动态加载具有惰性加载、用户自定义加载策略以及动态名字空间等新特征。本文详细讨论了Java的动态加载机制,研究了动态加载与Java平台安全性之间的关系,分析了针对类加载的典型攻击,讨论了形式化验证的方法和存在的相应问题,最后总结全文并指出进一步研究的方向。

关 键 词:动态加载  Java安全性  动态连接  形式化方法

The Analysis of Java Dynamic Class Loading
ZUO Tian-Jun,ZHU Zhi-Lin,HAN Jun-Gang,CHEN Ping.The Analysis of Java Dynamic Class Loading[J].Computer Science,2005,32(4):194-196.
Authors:ZUO Tian-Jun  ZHU Zhi-Lin  HAN Jun-Gang  CHEN Ping
Affiliation:ZUO Tian-Jun,ZHU Zhi-Lin,HAN Jun-Gang,CHEN Ping Institute of Software Engineering,Xidian University,Xi' an 710071 Department of Computer,Xi' an Institute of Posts and Telecommunications,Xi' an 710061
Abstract:Dynamic class loading is a novel and powerful mechanism of Java. It supports installing software compo- nents at runtime. Java allows lazy, dynamic loading of classes according to user-definable policies, and a form of name space separation using class loaders. In the paper, we present the notion of Java class loading in detail. We show how class loading is closely related to the security of Java platform and analyze typical attacks on loading. We also present formalizations of class loading and show the existing problems of these works. We propose the future research at last.
Keywords:Dynamic class loading  Java security  Dynamic linking  Formalization  
本文献已被 CNKI 维普 万方数据 等数据库收录!
点击此处可从《计算机科学》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司    京ICP备09084417号-23

京公网安备 11010802026262号