摘要： 动态类加载是Java的一个重要功能，它支持Java在运行时安装程序组件。Java的动态加载具有惰性加载、用户自定义加载策略以及动态名字空间等新特征。本文详细讨论了Java的动态加载机制，研究了动态加载与Java平台安全性之间的关系，分析了针对类加载的典型攻击，讨论了形式化验证的方法和存在的相应问题，最后总结全文并指出进一步研究的方向。

关键词: 动态加载 Java平台 用户自定义 形式化验证 安装程序 名字空间 安全性 组件 攻击