Java语言安全模型是其有别于传统的编程语言的一个很重要的特点，采用一种沙箱模型隔离了Java的运行环境与具体的操作系统，使得Java在网络环境下能够更为安全的运行。理解Java的安全模型，能够帮助我们站在更高的层面理解Java的底层实现，在适当的时机及时找出问题所在。
沙箱模型的建立主要涉及了Java语言相关的以下几个部分：
- 类加载器；
运行时包：指由同一个类加载器装载的、属于同一个包的、多类型的集合。任意两个Java类包访问权限适用的前提是：属于同一个包，还必须是属于同一个运行时包。这样规定的动机之一就是防止一个由用户自定义类加载器装载的Java类非法获取到Java核心API的包访问权限。
例如：通过动态类加载一个名为Java.lang.Virus的Java类能够被装载到内存，由于这个类是属于包Java.lang。如果不加以限制，这个外部的类就会拥有包内其他类的包访问权限。
双亲托管模型：保证基本Java类库不会被恶意代码任意覆盖，具体的内容可以参考我之前的文章。
- 类文件校验器；
类文件的校验一般有四个步骤：
- Class文件的结构验证；
- 类型数据的语义检查（包括具体的操作码，操作数）；
- 字节码的验证（例如程序的可停机性，操作码的合法性）；
- 符号引用的验证（过程中还包括了装载引用外部类，符号替换，链接过程的二进制兼容性判断）。
- 内置的安全特性；
包括了如下几个方面：
- 类型安全的引用转换；
- 结构化内存访问（屏蔽指针操作）；
- 自动垃圾回收；
- 数组边界检测；
- 空引用检查。
- 安全管理器与Java API。
检测Java虚拟机堆外部资源访问的合法性，即界定沙盒的边界。不会被默认设置，如果需要检测在编码中需要自行编写。参见Java.lang.SecurityManager下的一系列以“check”开头的方法。
Java杂谈6——Java安全模型,布布扣,bubuko.com
时间： 2024-10-24 22:43:15